Forcing and Models of Arithmetic
From MaRDI portal
Publication:4041570
DOI10.2307/2039354zbMath0291.02037OpenAlexW4254652540MaRDI QIDQ4041570
Publication date: 1974
Full work available at URL: https://doi.org/10.2307/2039354
Model-theoretic algebra (03C60) Consistency and independence results (03E35) Other model constructions (03C30) Other classical first-order model theory (03C68)
Related Items
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