On the constructive Dedekind reals (Q1000868)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the constructive Dedekind reals |
scientific article |
Statements
On the constructive Dedekind reals (English)
0 references
11 February 2009
0 references
In classical set theory, the concepts of Cauchy reals and Dedekind reals lead to isomorphic structures. Constructive Zermelo-Fraenkel set theory at least proves that both classes form a set. But how are they related to each other? To prove that the Cauchy reals are a set, the axiom of subset collection is not needed to its full extent but may be replaced by exponentiation. This paper defines a Kripke model of Zermelo-Fraenkel set theory with subset collection replaced by exponentiation. In this model, the Dedekind reals constitute a proper class. This is a strong independence result. Readers from various fields of mathematics, like proof theory, constructive mathematics, set theory, model theory and foundations of real analysis will be interested in reading this paper.
0 references
constructive set theory
0 references
Dedekind reals
0 references
0 references