Forcing and Models of Arithmetic

DOI10.2307/2039354zbMath0291.02037OpenAlexW4254652540MaRDI QIDQ4041570

Stephen G. Simpson

Publication date: 1974

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

Mathematics Subject Classification ID

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

Related Items (6)

Undefinability of truth and nonstandard models ⋮ Neutrally expandable models of arithmetic ⋮ ENAYAT MODELS OF PEANO ARITHMETIC ⋮ Partially definable forcing and bounded arithmetic ⋮ Models of set theory with definable ordinals ⋮ Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic

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