A Family of dp-Minimal Expansions of (Z;+)

&
Notre Dame Journal of Formal Logic 64 (2):225-238 (2023)
  Copy   BIBTEX

Abstract

We consider structures of the form (Z;+,C), where C is an additive cyclic order on (Z;+). We show that such structures are dp-minimal and in this way produce a continuum-size family of dp-minimal expansions of (Z;+) such that no two members of the family define the same subsets of Z.

Categories

Keywords

Reprint years

DOI

10.1215/00294527-10670096

Links

PhilArchive



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

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

Connectedness in Structures on the Real Numbers: O-Minimality and Undecidability.Alfred Dolich, Chris Miller, Alex Savatovsky & Athipat Thamrongthanyalak - 2022 - Journal of Symbolic Logic 87 (3):1243-1259.
On o-minimal expansions of archimedean ordered groups.Michael C. Laskowski & Charles Steinhorn - 1995 - Journal of Symbolic Logic 60 (3):817-831.
First order tameness of measures.Tobias Kaiser - 2012 - Annals of Pure and Applied Logic 163 (12):1903-1927.
Invariance results for definable extensions of groups.Mário J. Edmundo, Gareth O. Jones & Nicholas J. Peatfield - 2011 - Archive for Mathematical Logic 50 (1-2):19-31.
Generic expansions by a reduct.Christian D’Elbée - 2021 - Journal of Mathematical Logic 21 (3):2150016.
Locally o-Minimal Structures with Tame Topological Properties.Masato Fujita - 2023 - Journal of Symbolic Logic 88 (1):219-241.
O-minimal cohomology: Finiteness and invariance results.Alessandro Berarducci & Antongiulio Fornasiero - 2009 - Journal of Mathematical Logic 9 (2):167-182.
O-minimal de Rham Cohomology.Rodrigo Figueiredo - 2022 - Bulletin of Symbolic Logic 28 (4):529-529.
Expansions of o-Minimal Structures by Iteration Sequences.Chris Miller & James Tyne - 2006 - Notre Dame Journal of Formal Logic 47 (1):93-99.
Cell decomposition and definable functions for weak p‐adic structures.Eva Leenknegt - 2012 - Mathematical Logic Quarterly 58 (6):482-497.
Expansions of o-minimal structures by fast sequences.Harvey Friedman & Chris Miller - 2005 - Journal of Symbolic Logic 70 (2):410-418.
Expansion of a model of a weakly o-minimal theory by a family of unary predicates.Bektur Sembiuly Baizhanov - 2001 - Journal of Symbolic Logic 66 (3):1382-1414.
Strong cell decomposition property in o-minimal traces.Somayyeh Tari - 2020 - Archive for Mathematical Logic 60 (1):135-144.
Expansions of the real field by open sets: definability versus interpretability.Harvey Friedman, Krzysztof Kurdyka, Chris Miller & Patrick Speissegger - 2010 - Journal of Symbolic Logic 75 (4):1311-1325.
Weakly minimal groups with a new predicate.Gabriel Conant & Michael C. Laskowski - 2020 - Journal of Mathematical Logic 20 (2):2050011.

Analytics

Added to PP
2023-06-30

Downloads
6 (#1,454,899)

6 months
5 (#625,697)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

On pp-elimination and stability in a continuous setting.Nicolas Chavarria & Anand Pillay - 2023 - Annals of Pure and Applied Logic 174 (5):103258.

Add more citations

References found in this work

Dp-minimal valued fields.Franziska Jahnke, Pierre Simon & Erik Walsberg - 2017 - Journal of Symbolic Logic 82 (1):151-165.
On dp-minimality, strong dependence and weight.Alf Onshuus & Alexander Usvyatsov - 2011 - Journal of Symbolic Logic 76 (3):737 - 758.
A new dp-minimal expansion of the integers.Eran Alouf & Christian D’elbée - 2019 - Journal of Symbolic Logic 84 (2):632-663.

Add more references