4 papers
Constructive strong regularity and the extension property of a compactification
Giovanni Curi
In contexts in which the principle of dependent choice may not be available, as toposes or Constructive Set Theory, standard locale theoretic results related to complete regularity…
On Tarski's fixed point theorem
Giovanni Curi
A concept of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive and predicative version of Tarski's fixed point theore…
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…
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…