On cofinal submodels and elementary interstices

DOI10.1215/00294527-1716802zbMath1256.03041MaRDI QIDQ1762352

James H. Schmerl, Roman Kossak

Publication date: 23 November 2012

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

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

zbMATH Keywords

models of arithmetic; recursive saturation; cofinal extensions; elementary pairs

Mathematics Subject Classification ID

03C62: Models of arithmetic and set theory

Related Items

Elementary cuts in saturated models of Peano arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elementary cuts in saturated models of Peano arithmetic
• Truth in generic cuts
• A note on a theorem of Kanovei
• A note on initial segment constructions in recursively saturated models of arithmetic
• Cofinal extensions of nonstandard models of arithmetic
• Elementary extensions of recursively saturated models of arithmetic
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• Arithmetically saturated models of arithmetic
• A note on satisfaction classes
• More on extending automorphisms of models of Peano Arithmetic
• Models with the ω-property
• Models and types of Peano's arithmetic
• Some problem in elementary arithmetics
• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
• Strongly maximal subgroups determined by elements in interstices