The independence of

DOI10.2307/2586769zbMath0922.03066OpenAlexW1538497898MaRDI QIDQ4254640

Amir Leshem, Menachem Magidor

Publication date: 11 October 1999

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

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

zbMATH Keywords

class forcingset forcingdefinable well-orderingsupremum of order types

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Descriptive set theory
• Unnamed Item
• Unnamed Item

This page was built for publication: The independence of