CARAI, LUCA
CARAI, LUCA
Dipartimento di Matematica Federigo Enriques
Epimorphisms between finitely generated algebras
2025 L. Carai, M. Kurtzhals, T. Moraschini
Failure of the Blok–Esakia Theorem in the monadic setting
2025 G. Bezhanishvili, L. Carai
A calculus for modal compact Hausdorff spaces
2025 N. Bezhanishvili, L. Carai, S. Ghilardi, Z. Zhao
On the universal theory of the free pseudocomplemented distributive lattice
2025 L. Carai, T. Moraschini
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
Vietoris Endofunctor for Closed Relations and Its de Vries Dual
2024 M. Abbadini, G. Bezhanishvili, L. Carai
A new proof of the Joyal-Tierney theorem
2023 G. Bezhanishvili, L. Carai, P. 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
De Vries Powers and Proximity Specker Algebras
2023 G. Bezhanishvili, L. Carai, P. Morandi, B. Olberding
A generalization of de Vries duality to closed relations between compact Hausdorff spaces
2023 M. Abbadini, G. Bezhanishvili, L. Carai
A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ -Algebras
2023 G. Bezhanishvili, L. Carai, P. Morandi
A frame-theoretic perspective on Esakia duality
2023 G. Bezhanishvili, L. Carai, P.J. Morandi
Temporal interpretation of monadic intuitionistic quantifiers
2023 G. Bezhanishvili, L. Carai
Duality for powerset coalgebras
2022 G. Bezhanishvili, L. Carai, P. Morandi
The Vietoris functor and modal operators on rings of continuous functions
2022 G. Bezhanishvili, L. Carai, P.J. Morandi
Modal operators on rings of continuous functions
2022 G. Bezhanishvili, L. Carai, P.J. 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