The following pages link to Giovanni Curi (Q450943):
Displaying 16 items.
- Topological inductive definitions (Q450944) (← links)
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology (Q636295) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- Constructive metrisability in point-free topology. (Q1427775) (← links)
- Constructive strong regularity and the extension property of a compactification (Q2084952) (← links)
- Remarks on the Stone-Čech and Alexandroff compactifications of locales (Q2475110) (← links)
- On the collection of points of a formal space (Q2575767) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- On the existence of Stone-Čech compactification (Q3066786) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
- (Q4513577) (← links)
- (Q4552734) (← links)
- ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS (Q4579809) (← links)
- (Q4981443) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q6214818) (← links)
- Constructive strong regularity and the extension property of a compactification (Q6367763) (← links)
