Classifying Dini's Theorem-Reference-Cited by-同舟云学术

Classifying Dini's Theorem

Published:2006-04-01 Issue:2 Volume:47 Page:
ISSN:0029-4527
Container-title:Notre Dame Journal of Formal Logic
language:
Short-container-title:Notre Dame J. Formal Logic

Author:

Berger Josef,Schuster Peter

Publisher

Duke University Press

Subject

Logic

Reference19 articles.

1. [1] Bishop, E., Foundations of Constructive Analysis, McGraw-Hill Book Co., New York, 1967.

2. [2] Bishop, E., and D. Bridges, Constructive Analysis, vol. 279 of Grundlehren der Mathematischen Wissenschaften, Springer-Verlag, Berlin, 1985.

3. [3] Bridges, D., and F. Richman, Varieties of Constructive Mathematics, vol. 97 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, 1987.

4. [4] Bridges, D. S., "Dini's theorem: A constructive case study", pp. 69--80 in Combinatorics, Computability and Logic (Constanţa, 2001), edited by C. S. Calude, M. J. Dinneen, and S. Sburlan, Springer Series in Discrete Mathematics and Theoretical Computer Science, Springer-Verlag London Ltd., London, 2001.

5. [5] Dummett, M., Elements of Intuitionism, 2d edition, vol. 39 of Oxford Logic Guides, The Clarendon Press, New York, 2000.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Brouwer’s Fan Theorem as an axiom and as a contrast to Kleene’s alternative;Archive for Mathematical Logic;2014-06-05

2. The swap of integral and limit in constructive mathematics;Mathematical Logic Quarterly;2010-09-20

3. Problems, solutions, and completions;The Journal of Logic and Algebraic Programming;2010-01

4. Kronecker’s density theorem and irrational numbers in constructive reverse mathematics;Mathematische Semesterberichte;2009-09-22

5. Dini’s Theorem in the Light of Reverse Mathematics;Logicism, Intuitionism, and Formalism;2009