Related papers: Uniformization and the diversity of Whitehead grou…

In [11] Sklinos proved that any uncountable free group is not $\aleph_1$-homogenenous. This was later generalized by Belegradek in [1] to torsion-free residually finite relatively free groups, leaving open whether the assumption of residual…

Consider a proper cocompact CAT(0) space X. We give a complete algebraic characterisation of amenable groups of isometries of X. For amenable discrete subgroups, an even narrower description is derived, implying Q-linearity in the…

In this paper we consider some classical varieties of linear algebras over the field which has characteristic 0. For every considered variety we take a category of the finite generated free algebras of this variety. And for every this…

We study abstract elementary classes (AECs) that, in $\aleph_0$, have amalgamation, joint embedding, no maximal models and are stable (in terms of the number of orbital types). Assuming a locality property for types, we prove that such…

We deal with the existence of universal members in a given cardinality for several classes. First we deal with classes of Abelian groups, specifically with the existence of universal members in cardinalities which are strong limit singular…

The essentially non-free spectrum is the class of uncountable cardinals kappa in which there is an essentially non-free algebra of cardinality kappa which is almost free. In L, the essentially non-free spectrum of a variety is entirely…

The best-known version of Shelah's celebrated singular cardinal compactness theorem states that if the cardinality of an abelian group is singular, and all its subgroups of lesser cardinality are free, then the group itself is free. The…

J.H.C. Whitehead's second free-group algorithm determines whether or not two given elements of a free group lie in the same orbit of the automorphism group of the free group. The algorithm involves certain connected graphs, and Whitehead…

Strongly bounded groups are those groups for which every action by isometries on a metric space has orbits of finite diameter. Many groups have been shown to have this property, and all the known infinite examples so far have cardinality at…

Ultrahomogeneity and $\omega$-categoricity are two central concepts arising from model theory, with strong connections with oligomorphic permutation groups and quantifier elimination. In particular, both are conditions on the automorphism…

In this note we consider a $p$-isometrisability property of discrete groups. If $p=2$ this property is equivalent to unitarisability. We prove that any group containing a non-abelian free subgroup is not $p$-isometrisable for any $p\in (1,…

We study multidimensional diagrams in independent amalgamation in the framework of abstract elementary classes (AECs). We use them to prove the eventual categoricity conjecture for AECs, assuming a large cardinal axiom. More precisely, we…

We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $\Pi^0_3$-complete; and the property of being an Ehrenfeucht…

Let kappa be an uncountable cardinal and the edges of a complete graph with kappa vertices be colored with aleph_0 colors. For kappa >2^{aleph_0} the Erd\H{o}s-Rado theorem implies that there is an infinite monochromatic subgraph. However,…

Extending a result of the first author and Katsura, we prove that for every UHF algebra $A$ of infinite type, in every uncountable cardinality $\kappa$ there are $2^\kappa$ nonisomorphic approximately matricial C*-algebras with the same…

For an $\aleph_1$-categorical atomic class, we clarify the space of types over the unique model of size $\aleph_1$. Using these results, we prove that if such a class has a model of size $\beth_1^+$ then it is $\omega$-stable.

Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…

Problem 5.1 in page 181 of [Fuc15] asks to find the cardinals $\lambda$ such that there is a universal abelian $p$-group for purity of cardinality $\lambda$, i.e., an abelian $p$-group $U_\lambda$ of cardinality $\lambda$ such that every…

We give a new proof that there are arbitrarily large indecomposable abelian groups; moreover, the groups constructed are absolutely indecomposable, that is, they remain indecomposable in any generic extension. However, any absolutely rigid…

Any model of ZFC + GCH has a generic extension (made with a poset of size aleph_2) in which the following hold: MA + 2^{aleph_0}= aleph_2+ there exists a Delta^2_1-well ordering of the reals. The proof consists in iterating posets designed…