Related papers: The Class of Countable Projective Planes is Borel …

For every infinite graph $\Gamma$ we construct a non-Desarguesian projective plane $P^*_{\Gamma}$ of the same size as $\Gamma$ such that $Aut(\Gamma) \cong Aut(P^*_{\Gamma})$ and $\Gamma_1 \cong \Gamma_2$ iff $P^*_{\Gamma_1} \cong…

We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…

We prove that for a countable, commutative ring $R$, the class of countable $R$-modules either has only countably many isomorphism types, or else it is Borel complete. The machinery gives a succinct proof of the Borel completeness of TFAB,…

In [9] we proved that the space of countable torsion-free abelian groups is Borel complete. In this paper we show that our construction from [9] satisfies several additional properties of interest. We deduce from this that countable…

A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and…

Let $S$ be a projective plane with $3$ holes. We prove that there is an exhaustion of the curve complex $\mathcal{C}(S)$ by a sequence of finite rigid sets. As a corollary, we obtain that the group of simplicial automorphisms of…

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply…

Classification theory and the study of projective varieties which are covered by rational curves of minimal degrees naturally leads to the study of families of singular rational curves. Since families of arbitrarily singular curves are hard…

We apply an improvement of the Delsarte LP-bound to give a new proof of the non-existence of finite projective planes of order 6, and uniqueness of finite projective planes of order 7. The proof is computer aided, and it is also feasible to…

We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be.…

We prove that, for every Coxeter diagram $D$ with no rank $3$ residues of spherical type and such that $D$ has not only edges labelled by $2$, the space of countable (Tits) buildings of type $D$ is Borel complete, that is, classifying…

We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…

A long-standing conjecture is that any transitive finite projective plane is Desarguesian. We make a contribution towards a proof of this conjecture by showing that a group acting transitively on the the points of a…

The addendum updates the results presented in the paper `Fake Projective Plane, Invent Math 168, 321-370 (2007)' and makes some additions and corrections. The fake projective planes are classified into twenty six classes. Together with a…

We prove the projective plane $\rp^2$ is an absolute extensor of a finite-dimensional metric space $X$ if and only if the cohomological dimension mod 2 of $X$ does not exceed 1. This solves one of the remaining difficult problems (posed by…

In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: 1. Some…

We prove that the theory of open projective planes is complete and strictly stable, and infer from this that Marshall Hall's free projective planes $(\pi^n : 4 \leq n \leq \omega)$ are all elementary equivalent and that their common theory…

For $N \geq 2$, we study the structure of definable abelian group extensions of the additive group $(\mathbb{R}^N,+)$ by countable abelian (Borel) groups $G$. Given an extension $H$ of $(\mathbb{R}^N,+)$ by $G$, we measure the definability…

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…

We generalize the notion of a projective profinite group to a projective pair of a profinite group and a closed subgroup. We establish the connection with Pseudo Algebraically Closed (PAC) extensions of PAC fields: Let M be an algebraic…