Abstract
AbstractThe purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We show that every mapping is sequentially continuous if and only if it is sequentially nondiscontinuous and strongly extensional, and that “every mapping is strongly extensional”, “every sequentially nondiscontinuous mapping is sequentially continuous”, and a weak version of Markov's principle are equivalent. Also, assuming a consequence of Church's thesis, we prove a version of the Kreisel-Lacombe-Shoenfield-Tseĭtin theorem.
Publisher
Cambridge University Press (CUP)
Reference15 articles.
1. Algorithmic operators in constructive complete separable metric spaces;Tseĭtin;Doklady Akademii Nauk SSSR,1959
2. Equivalence of two definitions of continuity;Orevkov;Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR (LOMI),1971
3. Constructive continuity
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Classical consequences of constructive systems;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
2. The Third Trick;Logical Methods in Computer Science;2022-08-09
3. On the Necessity of Some Topological Spaces;Revolutions and Revelations in Computability;2022
4. Notions of Cauchyness and metastability;Journal of Logic and Computation;2020-09-29
5. Brouwer’s Weak Counterexamples and the Creative Subject: A Critical Survey;Journal of Philosophical Logic;2020-05-09