Related papers: How can we recognize potentially ${\bf\Pi}^0_\xi$ …

Let $\Phi$ be a finite crystallographic irreducible root system and $\mathcal P_{\Phi}$ be the convex hull of the roots in $\Phi$. We give a uniform explicit description of the polytope $\mathcal P_{\Phi}$, analyze the…

We study monitorable sets from a topological standpoint. In particular, we use descriptive set theory to describe the complexity of the family of monitorable sets in a countable space $X$. When $X$ is second countable, we observe that the…

We propose and study a new approach to the topologization of spaces of (possibly not all) future-directed causal curves in a stably causal spacetime. It relies on parametrizing the curves "in accordance" with a chosen time function. Thus…

We define and study hierarchies of topological spaces induced by the classical Borel and Luzin hierarchies of sets. Our hierarchies are divided into two classes: hierarchies of countably based spaces induced by their embeddings into the…

We observe that Hall's free projective extension $P \mapsto F(P)$ of partial planes is a Borel map, and use a modification of the construction introduced in [9] to conclude that the class of countable non-Desarguesian projective planes is…

A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…

We indicate a way of distinguishing between structures, for which, we call two structures distinguishable. Roughly, being distinguishable means that they differ in the number of realizations each gives for some formula. Being…

In this paper we are interested in the following notions of smallness: a subset $A$ of an abelian Polish group $X$ is called Haar-countable/Haar-finite/Haar-$n$ if there are a Borel hull $B\supseteq A$ and a copy $C$ of $2^\omega$ such that…

We investigate the partial orderings of the form (P(X),\subset), where X is a relational structure and P(X) the set of the domains of its isomorphic substructures. A rough classification of countable binary structures corresponding to the…

We show a necessary and sufficient condition for any ordinal number to be a Polish space. We also prove that for each countable Polish space, there exists a countable ordinal number that is an upper bound for the first component of the…

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…

We investigate the set of partial partitions of a finite set, ordered by inclusion. With this ordering the set of partial partitions can be studied as an abstract simplicial complex. We use the theory of shellable nonpure complexes to find…

In this paper, we introduced the mildly version of the Hurewicz basis covering property, studied by Babinkostova, Ko\v{c}inac, and Scheepers. A space $X$ is said to have mildly-Hurewicz property if for each sequence $\langle \mathcal{U}_n :…

In this article, we give a full description of the Wadge degrees of Borel functions from $\omega^\omega$ to a better quasi ordering $\mathcal{Q}$. More precisely, for any countable ordinal $\xi$, we show that the Wadge degrees of…

We consider the classification problem for several classes of countable structures which are "vertex-transitive", meaning that the automorphism group acts transitively on the elements. (This is sometimes called homogeneous.) We show that…

The motivation of this article is to introduce a kind of orbit equivalence relations which can well describe structures and properties of Polish groups from the perspective of Borel reducibility. Given a Polish group $G$, let $E(G)$ be the…

We extend some results of Carderi and Le Ma\^itre on full groups in the probability context to the infinite measure one: there exists at most one Polish group topology (refining the weak topology and coarser than the uniform topology) on an…

We study topological groups that can be defined as Polish, pro-countable abelian groups, as non-archimedean abelian groups or as quasi-countable abelian groups, i.e., Polish subdirect products of countable, discrete groups, endowed with the…

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

In this paper we give an ordinal analysis of a set theory with $\Pi_{1}$-Collection.