Exact approximations to Stone–Čech compactification

Annals of Pure and Applied Logic 146 (2):103-123 (2007)

Given a locale L and any set-indexed family of continuous mappings , fi:L→Li with compact and completely regular co-domain, a compactification η:L→Lγ of L is constructed enjoying the following extension property: for every a unique continuous mapping exists such that . Considered in ordinary set theory, this compactification also enjoys certain convenient weight limitations.Stone–Čech compactification is obtained as a particular case of this construction in those settings in which the class of [0,1]-valued continuous mappings is a set for all L. This will follow by the proof that–also in the point-free context–a compactification that allows for the extension of [0,1]-valued mappings suffices for deriving the full reflection.A constructive proof that the class is a set whenever L is locally compact and L′ is set-presented and regular is also obtained; together with the described compactification, this makes it possible to characterize the class of locales for which Stone–Čech compactification can be defined constructively
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2006.12.004
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,928
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.
Aspects of General Topology in Constructive Set Theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1):3-29.
On the Collection of Points of a Formal Space.Giovanni Curi - 2006 - Annals of Pure and Applied Logic 137 (1):126-146.
Maximal and Partial Points in Formal Spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1):291-298.

View all 8 references / Add more references

Citations of this work BETA

Topological Inductive Definitions.Giovanni Curi - 2012 - Annals of Pure and Applied Logic 163 (11):1471-1483.
On the Existence of Stone-Čech Compactification.Giovanni Curi - 2010 - Journal of Symbolic Logic 75 (4):1137-1146.
Locatedness and Overt Sublocales.Bas Spitters - 2010 - Annals of Pure and Applied Logic 162 (1):36-54.

Add more citations

Similar books and articles

On the Existence of Stone-Čech Compactification.Giovanni Curi - 2010 - Journal of Symbolic Logic 75 (4):1137-1146.
The Modal Logic of {Beta(Mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.
O-Minimal Spectra, Infinitesimal Subgroups and Cohomology.Alessandro Berarducci - 2007 - Journal of Symbolic Logic 72 (4):1177 - 1193.
Approximations and Truth Spaces.Jean-Pierre Marquis - 1991 - Journal of Philosophical Logic 20 (4):375 - 401.
Exact Approximations or Approximate Exactness.Solomon Marcus - 1967 - Foundations of Language 3:288-291.
Reduced Coproducts of Compact Hausdorff Spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.
The Soft Side of Stone.Arnold Berleant - 2007 - Environmental Philosophy 4 (1/2):49-58.


Added to PP index

Total views
9 ( #657,890 of 2,319,330 )

Recent downloads (6 months)
4 ( #330,942 of 2,319,330 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature