Rigid models of Presburger arithmetic

DOI10.1002/MALQ.201800019MaRDI QIDQ5108850zbMATH OpenOpenAlexWikidataFDO

Authors Emil Jeřábek

Publication date 6 May 2020

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

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

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Recommendations

• scientific article; zbMATH DE number 4045724
• Definable groups in models of Presburger arithmetic
• ω₁-like recursively saturated models of Presburger's arithmetic
• scientific article; zbMATH DE number 4112569
• Additive structure in uncountable models for a fixed completion of P

Cites work

• scientific article; zbMATH DE number 4037830 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• Leibnizian models of set theory
• Mathematical logic and model theory. A brief introduction
• Model Theory
• Models with second order properties. IV. A general method and eliminating diamonds
• The structure of models of Peano arithmetic

Cited in

(7)

• Definable groups in models of Presburger arithmetic
• scientific article; zbMATH DE number 4031630 (Why is no real title available?)
• scientific article; zbMATH DE number 4045724 (Why is no real title available?)
• scientific article; zbMATH DE number 1979550 (Why is no real title available?)
• Definable sets up to definable bijections in Presburger groups
• Logical generation of groups
• Tractable fragments of Presburger arithmetic

This page was built for publication: Rigid models of Presburger arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5108850)