Journal of Symbolic Logic 68 (1):153-162 (2003)
|Abstract||We prove a cell decomposition theorem for Presburger sets and introduce a dimension theory for Z-groups with the Presburger structure. Using the cell decomposition theorem we obtain a full classification of Presburger sets up to definable bijection. We also exhibit a tight connection between the definable sets in an arbitrary p-minimal field and Presburger sets in its value group. We give a negative result about expansions of Presburger structures and prove uniform elimination of imaginaries for Presburger structures within the Presburger language|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
James Cain & Zlatan Damnjanovic (1991). On the Weak Kleene Scheme in Kripke's Theory of Truth. Journal of Symbolic Logic 56 (4):1452-1468.
Sergio Fratarcangeli (2005). Elimination of Imaginaries in Expansions of O-Minimal Structures by Generic Sets. Journal of Symbolic Logic 70 (4):1150 - 1160.
Victor Harnik (1986). Ω1-Like Recursively Saturated Models of Presburger's Arithmetic. Journal of Symbolic Logic 51 (2):421 - 429.
Roman Wencel (2003). Definable Sets in Boolean Ordered o-Minimal Structures. II. Journal of Symbolic Logic 68 (1):35-51.
Jan Zygmunt (1991). Mojżesz Presburger: Life and Work. History and Philosophy of Logic 12 (2):211-223.
Simon Andrews (2010). Definable Open Sets As Finite Unions of Definable Open Cells. Notre Dame Journal of Formal Logic 51 (2):247-251.
Françoise Point (2000). On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers. Journal of Symbolic Logic 65 (3):1347-1374.
Mojżesz Presburger & Dale Jabcquette (1991). On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation. History and Philosophy of Logic 12 (2):225-233.
Joseph Y. Halpern (1991). Presburger Arithmetic with Unary Predicates is Π11 Complete. Journal of Symbolic Logic 56 (2):637 - 642.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #291,386 of 722,787 )
Recent downloads (6 months)1 ( #60,541 of 722,787 )
How can I increase my downloads?