Showing 2009Show all
2 papers · 1 filter
math.LO2009
On some peculiar aspects of the constructive theory of point-free spaces
Giovanni Curi
This paper presents several independence results concerning the topos-valid and the intuitionistic (generalized) predicative theories of locales. In particular, certain consequence…
math.LO2009
On the existence of Stone-Cech compactification
Giovanni Curi
In [G. Curi, "Exact approximations to Stone-Cech compactification'', Ann. Pure Appl. Logic, 146, 2-3, 2007, pp. 103-123] a characterization is obtained of the locales of which the…