Elementary cuts in saturated models of Peano arithmetic

DOI10.1215/00294527-1626491zbMath1244.03114OpenAlexW2048574912MaRDI QIDQ424574

James H. Schmerl

Publication date: 1 June 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1336586234

zbMATH Keywords

Peano arithmeticbounded saturationelementary cuts

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (2)

Model-theoretic applications of cofinality spectrum problems ⋮ On cofinal submodels and elementary interstices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elementary extensions of recursively saturated models of arithmetic
• On cofinal submodels and elementary interstices
• Order-types of models of arithmetic and a connection with arithmetic saturation
• A note on satisfaction classes
• Saturated models of Peano arithmetic

This page was built for publication: Elementary cuts in saturated models of Peano arithmetic