EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES
From MaRDI portal
Publication:5207566
DOI10.1017/jsl.2019.71zbMath1453.06008arXiv1702.08352OpenAlexW2602816901WikidataQ127023284 ScholiaQ127023284MaRDI QIDQ5207566
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
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
