ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC

DOI10.1017/bsl.2021.48zbMath1504.03019OpenAlexW4224937162MaRDI QIDQ5085859

Lorenzo Galeotti, Benedikt Loewe

Publication date: 30 June 2022

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2021.48

zbMATH Keywords

order typesarithmetical theories without inductionnon-standard models of Peano arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Total orders (06A05) Algebraic structures (08A99) Model theory of ordered structures; o-minimality (03C64)

Cites Work

• The automorphism group of a resplendent model
• Classification theory and the number of non-isomorphic models.
• Model theory.
• Logical number theory I. An introduction
• A formal derivation of the decidability of the theory SA
• Order-types of models of arithmetic and a connection with arithmetic saturation
• On the value group of a model of Peano arithmetic
• Models of : when two elements are necessarily order automorphic
• Cuts, consistency statements and interpretations
• Saturated models of Peano arithmetic
• One hundred and two problems in mathematical logic
• Model Theory
• ÜBER NICHTSTANDARDMODELLE DER ARITHMETIK UND DER RATIONALEN ZAHLEN
• Definability and decision problems in arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC