On Superstable Expansions of Free Abelian Groups

&
Notre Dame Journal of Formal Logic 59 (2):157-169 (2018)
  Copy   BIBTEX

Abstract

We prove that has no proper superstable expansions of finite Lascar rank. Nevertheless, this structure equipped with a predicate defining powers of a given natural number is superstable of Lascar rank ω. Additionally, our methods yield other superstable expansions such as equipped with the set of factorial elements.

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2017-0023

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On superstable CSA-groups.Abderezak Houcine - 2008 - Annals of Pure and Applied Logic 154 (1):1-7.
On superstable CSA-groups.Abderezak Ould Houcine - 2008 - Annals of Pure and Applied Logic 154 (1):1-7.
On Preservation of Stability for Finite Extensions of Abelian Groups.Frieder Haug - 1994 - Mathematical Logic Quarterly 40 (1):14-26.
Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View.Annalisa Marcja & Carlo Toffalori - 1994 - Mathematical Logic Quarterly 40 (1):125-131.
Simple groups and the number of countable models.Predrag Tanović - 2013 - Archive for Mathematical Logic 52 (7-8):779-791.
Finite automata presentable Abelian groups.André Nies & Pavel Semukhin - 2010 - Annals of Pure and Applied Logic 161 (3):458-467.
Decidability and Computability of Certain Torsion-Free Abelian Groups.Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov & Daniel Turetsky - 2010 - Notre Dame Journal of Formal Logic 51 (1):85-96.
On definability of normal subgroups of a superstable group.Akito Tsuboi - 1992 - Mathematical Logic Quarterly 38 (1):101-106.
Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
BURKE, MR and MAGIDOR, M., Shelah's pcf theory and its applications EDA, K., Boolean powers of abelian groups HRUSHOVSKI, E., Unidimensional theories are superstable. [REVIEW]H. Judah - 1990 - Annals of Pure and Applied Logic 50:303.
Almost free groups and long Ehrenfeucht–Fraı̈ssé games.Pauli Väisänen - 2003 - Annals of Pure and Applied Logic 123 (1-3):101-134.
Actions of groups of finite Morley rank on small abelian groups.Adrien Deloro - 2009 - Bulletin of Symbolic Logic 15 (1):70-90.
On the undecidability of some classes of abelian-by-finite groups.Annalisa Marcja, Mike Prest & Carlo Toffalori - 1993 - Annals of Pure and Applied Logic 62 (2):167-173.
Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.

Analytics

Added to PP
2018-01-29

Downloads
15 (#923,100)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A new dp-minimal expansion of the integers.Eran Alouf & Christian D’elbée - 2019 - Journal of Symbolic Logic 84 (2):632-663.
On expansions of.Quentin Lambotte & Françoise Point - 2020 - Annals of Pure and Applied Logic 171 (8):102809.
Weakly minimal groups with a new predicate.Gabriel Conant & Michael C. Laskowski - 2020 - Journal of Mathematical Logic 20 (2):2050011.
Expansions of the group of integers by Beatty sequences.Ayhan Günaydın & Melissa Özsahakyan - 2022 - Annals of Pure and Applied Logic 173 (3):103062.

View all 6 citations / Add more citations

References found in this work

[Omnibus Review].Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.
Stable theories with a new predicate.Enrique Casanovas & Martin Ziegler - 2001 - Journal of Symbolic Logic 66 (3):1127-1140.
Discrete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Annals of Pure and Applied Logic 34 (3):275-289.
On the generic type of the free group.Rizos Sklinos - 2011 - Journal of Symbolic Logic 76 (1):227 - 234.
Some remarks on one-basedness.Frank O. Wagner - 2004 - Journal of Symbolic Logic 69 (1):34-38.

View all 8 references / Add more references