Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662684 | Annals of Pure and Applied Logic | 2006 | 25 Pages |
Abstract
We define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory (CZF). These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic