Related papers: Strong theories of ordered abelian groups

In this paper we discuss large cardinals and compactness theorems in abelian group theory. More specifically, we generalize two classical compactness results for free abelian groups to the broader context of direct sums of cyclic groups.

We introduce the notion of uniform exactness, or uniform amenability at infinity, for discrete groups and prove it for a wide class of groups containing free groups and their limit groups. This shows a novel strong convergence phenomenon…

We construct examples of localizations in the category of groups which take the Mathieu group $M_{11}$ to groups of arbitrarily large cardinality which are ``abelian up to finitely many generators''. The paper is part of a broader study on…

We prove that an additive track category with strong coproducts is equivalent to the category of pseudomodels for the algebraic theory of $\nil_2$ groups. This generalizes the classical statement that the category of models for the…

Building on the author's earlier work on topological and abstract expansivity, this paper introduces and explores the notion of algebraic expansivity for endomorphisms of abelian groups. We analyze the fundamental properties of this…

In this paper, we describe the structure of finite groups whose element orders or proper (abelian) subgroup orders form an arithmetic progression of ratio $r\geq 2$. This extends the case $r=1$ studied in previous papers \cite{1,8,4}.

We introduce the notions of a mutually algebraic structures and theories and prove many equivalents. A theory $T$ is mutually algebraic if and only if it is weakly minimal and trivial if and only if no model $M$ of $T$ has an expansion…

Epistemic logics of intensional groups lift the assumption that membership in a group of agents is common knowledge. Instead of being represented directly as a set of agents, intensional groups are represented by a property that may change…

Following Isaacs (see [Isa08, p. 94]), we call a normal subgroup N of a finite group G large, if $C_G(N) \leq N$, so that N has bounded index in G. Our principal aim here is to establish some general results for systematically producing…

This survey describes some recent work, by the authors and others, on the existence of algebraic fibrations of group extensions, as well as the finiteness properties of their algebraic fibers, in the realm of both abstract and pro-$p$…

We consider linear groups which do not contain unipotent elements of infinite order, which includes all linear groups in positive characteristic, and show that this class of groups has good properties which resemble those held by groups of…

Let $G$ be a finite abelian group and $A$ be a subset of $G$. We say that $A$ is complete if every element of $G$ can be represented as a sum of different elements of $A$. In this paper, we study the following question: {\it What is the…

This work can be thought as a contribution to the model theory of group extensions. We study the groups G which are interpretable in the disjoint union of two structures (seen as a two-sorted structure). We show that if one of the two…

We show that a large family of groups without non-abelian free subgroups satisfy the following strengthening of non-amenability: they each have a rich supply of irreducible representations defining exotic C*-algebras. The construction is…

We show that the compositions of positive integers may be interpreted in terms of powers of some power series, over arbitrary commutative ring. As consequences, several closed formulas for the compositions as well as for the generalized…

Let p be a fixed prime. An Abelian p-group is an Abelian group (not necessarily finitely generated) in which every element has for its order some power of p. The countable Abelian p-groups are classified by Ulm's theorem, and Khisamiev…

We construct a finitely presented group with property (T) which can not act on on reasonable spaces. Such group is constructed using an generalization of Hall embedding theorem, where property (T) is added at the expense of weakening the…

We consider exponential ultradistribution semigroups with non--densely defined generators and give structural theorems for ultradistribution semigroups. Also structural theorems for exponential ultradistribution semigroups are given.

The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…

We characterize and construct linearly ordered sets, abelian groups and fields that are {\emph symmetrically complete}, meaning that the intersection over any chain of closed bounded intervals is nonempty. Such ordered abelian groups and…