Related papers: A report on Tarski's decidability problem
A group is Artinian if there is no infinite strictly descending chain of subgroups. Ol'shanskii has asked whether there are Artinian groups of arbitrarily large cardinality. We show that this problem is essentially the same as an analogous…
Epigroups are semigroups equipped with an additional unary operation called pseudoinversion. Each finite semigroup can be considered as epigroup. We prove the following theorem announced by Zhil'tsov in 2000: the equational theory of the…
Let $p$ be an odd prime number. In this paper, we characterize the nonabelian composition factors of a finite group with odd $p$-Sylow automizers, and then prove that the McKay conjecture, the Alperin weight conjecture and the Alperin-McKay…
We construct a non-free but aleph_1-separable, torsion-free abelian group G with a pure free subgroup B such that all subgroups of G disjoint from B are free and such that G/B is divisible. This answers a question of Irwin and shows that a…
These are a set of lecture notes for a mini-course I gave at The University of Warwick from October 30th to November 1st, 2024. Recordings of the lectures are available on Oleg Zaboronski's webpage at…
In the paper we generalize the notion of problem (P) introduced by Poletsky. We introduce the notion of (P_m) extremals. For example, geodesics are (P_1) extremals. Using obtained results we present a description of (P_m) extremals in…
We correct an error in the proof of the Rohlin-Abramov addition formula for free group actions and point out errors in the proof of Yuzvinskii's addition formula. It is not known if the latter are fixable.
Many counterexamples are known in the class of small theories due to Goncharov and Millar. The prime model of a decidable small theory is not necessarily decidable. The saturated model of a hereditarily decidable small theory is not…
In this talk I give an overview of the work done during the last 15 years in collaboration with the late Adrian Patrascioiu. In this work we accumulated evidence against the commonly accepted view that theories with nonabelian symmetry --…
In this paper we develop three different subjects. We study and prove alternative versions of Hrushovski's "Stabilizer Theorem", we generalize part of the basic theory of definably amenable NIP groups to NTP2 theories, and finally, we use…
This paper studies the free group of rank two from the point of view of Stallings core graphs. The first half of the paper examines primitive elements in this group, giving new and self-contained proofs for various known results about them.…
Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…
In this paper, we study two topics. One is the divisibility problem of class groups of quadratic number fields and its connections to algebraic geometry. The other is the construction of Selmer group and Tate-Shafarevich group for an…
We prove the existence of abelian, solvable and nilpotent definable envelopes for groups definable in models of an NTP2 theory.
The concept of "table algebra" was introduced by Z Arad anf H. Blau in order to study in a uniform way properties of products of conjugacy classes and of irreducible characters of a finite group, Except for certain cases which remain open,…
We extend the local Langlands conjectures to a certain class of disconnected groups, allowing non-abelian component groups, and recast in this language some aspects of twisted endoscopy. We further introduce normalized twisted transfer…
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…
This is an erratum to our previously published paper.
The ordered structures of natural, integer, rational and real numbers are studied here. It is known that the theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language…
This paper has been withdrawn by the author due to an error in the proof of Theorem 2.