The continuum hypothesis in intuitionism (Q3910521)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The continuum hypothesis in intuitionism |
scientific article |
Statements
The continuum hypothesis in intuitionism (English)
0 references
1981
0 references
analytic set
0 references
Gödel's double-negation-translation
0 references
Brouwer-Kripke- axiom
0 references
intuitionistic Souslin theorem
0 references
Brouwer's principle for functions
0 references
intuitionistic analysis
0 references