Forcing and Models of Arithmetic

DOI10.2307/2039354MaRDI QIDQ4041570zbMATH OpenOpenAlexFDO

Authors Stephen G. Simpson

Publication date 1974

Full work available at URL https://doi.org/10.2307/2039354

Mathematics Subject Classification ID

Other model constructions (03C30) Model-theoretic algebra (03C60) Other classical first-order model theory (03C68) Consistency and independence results (03E35)

Cited in

(6)

• Models of set theory with definable ordinals
• Partially definable forcing and bounded arithmetic
• Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
• Enayat models of Peano arithmetic
• Neutrally expandable models of arithmetic
• Undefinability of truth and nonstandard models

This page was built for publication: Forcing and Models of Arithmetic

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