Francesco Ciraulo

Available identifiers

zbMath Open ciraulo.francescoMaRDI QIDQ290641

List of research outcomes

Publication	Date of Publication	Type
Overlap Algebras as Almost Discrete Locales	2024-01-16	Paper
Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory	2023-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q5028461	2022-02-09	Paper
Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies	2021-10-29	Paper
Lindenbaum’s Lemma via Open Induction	2020-08-07	Paper
Solving Knights-and-Knaves with One Equation	2020-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q5216305	2020-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q5224156	2019-07-19	Paper
Overlap Algebras: a Constructive Look at Complete Boolean Algebras	2019-04-30	Paper
Embedding locales and formal topologies into positive topologies	2019-01-14	Paper
$\sigma$-locales in Formal Topology	2018-01-29	Paper
Positivity relations on a locale	2016-06-03	Paper
Intuitionistic overlap structures	2015-04-09	Paper
Constructive version of Boolean algebra	2013-06-11	Paper
Regular opens in constructive topology and a representation theorem for overlap algebras	2013-03-15	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 constructive investigation of satisfiability	2011-12-12	Paper
A Class of Imprimitive Groups	2010-10-20	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
A constructive semantics for non‐deducibility	2008-03-07	Paper

Research outcomes over time

This page was built for person: Francesco Ciraulo