Markov's principle, Church's thesis and Lindelöf's theorem
type: Item
instance of: scholarly article
title: Markov's principle, Church's thesis and Lindelöf's theorem
zbMATH Open document ID: 0795.03087
DOI: 10.1016/0019-3577(93)90005-J
author: Hajime Ishihara
published in: Indagationes Mathematicae. New Series
publication date: 1994-09-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 03F60
zbMATH DE Number: 510029
zbMATH Keywords: constructive mathematics
zbMATH Keywords: Markov's Principle
zbMATH Keywords: Extended Church's Thesis
zbMATH Keywords: metric space
zbMATH Keywords: sequentially continuous
zbMATH Keywords: open cover
reviewed by: Pier Luigi Ferrari
MaRDI profile type: Publication
cites work: Continuity and nondiscontinuity in constructive mathematics
cites work: Continuity properties in constructive mathematics
cites work: Q3338243
cites work: Constructively Complete Finite Sets
cites work: Constructivism in mathematics. An introduction. Volume II
Recommended article: Markov's theorem revisited
Recommended article: ON MARKOV'S THEOREM
Recommended article: The Poisson Theorem and Markov Chains
Recommended article: Limit theorems for some Markov chains
Recommended article: An extension of Markov’s Theorem
Recommended article: Q5325332
Recommended article: Q3777194
Recommended article: On the disjunctive Markov principle
Recommended article: Lindeberg theorem for Gibbs–Markov dynamics
description: scientific article; zbMATH DE number 510029