Related papers: A report on Tarski's decidability problem
We consider semigroup algorithmic problems in the wreath product $\mathbb{Z} \wr \mathbb{Z}$. Our paper focuses on two decision problems introduced by Choffrut and Karhum\"{a}ki (2005): the Identity Problem (does a semigroup contain the…
This is a survey article in algebraic logic, where we take a magical tour from old concepts due to Henkin, Monk and Tarski like neat embeddings, to modern views and perspectives, culminating in the use of Erdos graphs in settling important…
Roman Schnabel's article argues that the Einstein-Podolsky-Rosen (EPR) paradox can be resolved by identifying a flaw in what the author calls the "EPR implication" and by using radioactive alpha decay as an example showing that…
Motivated by their study of pro-p limit groups, D.H. Kochloukova and P.A. Zalesskii formulated a question concerning the minimum number of generators d(N) of a normal subgroup N of prime index p in a non-abelian limit group G (cf.…
We develop methods to control the first-order theory of groups arising as certain direct limits of torsion-free hyperbolic groups, answering several questions in the literature. We construct simple torsion-free Tarski monsters $\Gamma$…
In a paper of 2003, B. K\"ulshammer, J. B. Olsson and G. R. Robinson defined $\ell$-blocks for the symmetric groups, where $\ell >1$ is an arbitrary integer. In this paper, we give a definition for the defect group of the principal…
The von Neumann-Day problem asks whether every non-amenable group contains a non-abelian free group. It was answered in the negative by Ol'shanskii in the 1980s. The measurable version (formulated by Gaboriau-Lyons) asks whether every…
We consider two variants of those Abelian groups with all proper characteristic subgroups isomorphic and give an in-depth study of their basic and specific properties in either parallel or contrast to the Abelian groups with all proper…
The main objective of this paper is the following two results. (1) There exists a computable bi-orderable group that does not have a computable bi-ordering; (2) There exists a bi-orderable, two-generated recursively presented solvable group…
We comment on the paper "Extremal Cayley digraphs of finite Abelian groups" [Intercon. Networks 12 (2011), no. 1-2, 125--135]. In particular, we give some counterexamples to the results presented there, and provide a correct result for…
E. Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion. We denote it DCFA. In this paper we study definable groups in a model of DCFA. First we prove that such a group is embeds…
The article contains a survey of results on length-commensurable and isospectral locally symmetric spaces and related problems in the theory of semi-simple algebraic groups.
It is pointed out that the essential parts of some recent papers by Mebarki {\it et al.} (hep-th/9911045, hep-th/9911046, hep-th/9911048, hep-th/9911049, dated 6 Nov.1999) are taken from a book written by Nakanishi and Ojima, published in…
If we pick two elements of a non-abelian group at random, the odds this pair commutes is at most 5/8, so there is a "gap" between abelian and non-abelian groups \cite{G}. We prove a "topological" generalization estimating the odds a word…
This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X of S, decide whether each element of S has at most one factorization over X. To…
We study groups endowed with Alexandroff topologies and show that no non-discrete Alexandroff topology can turn a group into a topological group. This settles negatively the basic existence problem for Alexandroff topological groups.…
We prove that every unconditionally closed subset of a free group is algebraic, thereby answering affirmatively a 76 years old problem of Markov for free groups. In modern terminology, this means that Markov and Zariski topologies coincide…
These lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem and recent developments around it, also for rings other than the integers. It also contains a sketch of the authors result that the integers…
We study the Diophantine problem (decidability of finite systems of equations) in different classes of finitely generated solvable groups (nilpotent, polycyclic, metabelian, free solvable, etc), which satisfy some natural…
This arXived paper has two independant parts, that are improved and corrected versions of different parts of a single paper once named "On equations in relatively hyperbolic groups". The first part is entitled "Existential questions in…