Heyting-valued interpretations for constructive set theory

Nicola Gambino

doi:10.1016/j.apal.2005.05.021

Heyting-valued interpretations for constructive set theory

Nicola Gambino

Pure Mathematics

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	164-188
Number of pages	25
Journal	Annals of Pure and Applied Logic
Volume	137
Issue number	1-3
DOIs	https://doi.org/10.1016/j.apal.2005.05.021
Publication status	Published - Jan 2006

Keywords

Constructive set theory
Formal topology
Pointfree topology
Heyting algebra
Frame
Heyting-valued models

Access to Document

10.1016/j.apal.2005.05.021

Cite this

@article{abf750b13bf844c39db75d1d4937a90c,

title = "Heyting-valued interpretations for constructive set theory",

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.",

keywords = "Constructive set theory, Formal topology, Pointfree topology, Heyting algebra, Frame, Heyting-valued models",

author = "Nicola Gambino",

year = "2006",

month = jan,

doi = "10.1016/j.apal.2005.05.021",

language = "English",

volume = "137",

pages = "164--188",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "1-3",

}

TY - JOUR

T1 - Heyting-valued interpretations for constructive set theory

AU - Gambino, Nicola

PY - 2006/1

Y1 - 2006/1

N2 - 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.

AB - 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.

KW - Constructive set theory

KW - Formal topology

KW - Pointfree topology

KW - Heyting algebra

KW - Frame

KW - Heyting-valued models

U2 - 10.1016/j.apal.2005.05.021

DO - 10.1016/j.apal.2005.05.021

M3 - Article

SN - 0168-0072

VL - 137

SP - 164

EP - 188

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1-3

ER -

Heyting-valued interpretations for constructive set theory

Abstract

Keywords

Access to Document

Fingerprint

Cite this