Pretopologies and a uniform presentation of sup-lattices, quantales and frames

Annals of Pure and Applied Logic 137 (1-3):30-61 (2006)
  Copy   BIBTEX


We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extends in a modular way to obtain a presentation of quantales, as “sup-lattices on monoids”, by using the notion of pretopology.Our presentation is then applied to frames, the link with Johnstone’s presentation of frames is spelled out, and his theorem on freely generated frames becomes a special case of our results on quantales.The main motivation of this paper is to contribute to the development of formal topology. That is why all our definitions and proofs can be expressed within an intuitionistic and predicative foundation, like constructive type theory.



    Upload a copy of this work     Papers currently archived: 92,100

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Pretopologies and completeness proofs.Giovanni Sambin - 1995 - Journal of Symbolic Logic 60 (3):861-878.
Polynomial Time Uniform Word Problems.Stanley Burris - 1995 - Mathematical Logic Quarterly 41 (2):173-182.
Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.


Added to PP

19 (#801,562)

6 months
4 (#795,160)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giulia Battilotti
University of Florence (PhD)

Citations of this work

Heyting-valued interpretations for constructive set theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
Constructive version of Boolean algebra.F. Ciraulo, M. E. Maietti & P. Toto - 2013 - Logic Journal of the IGPL 21 (1):44-62.

View all 10 citations / Add more citations