A category-theoretic approach to Boolean-valued models of set theory

DOI10.1016/0022-4049(86)90010-1zbMath0626.03046OpenAlexW2060395830MaRDI QIDQ580339

G. P. Monro

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1016/0022-4049(86)90010-1

zbMATH Keywords

complete Boolean algebraBoolean-valued model of category theorycategory of sheavesEaston forcing

Mathematics Subject Classification ID

Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (4)

Quasitopoi, logic and Heyting-valued models ⋮ Finite state automata: A geometric approach ⋮ A survey of fuzzy set and topos theory ⋮ Unnamed Item

Cites Work

• Completeness results for intuitionistic and modal logic in a categorical setting
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• On a Topological Topos
• Powers of regular cardinals
• Aspects of topoi: Corrigenda and acknowledgements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A category-theoretic approach to Boolean-valued models of set theory