as an initial segment of the c-degrees

DOI10.2307/2275920zbMath0810.03043OpenAlexW2322801397MaRDI QIDQ4314683

Marcia J. Groszek

Publication date: 20 April 1995

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

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

zbMATH Keywords

iterated forcingpartial ordersdegrees of constructibilityorder-typemodel of set theorybackwards iteration

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (2)

Initial segments of the degrees of constructibility ⋮ Generalized Iteration of Forcing

This page was built for publication: as an initial segment of the c-degrees