Markov's principle, Church's thesis and Lindelöf's theorem (Q1315098)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Markov's principle, Church's thesis and Lindelöf's theorem |
scientific article; zbMATH DE number 510029
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Markov's principle, Church's thesis and Lindelöf's theorem |
scientific article; zbMATH DE number 510029 |
Statements
Markov's principle, Church's thesis and Lindelöf's theorem (English)
0 references
1 September 1994
0 references
The paper contains some results in constructive mathematics concerning Markov's Principle (MP) and Extended Church's Thesis (ECT). In particular, the theorem ``Mappings from a complete metric space into a metric space are sequentially continuous'' is proved using a disjunctive form of Church's Thesis only. Moreover, a version of Lindelöf's theorem (``Every open cover of a complete separable metric space has an enumerable subcover'') is proved using ECT only and MP is not needed.
0 references
constructive mathematics
0 references
Markov's Principle
0 references
Extended Church's Thesis
0 references
metric space
0 references
sequentially continuous
0 references
open cover
0 references
0 references
0 references
0 references
0 references
0 references
0.8595891
0 references
