MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

DOI10.1017/JSL.2022.1MaRDI QIDQ5879189zbMATH OpenOpenAlexFDO

Authors George Metcalfe, Luca Reggio

Publication date 27 February 2023

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

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

zbMATH Keywords

equationally definable principal congruenceslattice-ordered abelian groupmodel completionMV-algebraresiduated latticeuniversal class

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Equational classes, universal algebra in model theory (03C05) Quantifier elimination, model completeness, and related topics (03C10) Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64) MV-algebras (06D35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Recommendations

• Model completion of varieties of co-Heyting algebras
• Uniform interpolation and compact congruences
• Model completions and r-Heyting categories
• Classes of algebras that are not closed under completions
• scientific article; zbMATH DE number 57850

Cites work

• A characterization of companionable, universal theories
• A course in model theory
• A finite basis theorem for quasivarieties
• A note on the congruence extension property
• Adding structure to MV-algebras
• Algebraic foundations of many-valued reasoning
• Algebras Whose Congruence Lattices are Distributive.
• Amalgamation and interpolation in ordered algebras.
• Amalgamations of Lattice Ordered Groups
• Bounded lattice expansions
• Canonical extensions, Esakia spaces, and universal models
• Existentially Complete Abelian Lattice-Ordered Groups
• scientific article; zbMATH DE number 5772813 (Why is no real title available?)
• scientific article; zbMATH DE number 3664918 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 192848 (Why is no real title available?)
• scientific article; zbMATH DE number 3564964 (Why is no real title available?)
• scientific article; zbMATH DE number 1344825 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• Metamathematics of fuzzy logic
• Minimal varieties of residuated lattices
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
• Model completion of varieties of co-Heyting algebras
• Model completions and omitting types
• Model completions and r-Heyting categories
• Model theory.
• Model-companions and definability in existentially complete structures
• Model-completions and modules
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On the structure of varieties with equationally definable principal congruences. II
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• The Conrad program: from \(l\)-groups to algebras of logic.
• THE STRUCTURE OF RESIDUATED LATTICES
• Uniform congruence schemes
• Uniform interpolation and coherence
• Varieties with equationally definable principal congruences

Cited in

(5)

• Uniform interpolation and compact congruences
• The Model Completion of the Class of ℒ-Structures
• Flat algebras and the translation of universal Horn logic to equational logic
• Model completions for universal classes of algebras: necessary and sufficient conditions
• Amalgamation through quantifier elimination for varieties of commutative residuated lattices

This page was built for publication: MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5879189)