Buchumschlag

A new categorial equivalence for Stone Algebras

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Calomino, Ismael, Pelaitay, Gustavo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Quasicomplemented distributive nearlattices
von: Calomino, Ismael
Veröffentlicht: (2025)

A Stone-type duality for semilattices with adjunctions
von: Gimenez, B., et al.
Veröffentlicht: (2024)

On Fidel Vakarelov construction for Monadic Godel algebras
von: Alonso, Maria Valentina, et al.
Veröffentlicht: (2024)

Cardinality and Representation of Stone Relation Algebras
von: Furusawa, Hitoshi, et al.
Veröffentlicht: (2023)

Effect Algebras as Omega-categories
von: Perticone, Lorenzo, et al.
Veröffentlicht: (2023)

A note on Stone-Čech compactification in ZFA
von: Przybyłek, Michał R.
Veröffentlicht: (2023)

Completeness of Relational Algebra via Cylindric Algebra
von: Laštovička, Jan
Veröffentlicht: (2026)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

Approximate equivalence relations
von: Hrushovski, Ehud
Veröffentlicht: (2024)

Topological Dualities for Modal Algebras
von: Collinson, Matthew
Veröffentlicht: (2026)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

Nonembeddings of Combinatory Algebras
von: Lutz, Patrick, et al.
Veröffentlicht: (2026)

Conjunctive Table Algebras
von: Kötters, Jens, et al.
Veröffentlicht: (2024)

The Algebras of Lewis's Counterfactuals
von: Rosella, Giuliano, et al.
Veröffentlicht: (2024)

Teasing apart definitional equivalence
von: Chen, Jason, et al.
Veröffentlicht: (2025)

Some remarks on lattices of equivalences
von: Herrmann, Christian
Veröffentlicht: (2025)

Graphings of arithmetical equivalence relations
von: Arant, Tyler
Veröffentlicht: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

A Proof Theory for Profinite Modal Algebras
von: De Berardinis, Matteo, et al.
Veröffentlicht: (2025)

On a Generalization of Heyting Algebras I
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2024)

On a Generalization of Heyting Algebras II
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2024)

An order analysis of hyperfinite Borel equivalence relations
von: Gao, Su, et al.
Veröffentlicht: (2024)

Categorial grammars with unique category assignment
von: Vishnikin, Maxim, et al.
Veröffentlicht: (2025)

The further study on the category of T-convergence groups
von: Li, Lingqiang, et al.
Veröffentlicht: (2024)

A Borel graphable equivalence relation with no Borel graphing of diameter two
von: Lutz, Patrick
Veröffentlicht: (2026)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2023)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2024)

A simple formalization of alpha-equivalence
von: Apinis, Kalmer, et al.
Veröffentlicht: (2025)

Universal categories
von: Schoutens, Hans
Veröffentlicht: (2025)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
von: Jana, Purbita, et al.
Veröffentlicht: (2025)

Characterizing Finitely Based Abelian Mal'cev Algebras
von: Muro, Mateo
Veröffentlicht: (2024)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
von: Hayashi, Daichi
Veröffentlicht: (2024)

Uniform Preorders and Partial Combinatory Algebras
von: Frey, Jonas
Veröffentlicht: (2024)

Morita Rigidity for Kleene Algebras
von: Serafin, Luke
Veröffentlicht: (2025)

A Diagrammatic Algebra for Program Logics
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

The Algebra of Parity Games
von: Piedeleu, Robin
Veröffentlicht: (2025)

Continuous Algebras with Hypotheses
von: Mulder, Lukas, et al.
Veröffentlicht: (2026)

The Algebra of Iterative Constructions
von: Batz, Kevin, et al.
Veröffentlicht: (2026)