Related papers: A report on Tarski's decidability problem
We provide a list of (mainly unsolved) problems in ordered and orderable groups. These were originally compiled 10 years ago by the last two authors. New problems have been added to the list. Progress on some of these is noted and…
We show how to identify the distributions of the latent components in the two-way dyadic model for bipartite networks $y_{i,\ell}= \alpha_i+\eta_{\ell}+\varepsilon_{i,\ell}$. This is achieved by a repeated application of the extension of…
The Tarski number of a non amenable group is the smallest number of pieces needed for a paradoxical decomposition of the group. Non amenable groups of piecewise projective homeomorphisms were introduced by Monod, and non amenable finitely…
In this paper we produce unconditionally new instances of Galois number field extensions exhibiting strong discrepancies in the distribution of Frobenius elements among conjugacy classes of the Galois group. We first prove an inverse Galois…
Kadanoff's "correlations along a line" in the critical two-dimensional Ising model (1969) are reconsidered. They are the analytical aspect of a representation of abelian chiral vertex operators as quadratic polynomials, in the sense of…
This should be the final version of this paper. Numberous minor improvements have been made to the manuscript, one argument has been corrected, and an appendix has been added.
We study numerical invariants of 2-blocks with minimal nonabelian defect groups. These groups were classified by R\'edei. If the defect group is also metacyclic, then the block invariants are known. In the remaining cases there are only two…
It is proved that any countable abelian group $D$ can be embedded as a centre into a $m$-generated group $A$ such that the quotient group $A/D$ is isomorphic to the free Burnside group $B(m,n)$ of rank $m>1$ and of odd period $n\ge665$. The…
The Tannakian formalism allows to attach to any subvariety of an abelian variety an algebraic group in a natural way. The arising groups are closely related to moduli questions such as the Schottky problem, but their geometric…
This work uses mostly model-theoretic methods to establish new proof-theoretic theorems about several axiomatic theories of truth over KP (Kripke-Platek set theory) and stronger theories, especially ZF (Zermelo-Fraenkel set theory).
In this paper we discuss the problem of existence of so called weak Sierpi\'nski sets in groups. It is known that group $G$ has a Sierpi\'nski subset if and only if it contains a free subgroup. In their paper, Tomkowicz and Wagon…
The aim of this paper is to propose an ``elementary" approach to Coleman's theory of p-adic abelian integrals. Our main tool is a theory of commutative p-adic Lie groups (the logarithm map); we use neither dagger analysis nor…
We establish an equivalence between categories of 'formally nilpotent' Lie algebras and exponential groups in characteristic zero. It extends the equivalences of Mal'cev, Lazard, Quillen and Warfield, and applies to groups under composition…
We give a simpler proof using automata theory of a recent result of Kapovich, Weidmann and Myasnikov according to which so-called benign graphs of groups preserve decidability of the generalized word problem. These include graphs of groups…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation \beta, and a quaternary equidistance relation \equiv. Tarski established, inter alia, that the first-order…
The aim of this paper is to unify the points of view of three recent and independent papers (Ventura 1997, Margolis, Sapir and Weil 2001 and Kapovich and Miasnikov 2002), where similar modern versions of a 1951 theorem of Takahasi were…
We unify Godel's First Incompleteness Theorem (1931), Tarski's Undefinability Theorem (1933), Godel-Carnap's Diagonal Lemma (1934), and Rosser's (strengthening of Godel's first) Incompleteness Theorem (1936), whose proofs resemble much and…
We investigate topologies on groups which arise naturally from their algebraic structure, including the Frech\'et-Markov, Hausdorff-Markov, and various kinds of Zariski topologies. Answering a question by Dikranjan and Toller, we show that…
This is an old article of 2000. Its aim is to illustrate how a Lie-theoretic result of Zelmanov enables one to treat various problems in group theory.
This thesis presents the strong and weak forms of the Banach-Tarski paradox based on the Hausdorff paradox. It provides modernized proofs of the paradoxes and necessary properties of equidecomposable and paradoxical sets. The historical…