Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem |
scientific article |
Statements
Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (English)
0 references
19 June 2008
0 references
Constructive Mathematics
0 references
Reverse Mathematics
0 references
Intuitionistic Mathematics
0 references
Continuity Principle
0 references
Compactness Principle
0 references
