Markov's principle, Church's thesis and Lindelöf's theorem (Q1315098)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Markov's principle, Church's thesis and Lindelöf's theorem |
scientific article |
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