Complete topoi representing models of set theory

DOI10.1016/0168-0072(92)90059-9zbMath0763.03028OpenAlexW2024781128MaRDI QIDQ1192330

Andreas Blass, Andrej Scedrov

Publication date: 27 September 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2027.42/30052

zbMATH Keywords

definabilityGrothendieck toposBoolean-valued modelFraenkel-Mostowski permutation modelscumulative hierarchyrepresenting toposZermelo-Fraenkel set theory allowing atomsZFA

Mathematics Subject Classification ID

Topoi (18B25) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sheaf models for set theory
• Freyd’s models for the independence of the axiom of choice
• Colimits in Topoi

This page was built for publication: Complete topoi representing models of set theory