Truth in generic cuts

DOI10.1016/J.APAL.2009.11.001zbMath1230.03070OpenAlexW2006164199MaRDI QIDQ636338

Tin Lok Wong, Richard W. Kaye

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.11.001

zbMATH Keywords

Peano arithmeticelementary cutsindicatorsarithmetic saturationgeneric cuts

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (2)

Constant regions in models of arithmetic ⋮ On cofinal submodels and elementary interstices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on initial segment constructions in recursively saturated models of arithmetic
• Elementary extensions of recursively saturated models of arithmetic
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• Four problems concerning recursively saturated models of arithmetic
• On interpretations of arithmetic and set theory
• On elementary cuts in models of arithmetic
• On elementary cuts in recursively saturated models of Peano Arithmetic
• Some remarks on initial segments in models of Peano arithmetic
• Generic cuts in models of arithmetic

This page was built for publication: Truth in generic cuts