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

Annals of Pure and Applied Logic 137 (1):30-61 (2006)
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2005.05.017
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,077
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Inductively Generated Formal Topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Pretopologies and Completeness Proofs.Giovanni Sambin - 1995 - Journal of Symbolic Logic 60 (3):861-878.
Intuitionistic Type Theory.[author unknown] - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.

Add more references

Citations of this work BETA

Heyting-Valued Interpretations for Constructive Set Theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1):164-188.
A Coverage Construction of the Reals and the Irrationals.Harold Simmons - 2007 - Annals of Pure and Applied Logic 145 (2):176-203.

Add more citations

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 index

Total views
1 ( #1,131,933 of 2,313,314 )

Recent downloads (6 months)
1 ( #520,011 of 2,313,314 )

How can I increase my downloads?

Monthly downloads

Sorry, there are not enough data points to plot this chart.

My notes

Sign in to use this feature