Giovanni Sambin

Available identifiers

zbMath Open sambin.giovanniWikidataQ102115227 ScholiaQ102115227MaRDI QIDQ887822

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6191024	2024-02-08	Paper
Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?	2023-09-20	Paper
The Minimalist Foundation and Bishop’s Constructive Mathematics	2023-08-11	Paper
Topology as Faithful Communication Through Relations	2021-05-20	Paper
C for constructivism. Beyond clichés	2020-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q5224156	2019-07-19	Paper
The principle of pointfree continuity	2019-03-18	Paper
Embedding locales and formal topologies into positive topologies	2019-01-14	Paper
Topology as faithful communication through relations	2016-11-09	Paper
The basic Zariski topology	2015-11-03	Paper
Real and Ideal in Constructive Mathematics	2015-06-05	Paper
Why topology in the minimalist foundation must be pointfree	2015-04-09	Paper
Convergence in formal topology: a unifying notion	2013-02-25	Paper
A constructive Galois connection between closure and interior	2013-01-07	Paper
A Minimalist Foundation at Work	2012-09-06	Paper
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita	2011-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q3015560	2011-07-13	Paper
The overlap algebra of regular opens	2010-06-25	Paper
Finitary formal topologies and Stone's representation theorem	2008-10-21	Paper
Finiteness in a Minimalist Foundation	2008-06-03	Paper
Doing Without Turing Machines: Constructivism and Formal Topology	2007-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q5310888	2007-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q5718565	2006-01-16	Paper
Pretopologies and a uniform presentation of sup-lattices, quantales and frames	2005-12-06	Paper
Some points in formal topology.	2004-03-14	Paper
Inductively generated formal topologies.	2003-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4428708	2003-09-22	Paper
Basic logic: reflection, symmetry, visibility	2001-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4941997	2001-07-26	Paper
Formal topologies on the set of first-order formulae	2001-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4513593	2001-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4944859	2001-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4940726	2000-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4247310	2000-02-15	Paper
Subdirectly irreducible modal algebras and initial frames	1999-10-11	Paper
From basic logic to quantum logics with cut-elimination	1999-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4896534	1997-06-03	Paper
Constructive domain theory as a branch of intuitionistic pointfree topology	1997-02-27	Paper
Pretopologies and completeness proofs	1996-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4282620	1994-04-17	Paper
Provability: The emergence of a mathematical modality	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3832536	1989-01-01	Paper
A new proof of Sahlqvist's theorem on modal definability and completeness	1989-01-01	Paper
Topology and duality in modal logic	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3481701	1987-01-01	Paper
An incomplete system of modal logic	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726077	1985-01-01	Paper
The modal logic of provability. The sequential approach	1982-01-01	Paper
A modal sequent calculus for a fragment of arithmetic	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3884090	1980-01-01	Paper
Post Completeness and Free Algebras	1980-01-01	Paper
Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)	1978-01-01	Paper
An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)	1976-01-01	Paper
Un'estensione del teorema di Lob	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5184125	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5685131	1972-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giovanni Sambin