Hostname: page-component-7c8c6479df-8mjnm Total loading time: 0 Render date: 2024-03-29T08:37:12.795Z Has data issue: false hasContentIssue false

Every countably presented formal topology is spatial, classically

Published online by Cambridge University Press:  12 March 2014

Silvio Valentini*
Affiliation:
Dipartimento di Matematica Pura ed Applicata, Università di Padova, Via G. Belzoni N.7, 1-35131 Padova, Italy. E-mail: silvio@math.unipd.it

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
Copyright
Copyright © Association for Symbolic Logic 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

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. 11831192.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. 71106.CrossRefGoogle Scholar
[4]Engelking, R., General topology. Polish Scientific Publisher, Warszawa, 1977.Google 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. 446448.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. 9671005.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. 347408.CrossRefGoogle Scholar
[11]Valentini, S., The problem of the formalization of constructive topology, Archive for Mathematical Logic, vol. 44 (2005), pp. 115129.CrossRefGoogle Scholar
[12]Valentini, S., Towards a complete formalization of constructive topology, to appear.Google Scholar