Related papers: A New Construction Principle
We investigate structural properties of non-sofic groups, assuming that such groups exist. We introduce and study two classes: minimal non-sofic groups and $\omega$-non-sofic groups. For minimal non-sofic groups, we establish strong…
We construct in ZFC a countably compact group without non-trivial convergent sequences of size $2^{\mathfrak{c}}$, answering a question of Bellini, Rodrigues and Tomita. We also construct in ZFC a selectively pseudocompact group which is…
Shelah has provided sufficient conditions for an $L_{\omega_1, \omega}$-sentence $\psi$ to have arbitrarily large models and for a Morley-like theorem to hold of $\psi$. These conditions involve structural and set-theoretic assumptions on…
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…
In this paper after proving (in Section 2) the Berkovich analytic space analog of the familiar fact that there exist many non-isomorphic Riemann surfaces of the fixed topological type, I introduce the precise notion of Arithmetic…
Bestvina introduced a $\mathcal{Z}$-structure for a group $G$ to generalize the boundary of a CAT(0) or hyperbolic group. A refinement of this notion, introduced by Farrell and Lafont, includes a $G$-equivariance requirement, and is known…
Taking inspiration from [1, 21, 24], we develop a general framework to deal with the model theory of open incidence structures. In this first paper we focus on the study of systems of points and lines (rank $2$). This has a number of…
Using new techniques for controlling the categoricity spectrum of a structure, we construct a structure with degree of categoricity but infinite spectral dimension, answering a question of Bazhenov, Kalimulin and Yamaleev. Using the same…
The main result of this paper is a probabilistic construction of finite rigid structures. It yields a finitely axiomatizable class of finite rigid structures where no L^omega_{infty, omega} formula with counting quantifiers defines a linear…
We prove an analogue of Morley's categoricity theorem where cardinality is replaced by the recursion-theoretic notion of arithmetic degree. We say that a complete arithmetically definable theory $T$ is $D$-categorical if any two…
We present new constructions of quasi-cyclic (QC) and generalized quasi-cyclic (GQC) codes from algebraic curves. Unlike previous approaches based on elliptic curves, our method applies to curves that are Kummer extensions of the rational…
K. Cieliebak, H. Hofer, J. Latschev, and F. Schlenk (CHLS) posed the problem of finding a minimal generating set for the (symplectic) capacities on a given symplectic category. We show that if the category contains a certain one-parameter…
Factors $\frac{X}{Y}$ in a free group $F$ with $Y$ normal in $X$ are considered. Precise results on the free structure of ${Y}$ relative to the free structure of ${X}$ when $\frac{X}{Y}$ is abelian are obtained. Some extensions and…
A locally conformally product (LCP) structure on a compact conformal manifold is a closed non-exact Weyl connection (i.e.~a linear connection which is locally but not globally the Levi-Civita connection of Riemannian metrics in the…
We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal…
We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…
We present a construction that produces infinite classes of K\"ahler groups that arise as fundamental groups of fibres of maps to higher dimensional tori. Following the work of Delzant and Gromov, there is great interest in knowing which…
We strengthen a result of Bagaria and Magidor~\cite{MR3152715} about the relationship between large cardinals and torsion classes of abelian groups, and prove that (1) the \emph{Maximum Deconstructibility} principle introduced in…
We show that the automorphism groups of countably categorical linear orders are extremely amenable. Using methods of Kechris, Pestov, and Todorcevic, we use this fact to derive a structural Ramsey theorem for certain families of finite…
Solecki proved that the group of automorphisms of a countable structure cannot be an uncountable free abelian group. See more in Just, Shelah and Thomas math.LO/0003120 where as a by product we can say something on on uncountable…