Article contents
Every countably presented formal topology is spatial, classically
Published online by Cambridge University Press: 12 March 2014
Abstract
By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2006
References
REFERENCES
[1]Bell, J. and Machover, M.. A course in mathematical logic, North-Holland, Amsterdam. 1977.Google Scholar
[2]Coquand, T.. Sadocco, S., Sambin, G., and Smith, J., Formal topologies on the set of first-order formulae, this Journal, vol. 65 (2000), no. 3, pp. 1183–1192.Google Scholar
[3]Coquand, T.. Sambin, G., Smith, J., and Valentini, S.. Inductively generated formal topologies, Annals of Pure and Applied Logic, vol. 124 (2003). no. 1–3, pp. 71–106.CrossRefGoogle Scholar
[5]Johnston, P. T., Stone spaces, Cambridge Studies in Advanced Mathematics, vol. 3, Cambridge University Press. 1982.Google Scholar
[6]Maguolo, D. and Valentini, S.. An intuitionistic version of Cantor's theorem, Mathematical Logic Quarterly, vol. 42 (1996), pp. 446–448.CrossRefGoogle Scholar
[7]Maietti, M. E. and Valentini, S.. A structural investigation on formal topology: coreflection of formal covers and exponentiability, this Journal, vol. 69 (2004), no. 4, pp. 967–1005.Google Scholar
[8]Martin-Löf, P., Note of constructive mathematics, Almqvist & Wiksell, Stockholm, 1970.Google Scholar
[9]Martin-Löf, P.. Intuitionistic type theory, notes by G. Sambin of a series of lectures given in Padua, Bibliopolis, Naples, 1984.Google Scholar
[10]Sambin, G.. Some points informal topology, Theoretical Computer Science, vol. 305 (2003), no. 1–3, pp. 347–408.CrossRefGoogle Scholar
[11]Valentini, S., The problem of the formalization of constructive topology, Archive for Mathematical Logic, vol. 44 (2005), pp. 115–129.CrossRefGoogle Scholar
[12]Valentini, S., Towards a complete formalization of constructive topology, to appear.Google Scholar
- 9
- Cited by