Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/1823
Title: Heyting-valued interpretations for Constructive Set Theory
Authors: Gambino, Nicola
First Published: 2006
Citation: Annals of Pure and Applied Logic, 2006, 137 (01-Mar), pp.164-188
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.
DOI Link: 10.1016/j.apal.2005.05.021
ISSN: 0168-0072
Links: http://www.sciencedirect.com/science/article/pii/S0168007205000709
http://hdl.handle.net/2381/1823
Type: Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.