Constant regions in models of arithmetic

DOI10.1215/00294527-3153615zbMath1372.03085OpenAlexW2233855669MaRDI QIDQ894260

Tin Lok Wong

Publication date: 30 November 2015

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

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

zbMATH Keywords

nonstandard models of arithmeticgeneric cutsconstant regionsexistentially closed modelsinterstices

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth in generic cuts
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
• Generic cuts in models of arithmetic

This page was built for publication: Constant regions in models of arithmetic