Constructible models of subsystems of ZF

DOI10.2307/2273185zbMath0436.03048OpenAlexW2128574050WikidataQ56456990 ScholiaQ56456990MaRDI QIDQ3875925

Richard Gostanian

Publication date: 1980

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

inner modelconstructible modelstransitive settransitive modelextensions of Kripke-Platek set theoryconstruction of realssubsystems of ZF

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20) Other model constructions (03C30)

Related Items (1)

Long Borel games

Cites Work

• Aspects of constructibility
• Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971
• Groups of small Morley rank
• Degrees of unsolvability of constructible sets of integers
• Consistency-Proof for the Generalized Continuum-Hypothesis

This page was built for publication: Constructible models of subsystems of ZF