Canonical extensions and ultraproducts of polarities
From MaRDI portal
Publication:1800462
DOI10.1007/s00012-018-0562-4OpenAlexW2756920211MaRDI QIDQ1800462
Publication date: 24 October 2018
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1709.09798
latticeGalois connectionMacNeille completioncompletionultraproductpolaritycanonical extensioncanonical varietyHanf numberlattice-based algebra
Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Lattices and duality (06D50) Ultraproducts and related constructions (03C20) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (5)
Canonical extensions of lattices are more than perfect ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ Definable operators on stable set lattices ⋮ Modal Logics of Some Hereditarily Irresolvable Spaces
Cites Work
- Relational semantics for full linear logic
- Bare canonicity of representable cylindric and polyadic algebras
- A fresh perspective on canonical extensions for bounded lattices.
- Algorithmic correspondence and canonicity for distributive modal logic
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
- Distributive envelopes and topological duality for lattices via canonical extensions.
- Canonical extensions of posets.
- A dichotomy for some elementarily generated modal logics
- Canonical extensions and canonicity via dcpo presentations
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
- Canonical extensions for congruential logics with the deduction theorem
- Duality and canonical extensions for stably compact spaces
- On canonicity of poset expansions
- A Sahlqvist theorem for distributive modal logic
- Generalising canonical extension to the categorical setting
- On profinite completions and canonical extensions
- Profinite completions and canonical extensions of Heyting algebras
- Generalized Kripke frames
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
- Canonical extensions and relational representations of lattices with negation
- A topological representation of lattices
- An axiom system for the modular logic
- A topological representation theory for lattices
- On the canonicity of Sahlqvist identities
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
- Model theory
- The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators.
- Elementary generation and canonicity for varieties of Boolean algebras with operators
- \(\Delta_1\)-completions of a poset.
- Topological duality and lattice expansions. I: A topological construction of canonical extensions.
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
- Duality for double quasioperator algebras via their canonical extensions
- Topo-canonical completions of closure algebras and Heyting algebras
- Canonical extensions and profinite completions of semilattices and lattices
- A topological duality for posets
- A Henkin completeness theorem for T
- Varieties of complex algebras
- Boolean topological distributive lattices and canonical extensions
- The algebra of topology
- Categories: How I Learned to Stop Worrying and Love Two Sorts
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
- A View of Canonical Extension
- Fixed point algebras
- A Finitely Generated Modular Ortholattice
- On Some Completeness Theorems in Modal Logic
- Sheaf Constructions and Their Elementary Properties
- Erdős Graphs Resolve Fine's Canonicity Problem
- Logics containing K4. Part I
- Bounded distributive lattice expansions
- Generalized Kripke semantics for the Lambek-Grishin calculus
- Metamathematics of modal logic
- Reconciliation of approaches to the construction of canonical extensions of bounded lattices
- Canonical Extensions, Esakia Spaces, and Universal Models
- Canonical varieties with no canonical axiomatisation
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Semantic analysis of tense logics
- MacNeille completions and canonical extensions
- Canonical extensions and relational completeness of some substructural logics
- The completeness of the first-order functional calculus
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Bounded lattice expansions
- A Finitely Generated Modular Ortholattice
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Canonical extensions and ultraproducts of polarities
