Giovanni Curi

Available identifiers

Publication	Date of Publication	Type
Constructive strong regularity and the extension property of a compactification	2022-10-14	Paper
Constructive strong regularity and the extension property of a compactification	2021-05-16	Paper
ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS	2018-08-10	Paper
On Tarski’s fixed point theorem	2015-09-08	Paper
Formal Baire space in constructive set theory	2014-06-24	Paper
Topological inductive definitions	2012-09-26	Paper
On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology	2011-08-26	Paper
On the existence of Stone-Čech compactification	2011-01-12	Paper
On some peculiar aspects of the constructive theory of point-free spaces	2010-08-18	Paper
On some peculiar aspects of the constructive theory of point-free spaces	2009-07-23	Paper
Remarks on the Stone-Čech and Alexandroff compactifications of locales	2008-03-10	Paper
Exact approximations to Stone-Čech compactification	2007-05-23	Paper
On the collection of points of a formal space	2005-12-06	Paper
Constructive metrisability in point-free topology.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4552734	2003-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q4513577	2001-02-28	Paper

This page was built for person: Giovanni Curi