Rigid models of Presburger arithmetic

DOI10.1002/malq.201800019OpenAlexW2793442860WikidataQ128115363 ScholiaQ128115363MaRDI QIDQ5108850

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mathematical logic and model theory. A brief introduction
• Models with second order properties. IV. A general method and eliminating diamonds
• Model Theory
• Leibnizian models of set theory

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