Giovanni Curi

MaRDI QIDQ450943zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Constructive strong regularity and the extension property of a compactification Annals of Pure and Applied Logic	2022-10-14	Paper
Constructive strong regularity and the extension property of a compactification (available as arXiv preprint)	2021-05-16	Paper
ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS Journal of Symbolic Logic	2018-08-10	Paper
On Tarski’s fixed point theorem Proceedings of the American Mathematical Society	2015-09-08	Paper
Formal Baire space in constructive set theory	2014-06-24	Paper
Topological inductive definitions Annals of Pure and Applied Logic	2012-09-26	Paper
On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology Annals of Pure and Applied Logic	2011-08-26	Paper
On the existence of Stone-Čech compactification Journal of Symbolic Logic	2011-01-12	Paper
On the existence of Stone-Čech compactification Journal of Symbolic Logic	2011-01-12	Paper
On some peculiar aspects of the constructive theory of point-free spaces Mathematical Logic Quarterly	2010-08-18	Paper
On some peculiar aspects of the constructive theory of point-free spaces (available as arXiv preprint)	2009-07-23	Paper
Remarks on the Stone-Čech and Alexandroff compactifications of locales Journal of Pure and Applied Algebra	2008-03-10	Paper
Exact approximations to Stone-Čech compactification Annals of Pure and Applied Logic	2007-05-23	Paper
On the collection of points of a formal space Annals of Pure and Applied Logic	2005-12-06	Paper
Constructive metrisability in point-free topology. Theoretical Computer Science	2004-03-14	Paper
scientific article; zbMATH DE number 1795214 (Why is no real title available?)	2003-06-01	Paper
scientific article; zbMATH DE number 1531360 (Why is no real title available?)	2001-02-28	Paper

Research outcomes over time

This page was built for person: Giovanni Curi