Constant regions in models of arithmetic

DOI10.1215/00294527-3153615MaRDI QIDQ894260zbMATH OpenOpenAlexFDO

Authors 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, https://semanticscholar.org/paper/a669c89374d073761e3387e20c6847fa8fc7f5bd

zbMATH Keywords

generic cutsnonstandard models of arithmeticconstant regionsexistentially closed modelsinterstices

Mathematics Subject Classification ID

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

Recommendations

• Generic cuts in models of arithmetic
• Strongly maximal subgroups determined by elements in interstices
• The model theory of generic cuts
• Truth in generic cuts
• Regular cuts in models of bounded arithmetic

Cites work

• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3566838 (Why is no real title available?)
• scientific article; zbMATH DE number 1230613 (Why is no real title available?)
• scientific article; zbMATH DE number 1746899 (Why is no real title available?)
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• Generic cuts in models of arithmetic
• On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
• The structure of models of Peano arithmetic
• Truth in generic cuts

Cited in

(2)

• Generic cuts in models of arithmetic
• Truth in generic cuts

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q894260)