EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES

DOI10.1017/jsl.2019.71zbMath1453.06008arXiv1702.08352OpenAlexW2602816901WikidataQ127023284 ScholiaQ127023284MaRDI QIDQ5207566

Luca Carai, Silvio Ghiraldi

Publication date: 10 January 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.08352

zbMATH Keywords

finite dualityexistentially closed structureBrouwerian semilattice

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Semilattices (06A12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite axiomatizations for existentially closed posets and semilattices
• Model theory.
• Model-companions and definability in existentially complete structures
• Model completions and r-Heyting categories
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Representation of Hilbert algebras and implicative semilattices
• Esakia style duality for implicative semilattices
• Interpolation in fragments of intuitionistic propositional logic
• Brouwerian Semilattices
• Model-completion of varieties of co-Heyting algebras
• Monadic second order logic as the model companion of temporal logic
• Implicative Semi-Lattices
• The decidability of certain intermediate propositional logics
• A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS