CARAI, LUCA
CARAI, LUCA
Dipartimento di Matematica Federigo Enriques
MacNeille completions of subordination algebras
2024 M. Abbadini, G. Bezhanishvili, L. Carai
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras
2023 N. Bezhanishvili, L. Carai, S. Ghilardi, L. Landi
A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ -Algebras
2023 G. Bezhanishvili, L. Carai, P. Morandi
A new proof of the Joyal-Tierney theorem
2023 G. Bezhanishvili, L. Carai, P. Morandi
A unified approach to Gelfand and de Vries dualities
2023 G. Bezhanishvili, L. Carai, P. Morandi, B. Olberding
Temporal interpretation of monadic intuitionistic quantifiers
2023 G. Bezhanishvili, L. Carai
De Vries Powers and Proximity Specker Algebras
2023 G. Bezhanishvili, L. Carai, P. Morandi, B. Olberding
A frame-theoretic perspective on Esakia duality
2023 G. Bezhanishvili, L. Carai, P.J. Morandi
A generalization of de Vries duality to closed relations between compact Hausdorff spaces
2023 M. Abbadini, G. Bezhanishvili, L. Carai
Modal operators on rings of continuous functions
2022 G. Bezhanishvili, L. Carai, P.J. Morandi
The Vietoris functor and modal operators on rings of continuous functions
2022 G. Bezhanishvili, L. Carai, P.J. Morandi
Duality for powerset coalgebras
2022 G. Bezhanishvili, L. Carai, P. Morandi
Free bounded archimedean ℓ -algebras
2021 G. Bezhanishvili, L. Carai, P.J. Morandi
Temporal interpretation of intuitionistic quantifiers
2020 G. Bezhanishvili, L. Carai
Diego’s Theorem for nuclear implicative semilattices
2020 G. Bezhanishvili, N. Bezhanishvili, L. Carai, D. Gabelaia, S. Ghilardi, M. Jibladze
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
2019 L. Carai, S. Ghilardi
Characterization of metrizable Esakia spaces via some forbidden configurations
2019 G. Bezhanishvili, L. Carai