Related papers: Results in descriptive set theory on some represen…
We prove that there exists a $\Sigma^0_1$ closed subset of $[0,1]$ that is not homeomorphic to any computably compact space. We show that the index set of c.e. subspaces of $[0,1]$ that admit a computably compact presentation is not…
In this paper we define the algebraic sets and the ideal of points for bijective skew PBW extensions with coefficients in left Noetherian domains. Some properties of affine algebraic sets of commutative algebraic geometry will be extended,…
A locally checkable labeling problem (LCL) on a group $\Gamma$ asks one to find a labeling of the Cayley graph of $\Gamma$ satisfying a fixed, finite set of "local" constraints. Typical examples include proper coloring and perfect matching…
The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…
Using the Gandy -- Harrington topology and other methods of effective descriptive set theory, we prove several theorems on compact and sigma-compact pointsets. In particular we show that any $\Sigma^1_1$ set $A$ of the Baire space $N^N$…
We introduce and study Polish topologies on various spaces of countable enumerated groups, where an enumerated group is simply a group whose underlying set is the set of natural numbers. Using elementary tools and well known examples from…
We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold. In contrast to…
Generalizing Christensen's notion of a Haar-null set and Darji's notion of a Haar-meager set, we introduce and study the notion of a Haar-$\mathcal I$ set in a Polish group. Here $\mathcal I$ is an ideal of subsets of some compact…
The central concept in the harmonic analysis of a compact group is the completeness of Peter-Weyl orthonormal basis as constructed from the matrix coefficients of a maximal set of irreducible unitary representations of the group, leading…
In this article, we study certain transcendental function spaces arising in potential theory within the framework of Orlicz spaces. Specifically, we generalize Bessel and Lizorkin-Triebel spaces to the nonstandard setting of Orlicz spaces.…
We investigate the structure of subspaces of a Hilbert space that are invariant under unitary representations of a discrete group. We work with square integrable representations, and we show that they are those for which we can construct an…
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories.…
There is a fascinating interplay and overlap between recursion theory and descriptive set theory. A particularly beautiful source of such interaction has been Martin's conjecture on Turing invariant functions. This longstanding open problem…
We study the model theory of expansions of Hilbert spaces by generic predicates. We first prove the existence of model companions for generic expansions of Hilbert spaces in the form first of a distance function to a random substructure,…
Continuing the formulation of finite $N$ Hilbert spaces in emergent theories we study in this work $S_{N}$ symmetric collective models. For the case of $N$ bosons in $d$ dimensions, which map to matrix models with commuting matrices, we…
The notion of a simplicial set originated in algebraic topology, and has also been utilized extensively in category theory, but until relatively recently was not used outside of those fields. However, with the increasing prominence of…
Our main result is that, given a collection $\mathcal{R}$ of meager relations on a Polish space $X$ such that $|\mathcal{R}|\leq\omega$, there exists a dense Baire subspace $F$ of $X$ (equivalently, a nowhere meager subset $F$ of $X$) such…
We develop a theory of partially defined complete positivity preservers, extending Schoenberg's classical characterization to functions defined only on discrete subsets or constrained domains. We frame the extension problem through the…
We survey results about Haar null subsets of (not necessarily locally compact) Polish groups. The aim of this paper is to collect the fundamental properties of the various possible definitions of Haar null sets, and also to review the…
We study the model theory of vector spaces with a bilinear form over a fixed field. For finite fields this can be, and has been, done in the classical framework of full first-order logic. For infinite fields we need different logical…