A wild model of linear arithmetic and discretely ordered modules

DOI10.1002/malq.201600012zbMath1469.03108arXiv1602.03083OpenAlexW2962897604MaRDI QIDQ5108127

Petr Glivický, Pavel Pudlák

Publication date: 29 April 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.03083

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Classification theory, stability, and related concepts in model theory (03C45)

Related Items (2)

Controlling distribution of prime sequences in discretely ordered principal ideal subrings of ℚ[𝕩] ⋮ Parametric Presburger arithmetic: complexity of counting and quantifier elimination

Cites Work

• EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS
• Interpreting the projective hierarchy in expansions of the real line
• A Guide to NIP Theories
• Unnamed Item
• Unnamed Item

This page was built for publication: A wild model of linear arithmetic and discretely ordered modules