On categorical structures arising from implicative algebras: From topology to assemblies

&
Annals of Pure and Applied Logic 175 (3):103390 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103390

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computably categorical Boolean algebras enriched by ideals and atoms.P. E. Alaev - 2012 - Annals of Pure and Applied Logic 163 (5):485-499.
ℵ0-Categorical, ℵ0-stable structures.G. Cherlin, L. Harrington & A. H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
Categorical linearly ordered structures.Rod Downey, Alexander Melnikov & Keng Meng Ng - 2019 - Annals of Pure and Applied Logic 170 (10):1243-1255.
ℵ0-Categorical, ℵ0-stable structures.Gregory Cherlin, Leo Harrington & Alistair H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
Model completions and r-Heyting categories.Silvio Ghilardi & Marek Zawadowski - 1997 - Annals of Pure and Applied Logic 88 (1):27-46.
On modal logics arising from scattered locally compact Hausdorff spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2019 - Annals of Pure and Applied Logic 170 (5):558-577.
Topology and duality in modal logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.
A construction of Boolean algebras from first-order structures.Sabine Koppelberg - 1993 - Annals of Pure and Applied Logic 59 (3):239-256.
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice.Joshua Brot, Mengyang Cao & David Fernández-Bretón - 2021 - Annals of Pure and Applied Logic 172 (6):102961.
Metric spaces in synthetic topology.Andrej Bauer & Davorin Lešnik - 2012 - Annals of Pure and Applied Logic 163 (2):87-100.

Analytics

Added to PP
2023-11-22

Downloads
23 (#705,674)

6 months
18 (#152,778)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A characterization of generalized existential completions.Maria Emilia Maietti & Davide Trotta - 2023 - Annals of Pure and Applied Logic 174 (4):103234.
Colimit completions and the effective topos.Edmund Robinson & Giuseppe Rosolini - 1990 - Journal of Symbolic Logic 55 (2):678-699.
Relative and modified relative realizability.Lars Birkedal & Jaap van Oosten - 2002 - Annals of Pure and Applied Logic 118 (1-2):115-132.

Add more references