A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra

DOI10.1007/S11787-013-0084-YzbMath1301.03033OpenAlexW1981966241MaRDI QIDQ382416

Robert E. Woodrow, Imants Barušs

Publication date: 19 November 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-013-0084-y

zbMATH Keywords

forcingHeyting algebraKripke-Joyal semantics

Mathematics Subject Classification ID

Model-theoretic forcing (03C25)

Cites Work

• Unnamed Item
• Unnamed Item
• Topoi. The categorial analysis of logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Forcing and classifying topoi
• Forcing in intuitionistic systems without power-set

This page was built for publication: A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra