Cover Image

A Foundation for Synthetic Stone Duality

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cherubini, Felix, Coquand, Thierry, Geerligs, Freek, Moeneclaey, Hugo
Format:	Preprint
Published:	2024
Subjects:	Logic 03F65 (Primary) 03H05, 54A99, 55P99 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Foundation for Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2023)

Differential Geometry of Synthetic Schemes
by: Cherubini, Felix, et al.
Published: (2025)

Projective Space in Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2024)

Generalized Borel Sets
by: Agostini, Claudio, et al.
Published: (2025)

On Borel sets in ideal topologies
by: Moreno, Miguel, et al.
Published: (2025)

A Closer Look at the Russell Paradox
by: Sheridan, Flash
Published: (2021)

The definable content of homological invariants II: Čech cohomology and homotopy classification
by: Bergfalk, Jeffrey, et al.
Published: (2022)

Generalized Baire class functions
by: Ros, Luca Motto, et al.
Published: (2024)

The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)

Homotopy equivalence of digital pictures in $\mathbb{Z}^2$
by: Lee, Dae-Woong, et al.
Published: (2025)

Ramsey's coheirs
by: Colla, Eugenio, et al.
Published: (2019)

Hypercontact semilattices
by: Lipparini, Paolo
Published: (2023)

The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra
by: Pinsker, Michael, et al.
Published: (2025)

A Note About Models of Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)

An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)

Proof complexity of universal algebra in a CSP dichotomy proof
by: Gaysin, Azza
Published: (2024)

On Separating Wholeness Axioms
by: Jeon, Hanul
Published: (2023)

On the undefinability of pathological Banach spaces
by: Hamel, Clovis, et al.
Published: (2024)

On extendability to $F_σ$ ideals
by: Kwela, Adam
Published: (2021)

Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)

Almost refinement, reaping, and ultrafilter numbers
by: Brendle, Jörg, et al.
Published: (2024)

Around Eggleston Theorem
by: Michalski, Marcin, et al.
Published: (2023)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

Compactness in Constructive Mathematics via Affine Logic
by: Kasaura, Kazumi
Published: (2026)

Hindman and Owings-like theorems without the Axiom of Choice
by: Guzmán-Vega, José A., et al.
Published: (2026)

NTP2 topological structures
by: Guerrero, Pablo Andújar
Published: (2026)

Ranked Forcing and the Length of Generalized Borel Hierarchies
by: Chapman, Nick
Published: (2026)

Generic isomorphism classes of abelian groups
by: Darji, Udayan B., et al.
Published: (2023)

Increasing the second uniform indiscernible by strongly ssp forcing
by: De Bondt, Ben, et al.
Published: (2022)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)

Unboring ideals
by: Kwela, Adam
Published: (2021)

Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)

Synthetic Homotopy Theory
by: Wei, Yuhang
Published: (2024)

On algebraic sums, trees and ideals in the Cantor space
by: Michalski, Marcin, et al.
Published: (2024)

Cofinal families of finite VC-dimension
by: Ben-Neria, Omer, et al.
Published: (2025)

Logical Dependence of Physical Determinism on Set-theoretic Metatheory
by: Clarke-Doane, Justin
Published: (2025)

Model Theory of Local Real Closed SV-Rings of Finite Rank
by: Piepenborn, Ricardo Palomino
Published: (2024)

A well-quasi-order for continuous functions
by: Carroy, Raphaël, et al.
Published: (2024)

An ordinal analysis of CM and its extensions
by: Wang, Shuwei
Published: (2025)

Taylor Morphisms
by: Ng, Gabriel
Published: (2023)