Cover Image

On the axiomatisability of the dual of compact ordered spaces

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Abbadini, Marco
Format:	Preprint
Published:	2025
Subjects:	Category Theory General Topology Logic Primary 06F30, Secondary 06D50, 18C05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
by: Abbadini, Marco, et al.
Published: (2025)

On the symmetry behind duality
by: Abbadini, Marco, et al.
Published: (2025)

Esakia order-compactifications and locally Esakia spaces
by: Almeida, Rodrigo Nicolau, et al.
Published: (2025)

The DeMorganization of a locale
by: Arrieta, Igor
Published: (2024)

First-order homotopical logic
by: Helfer, Joseph
Published: (2019)

On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)

Unital Specker $\ell$-groups and boolean multispaces
by: Abbadini, Marco, et al.
Published: (2025)

Barr-coexactness for metric compact Hausdorff spaces
by: Abbadini, Marco, et al.
Published: (2024)

Algebraic $K$-theory of stably compact spaces
by: Lehner, Georg
Published: (2026)

Stone-Gelfand duality for metrically complete lattice-ordered groups
by: Abbadini, Marco, et al.
Published: (2022)

Semiframes: the algebra of semitopologies and actionable coalitions
by: Gabbay, Murdoch J.
Published: (2023)

Generic bundles over a localic category
by: Manuell, Graham, et al.
Published: (2026)

Notes on some categories related to that of finite totally ordered sets
by: Matsuoka, Takuo
Published: (2025)

On non-archimedean frames
by: Ávila, Francisco, et al.
Published: (2023)

Joins of closed sublocales are not always a coframe
by: Arrieta, Igor
Published: (2025)

Algebraic $K$-theory of coherent spaces
by: Lehner, Georg
Published: (2025)

El mar que envuelve a las piedras: espacios de Stone, profinitos y su papel en la aritmética contemporánea
by: Pérez-Buendía, J. R.
Published: (2025)

Discontinuous actions on cones, joins, and $n$-universal bundles
by: Chirvasitu, Alexandru
Published: (2025)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

Saturation and isomorphism of abstract harmonic spaces
by: Wang, Haoming
Published: (2026)

Isometry groups of Polish ultrametric spaces
by: Camerlo, Riccardo, et al.
Published: (2025)

Strictly zero-dimensional biframes and Raney extensions
by: Suarez, Anna Laura
Published: (2025)

Kuratowski Monoids on Posets
by: Bowron, Mark
Published: (2025)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

Topological lax comma categories
by: Clementino, Maria Manuel, et al.
Published: (2025)

Priestley perspective on pointfree topology
by: Bezhanishvili, Guram, et al.
Published: (2025)

Algebraic Frames in Priestley duality
by: Bezhanishvili, G., et al.
Published: (2023)

Deriving dualities in pointfree topology from Priestley duality
by: Bezhanishvili, G., et al.
Published: (2022)

What is Connectivity?
by: Plessis, Jean F. Du, et al.
Published: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

Involutive quantales and quantale-enriched involutive topological spaces
by: García, Javier Gutiérrez, et al.
Published: (2025)

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
by: Quigley, Daniel
Published: (2024)

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)

Hofmann-Mislove through the Lenses of Priestley
by: Bezhanishvili, G., et al.
Published: (2022)

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

Many subalgebras of $\mathcal{P}(ω)/\mathit{fin}$
by: Hart, Klaas Pieter
Published: (2023)

The Szymczak Functor on the Category of Finite Sets and Finite Relations
by: Przybylski, Mateusz, et al.
Published: (2022)

Measure theory via Locales
by: Lehner, Georg
Published: (2025)

On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)