Gambino, N orcid.org/0000-0002-4257-3590 (2006) Heyting-valued interpretations for Constructive Set Theory. Annals of Pure and Applied Logic, 137 (1-3). pp. 164-188. ISSN 0168-0072
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2005 Elsevier B.V. This is an author produced version of a paper published in Annals of Pure and Applied Logic. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | Constructive set theory; Formal topology; Pointfree topology; Heyting algebra; Frame; Heyting-valued models |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 05 Sep 2017 14:12 |
Last Modified: | 18 Jan 2018 06:04 |
Status: | Published |
Publisher: | Elsevier Masson |
Identification Number: | 10.1016/j.apal.2005.05.021 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:113162 |