Pointwise definable models of set theory
From MaRDI portal
Publication:4916549
DOI10.2178/jsl.7801090zbMath1270.03101arXiv1105.4597WikidataQ55896321 ScholiaQ55896321MaRDI QIDQ4916549
David Linetsky, Jonas Reitz, Joel David Hamkins
Publication date: 23 April 2013
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1105.4597
countable model; Gödel-Bernays set theory; transitive model; first-order definable; class forcing extension; pointwise definable model
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
Related Items
When does every definable nonempty set have a definable element?, MINIMUM MODELS OF SECOND-ORDER SET THEORIES, On the Axiom of Canonicity, Algebraicity and implicit definability in set theory, Ehrenfeucht's lemma in set theory, Typicality à la Russell in set theory
Cites Work