On a hierarchy of groups of computable automorphisms.
Morozov, A.S., Buzykaeva, A.N. (2002)
Sibirskij Matematicheskij Zhurnal
Martin Huber (1979)
Mathematische Zeitschrift
Khisamiev, N.G. (2007)
Sibirskij Matematicheskij Zhurnal
Margarita Otero (2009)
Fundamenta Mathematicae
Let ℳ be an o-minimal expansion of a real closed field. It is known that a definably connected abelian group is divisible. We show that a definably compact definably connected group is divisible.
Romanovskij, N. S., Timoshenko, E. I. (2003)
Sibirskij Matematicheskij Zhurnal
Carlo Toffalori (2000)
Rendiconti del Seminario Matematico della Università di Padova
Martin Huber, Paul C. Eklof (1980)
Mathematische Zeitschrift
Timoshenko, E.I. (2001)
Sibirskij Matematicheskij Zhurnal
Ludomir Newelski (1996)
Fundamenta Mathematicae
Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe’s conjecture.
Thomas Blossier, Amador Martin-Pizarro, Frank Olaf Wagner (2015)
Journal of the European Mathematical Society
In this paper, we shall study type-definable groups in a simple theory with respect to one or several stable reducts. While the original motivation came from the analysis of definable groups in structures obtained by Hrushovski's amalgamation method, the notions introduced are in fact more general, and in particular can be applied to certain expansions of algebraically closed fields by operators.
Frank O. Wagner (2003)
Fundamenta Mathematicae
A small profinite m-stable group has an open abelian subgroup of finite ℳ-rank and finite exponent.
B. I. Zilber (1984)
Colloquium Mathematicae
C. Applebaum (1978)
Fundamenta Mathematicae
Barbara Majcher-Iwanow (2007)
Commentationes Mathematicae Universitatis Carolinae
Let be a non-trivial algebraically closed group and be a subset of generating in infinitely many steps. We give a construction of a binary tree associated with . Using this we show that if is -existentially closed then it is strongly bounded.
Kharlampovich, Olga, Myasnikov, Alexei (1998)
Electronic Research Announcements of the American Mathematical Society [electronic only]
Andreas Baudisch (1981)
Fundamenta Mathematicae
Ulrich Felgner, Frieder Haug (1993)
Forum mathematicum
Corredor, Luis Jaime, Ortiz, Fabio (2002)
Revista Colombiana de Matemáticas
Khisamiev, N.G. (2009)
Sibirskij Matematicheskij Zhurnal
Klaus Potthoff (1979)
Publications du Département de mathématiques (Lyon)