CARAI, LUCA
CARAI, LUCA
Dipartimento di Matematica Federigo Enriques
Failure of the Blok–Esakia Theorem in the monadic setting
2025 G. Bezhanishvili, L. Carai
Vietoris Endofunctor for Closed Relations and Its de Vries Dual
2024 M. Abbadini, G. Bezhanishvili, L. Carai
MacNeille completions of subordination algebras
2024 M. Abbadini, G. Bezhanishvili, L. Carai
Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
2024 G. Bezhanishvili, L. Carai, P.J. Morandi
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras
2023 N. Bezhanishvili, L. Carai, S. Ghilardi, L. Landi
A unified approach to Gelfand and de Vries dualities
2023 G. Bezhanishvili, L. Carai, P. Morandi, B. Olberding
A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ -Algebras
2023 G. Bezhanishvili, L. Carai, P. Morandi
A generalization of de Vries duality to closed relations between compact Hausdorff spaces
2023 M. Abbadini, G. Bezhanishvili, L. Carai
Temporal interpretation of monadic intuitionistic quantifiers
2023 G. Bezhanishvili, L. Carai
A new proof of the Joyal-Tierney theorem
2023 G. Bezhanishvili, L. Carai, P. Morandi
A frame-theoretic perspective on Esakia duality
2023 G. Bezhanishvili, L. Carai, P.J. Morandi
De Vries Powers and Proximity Specker Algebras
2023 G. Bezhanishvili, L. Carai, P. Morandi, B. Olberding
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
Diego’s Theorem for nuclear implicative semilattices
2020 G. Bezhanishvili, N. Bezhanishvili, L. Carai, D. Gabelaia, S. Ghilardi, M. Jibladze
Temporal interpretation of intuitionistic quantifiers
2020 G. Bezhanishvili, L. Carai
Characterization of metrizable Esakia spaces via some forbidden configurations
2019 G. Bezhanishvili, L. Carai
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
2019 L. Carai, S. Ghilardi