A constructive function-theoretic approach to topological compactness. (English) Zbl 1394.03076
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 605-614 (2016).
MSC:
| 03F60 | Constructive and recursive analysis |
References:
| [1] | M. J. Beeson: Foundations of Constructive Mathematics, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer Verlag, 1985. · Zbl 0565.03028 |
| [2] | E. Bishop: Foundations of Constructive Analysis, McGraw-Hill, 1967. · Zbl 0183.01503 |
| [3] | E. Bishop: The Neat Category of Stratified Spaces, unpublished manuscript, University of California, San Diego, 1971. |
| [4] | E. Bishop, and H. Cheng: Constructive Measure Theory, Mem. Amer. Math. Soc. 116, 1972. · Zbl 0239.02019 |
| [5] | E. Bishop: Schizophrenia in Contemporary Mathematics, American Mathematical Society Colloquium Lectures, Missoula University of Montana 1973. |
| [6] | E. Bishop, and D. Bridges: Constructive Analysis, Grundlehren der Math. Wissenschaften 279, Springer-Verlag, Heidelberg-Berlin-New York, 1985. · Zbl 0656.03042 |
| [7] | D. S. Bridges, and F. Richman: Varieties of Constructive Mathematics, Cambridge University Press, 1987. · Zbl 0618.03032 |
| [8] | D. S. Bridges, H. Ishihara, and P. Schuster: Sequential Compactness in Constructive Analysis, Österreich. Akad. Wiss. Math.-Natur. Kl. Sitzungsber. II 208, 1999, 159-163. · Zbl 1001.03056 |
| [9] | D. S. Bridges, H. Ishihara, and P. Schuster: Compactness and Contituity, Constructively Revisited, in J. Bradfield (Ed.): CSL 2002, LNCS 2471, 2002, 89-102. · Zbl 1021.03056 |
| [10] | D.S. Bridges, and L. S. Vîţă: Techniques of Constructive Analysis, in: Universitext, Springer, New York, 2006. · Zbl 1107.03065 |
| [11] | D. Bridges, and L. S. Vîţă: Apartness and Uniformity: A Constructive Development, in: CiE series “Theory and Applications of Computability”, Springer Verlag, Berlin Heidelberg, 2011. · Zbl 1248.03002 |
| [12] | D. Bridges: Reflections on function spaces, Annals of Pure and Applied Logic 163, 2012, 101-110. · Zbl 1251.03093 |
| [13] | M. M. Clementino, E. Giuli, and W. Tholen: Topology in a Category: Compactness, Portugaliae Mathematica Vol. 53, 1996, 397-433. · Zbl 0877.18002 |
| [14] | T. Coquand, and B. Spitters: Constructive Gelfand duality for C*-algebras, Math. Proc. Camb. Phil. Soc., 147, 2009, 339-344. · Zbl 1183.46052 |
| [15] | H. Diener: Compactness under Constructive Scrutiny, PhD Thesis, University of Canterbury, 2008. |
| [16] | J. Dugundji: Topology, Wm. C. Brown Publishers, 1989. |
| [17] | M. Escardó: Synthetic topology of data types and classical spaces, Electronic Notes in Theoretical Computer Science 87, 2004, 21-156. 10.1016/j.entcs.2004.09.017 · Zbl 1270.68082 |
| [18] | H. Ishihara, R. Mines, P. Schuster, and L. S. Vîţă: Quasi-apartness and neighborhood spaces, Annals of Pure and Applied Logic 141, 2006, 296-306. · Zbl 1099.03053 |
| [19] | H. Ishihara: Two subcategories of apartness spaces, Annals of Pure and Applied Logic 163, 2013, 132-139. · Zbl 1251.03094 |
| [20] | H. Ishihara: Relating Bishop’s function spaces to neighborhood spaces, Annals of Pure and Applied Logic 164, 2013, 482-490. · Zbl 1275.03163 |
| [21] | R. S. Lubarsky, and M. Rathjen: On the regular extension axiom and its variants, Mathematical Logic Quarterly 49 (5), 511-518, 2003. · Zbl 1042.03040 |
| [22] | E. Martino, and P. Giaretta: Brouwer Dummett, and the bar theorem, in S. Bernini (Ed.): Atti del Congresso Nazionale di Logica, Montecatini Terme, 1-5 Ottobre 1979, Napoli, 541-558, 1981. |
| [23] | S. Mrówka: Compactness and product spaces, Colloquium Mathematicum Vol. VII, 1959, 19-22. · Zbl 0093.36305 |
| [24] | J. Myhill: Constructive Set Theory, J. Symbolic Logic 40, 1975, 347-382. · Zbl 0314.02045 |
| [25] | M. O’Searcoid: Metric Spaces, Springer, 2007. |
| [26] | E. Palmgren: A constructive and functorial embedding of locally compact metric spaces into locales, Topology Appl., 154, 2007, 1854-1880. · Zbl 1116.03057 |
| [27] | E. Palmgren: From Intuitionistic to Point-Free Topology: On the Foundations of Homotopy Theory, in S. Lindström et al. (eds.), Logicism, Intuitionism, and Formalism, Synthese Library 341, Springer Science+Buiseness Media B.V. 2009, 237-253. · Zbl 1227.03080 |
| [28] | I. Petrakis: Constructive Topology of Bishop Spaces, PhD Thesis, Ludwig-Maximilians-Universität, München, 2015. · Zbl 1335.54002 |
| [29] | I. Petrakis: Completely Regular Bishop Spaces, in A. Beckmann, V. Mitrana and M. Soskova (Eds.): Evolving Computability, CiE 2015, LNCS 9136, Springer 2015, 302-312. · Zbl 1461.03058 |
| [30] | I. Petrakis: The Urysohn Extension Theorem for Bishop Spaces, in S. Artemov, and A. Nerode (Eds.) Symposium on Logical Foundations in Computer Science 2016, LNCS 9537, Springer 2016, 299-316. · Zbl 1477.03254 |
| [31] | B. Spitters: Locatedness and overt sublocales, Annals of Pure and Applied Logic, 162, 2009, 36-54. · Zbl 1223.03053 |
| [32] | P. Taylor: Tychonov’s Theorem in Abstract Stone Duality, manuscript, 2004. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
