References

[Bai85]

Günter Baigger. Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Archiv für Mathematische Logik und Grundlagenforschung, 25(3-4):183–188, 1985.

[Bau08]

Andrej Bauer. Efficient computation with Dedekind reals. In Vasco Brattka, Ruth Dillhage, Tanja Grubba, and Angela Klutch, editors, Fifth International Conference on Computability and Complexity in Analysis, pages i–vi, Hagen, Germany, August 2008.

[BB85]

Errett A. Bishop and Douglas S. Bridges. Constructive Analysis. Number 279 in Grundlehren der mathematischen Wissenschaften. Springer-Verlag, 1985.

[Bol17]

Bernhard P. J. N. Bolzano. Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetztes resultat gewähren, wenigstens eine reelle Wurzel der Gleichen liege. 1817. English translation by Steve Russ in Historia Mathematica 7 (1980), 156–185 and The Mathematical Works of Bernhard Bolzano, Oxford University Press, 2004, pages 253–277.

[BR87]

Douglas S. Bridges and Fred Richman. Varieties of Constructive Mathematics. Number 97 in London Mathematical Society Lecture Notes. Cambridge University Press, 1987.

[Bro75]

Jan Brouwer. Collected Works: Philosophy and Foundations of Mathematics, volume 1. North-Holland, 1975. Edited by Arend Heyting.

[Cau21]

Augustin-Louis Cauchy. Cours d’Analyse de l’école royale polytechnique, première partie: Analyse algébrique. 1821. Œvres complètes, série 2, tome 3.

[Cle87]

John C. Cleary. Logical arithmetic. Future Computing Systems, 2:125–149, 1987.

[Dav05]

E. Brian Davies. A defence of mathematical pluralism. Philosophia Mathematica, 13(3):252–276, 2005.

[DG03]

James Dugundji and Andrzej Granas. Fixed Point Theory. Springer Verlag, 2003.

[Dug66]

James Dugundji. Topology. Allyn and Bacon, 1966.

[EJ92]

Jean-Claude Evard and Farhad Jafari. A complex Rolle’s theorem. American Mathematical Monthly, 99:858–869, 1992.

[EL04]

Abbas Edalat and André Lieutier. Domain theory and differential calculus. Mathematical Structures in Computer Science, 14(6):771–802, 2004.

[Fox45]

Ralph H. Fox. On topologies for function-spaces. Bulletin of the American Mathematical Society, 51, 1945.

[Gen35]

Gerhard Gentzen. Untersuchungen über das Logische Schliessen. Mathematische Zeitschrift, 39:176–210 and 405–431, 1935. English translation in [Gen69], pages 68–131.

[Gen69]

Gerhard Gentzen. The Collected Papers of Gerhard Gentzen. Studies in Logic and the Foundations of Mathematics. North-Holland, 1969. Edited by Manfred E. Szabo.

[GHK++80]

Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael Mislove, and Dana S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, 1980. Second edition, Continuous Lattices and Domains, published by Cambridge University Press, 2003.

[GLT89]

Jean-Yves Girard, Yves Lafont, and Paul Taylor. Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989.

[Göd31]

Kurt Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38:173–198, 1931. English translations, “On Formally Undecidable Propositions of ‘Principia Mathematica’ and Related Systems” published by Oliver and Boyd, 1962 and Dover, 1992; also in “From Frege to Gödel: a Source Book in Mathematical Logic, 1879–1931”, ed. Jan van Heijenoort, Harvard University Press, 1967.

[Har08]

G. H. Hardy. A Course of Pure Mathematics. Cambridge University Press, 1908. Tenth edition, 1952, frequently reprinted.

[Hey56]

Arend Heyting. Intuitionism, an Introduction. Studies in Logic and the Foundations of Mathematics. North-Holland, 1956. Third edition, 1971.

[HM81]

Karl H. Hofmann and Michael Mislove. Local compactness and continuous lattices. In Bernhard Banaschewski and Rudolf-Eberhard Hoffmann, editors, Continuous Lattices, number 871 in Springer Lecture Notes in Mathematics, pages 209–248, 1981.

[Hyl91]

J. Martin E. Hyland. First steps in synthetic domain theory. In Aurelio Carboni, Maria-Cristina Pedicchio, and Giuseppe Rosolini, editors, Proceedings of the 1990 Como Category Conference, number 1488 in Lecture Notes in Mathematics, pages 131–156. Springer-Verlag, 1991.

[Joh82]

Peter T. Johnstone. Stone Spaces. Number 3 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1982.

[Joh84]

Peter T. Johnstone. Open locales and exponentiation. Contemporary Mathematics, 30:84–116, 1984.

[JT84]

André Joyal and Myles Tierney. An extension of the Galois theory of Grothendieck. Memoirs of the American Mathematical Society, 51(309), 1984.

[Kur20]

Kazimierz Kuratowski. Sur la notion d’ensemble fini. Fundamenta Mathematicae, 1:130–1, 1920.

[Lak63]

Imre Lakatos. Proofs and refutations: the logic of mathematical discovery. British Journal for the Philosophy of Science, 14:1–25, 1963. Re-published by Cambridge University Press, 1976, edited by John Worrall and Elie Zahar.

[Llo78]

Noel Lloyd. Degree Theory. Number 73 in Cambridge Tracts in Mathematics. Cambridge University Press, 1978.

[Man83]

Mark Mandelkern. Constructive continuity. Memoirs of the American Mathematical Society, 42(277), 1983.

[Mil97]

John W. Milnor. Topology from the Differentiable Viewpoint. Princeton University Press, 1997.

[Moo66]

Ramon E. Moore. Interval Analysis. Automatic Computation. Prentice Hall, 1966. Second edition, Ramon Edgar Moore, Baker R Kearfott and Michael J Cloud, "Introduction to Interval Analysis", Society for Industrial and Applied Mathematics, Philadephia, 2009, ISBN 0989716691.

[Nac92]

Leopoldo Nachbin. Compact unions of closed subsets are closed and compact intersections of open subsets are open. Portugaliae Mathematica, 49:403–9, 1992.

[Pea97]

Giuseppe Peano. Studii di logica matematica. Atti della Reale Accademia di Torino, 32:565–583, 1897. Reprinted in Peano, Opere Scelte, Cremonese, 1953, vol. 2, pp. 201–217, and (in English) in Hubert Kennedy, Selected Works of Giuseppe Peano, Toronto University Press, 1973, pp 190–205.

[Pét53]

H. Pétard. A contribution to the mathematical theory of big game hunting. Eureka, 16, 1953. Reprinted in Lion hunting and other mathematical pursuits by Ralph Boas, Gerald Alexanderson and Dale Mugler, Mathematical Association of America, 1995.

[Plo77]

Gordon D. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5:223–255, 1977.

[Pot07]

Petrus H. Potgieter. Computable counter-examples to the Brouwer fixed-point theorem. arXiv:0804.3199, 2007.

[Ric56]

Henry G. Rice. On completely recursively enumerable classes and their key arrays. Journal of Symbolic Logic, 21:304–8, 1956.

[Sco72]

Dana S. Scott. Continuous lattices. In F. W. Lawvere, editor, Toposes, Algebraic Geometry and Logic, number 274 in Lecture Notes in Mathematics, pages 97–136. Springer-Verlag, Berlin, 1972.

[Spe28]

Emanuel Sperner. Neuer Beweis für die Ivarianz der Dimensionzahl und des Gebietes. Abh. Math. Sem. Hamburg, V:265–272, 1928.

[Spi10]

Bas Spitters. Located and overt sublocales. Annals of Pure and Applied Logic, 2010. to appear.

[SS70]

J. Arthur Seebach and Lynn Arthur Steen. Counterexamples in Topology. Holt, Rinehart and Winston, 1970. Republished by Springer-Verlag, 1978 and by Dover, 1995.

[Sto37]

Marshall H. Stone. Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society, 41(3):375–481, 1937.

[Sto38]

Marshall H. Stone. The representation of Boolean algebras. Bulletin of the American Mathematical Society, 44(12):807–816, 1938.

[Tay99]

Paul Taylor. Practical Foundations of Mathematics. Number 59 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1999.

[Tur35]

Alan M. Turing. On computable numbers with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society (2), 42:230–265, 1935.

[TvD88]

Anne Sjerp Troelstra and Dirk van Dalen. Constructivism in Mathematics, an Introduction. Number 121 and 123 in Studies in Logic and the Foundations of Mathematics. North-Holland, 1988.

[vD09]

Dirk van Dalen. Brouwer’s ε-fixed point from Sperner’s lemma. 2009.

[Ver94]

Japie J. C. Vermeulen. Proper maps of locales. Journal of Pure and Applied Algebra, 92:79–107, 1994.

[Wei00]

Klaus Weihrauch. Computable Analysis. Springer, Berlin, 2000.

[Wil70]

Peter Wilker. Adjoint product and hom functors in general topology. Pacific Journal of Mathematics, 34:269–283, 1970.

The papers on abstract Stone duality may be obtained from

[O]

Paul Taylor, Foundations for Computable Topology. in Giovanni Sommaruga (ed.), Foundational Theories of Mathematics, Kluwer 2010.

[A]

Paul Taylor, Sober spaces and continuations. Theory and Applications of Categories, 10(12):248–299, 2002.

[B]

Paul Taylor, Subspaces in abstract Stone duality. Theory and Applications of Categories, 10(13):300–366, 2002.

[C]

Paul Taylor, Geometric and higher order logic using abstract Stone duality. Theory and Applications of Categories, 7(15):284–338, 2000.

[D]

Paul Taylor, Non-Artin gluing in recursion theory and lifting in abstract Stone duality. 2000.

[E]

Paul Taylor, Inside every model of Abstract Stone Duality lies an Arithmetic Universe. Electronic Notes in Theoretical Computer Science 122 (2005) 247-296.

[F]

Paul Taylor, Scott domains in abstract Stone duality. March 2002.

[G–]

Paul Taylor, Local compactness and the Baire category theorem in abstract Stone duality. Electronic Notes in Theoretical Computer Science 69, Elsevier, 2003.

[G]

Paul Taylor, Computably based locally compact spaces. Logical Methods in Computer Science, 2 (2006) 1–70.

[H–]

Paul Taylor, An elementary theory of the category of locally compact locales. APPSEM Workshop, Nottingham, March 2003.

[H]

Paul Taylor, An elementary theory of various categories of spaces and locales. November 2004.

[I]

Andrej Bauer and Paul Taylor, The Dedekind reals in abstract Stone duality. Mathematical Structures in Computer Science, 19 (2009) 757–838.

[J]

Paul Taylor, A λ-calculus for real analysis. Journal of Logic and Analysis, 2(5), 1–115 (2010)

[K]

Paul Taylor, Interval analysis without intervals. February 2006.

[L]

Paul Taylor, Tychonov’s theorem in abstract Stone duality. September 2004.

[M]

Paul Taylor, Cartesian closed categories with subspaces. 2009.

[N]

Paul Taylor, Computability in locally compact spaces. 2010.