Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator

DOI10.1016/0168-0072(86)90046-1zbMath0634.03051OpenAlexW1990558448MaRDI QIDQ1096625

Andrej Scedrov

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90046-1

zbMATH Keywords

Boolean algebraGrothendieck toposinterior operatorBoolean valued permutation modelepistemic set theory ZFEFreyd permutation groupintuitionistic set theory ZFI

Mathematics Subject Classification ID

Topoi (18B25) Nonclassical and second-order set theories (03E70) Other aspects of forcing and Boolean-valued models (03E40) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Topological models of epistemic set theory

Cites Work

• All topoi are localic or why permutation models prevail
• Sheaf models for set theory
• Quotients of decidable objects in a topos
• Epistemic set theory is a conservative extension of intuitionistic set theory
• Some properties of epistemic set theory with collection
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator