Model completions for universal classes of algebras: necessary and sufficient conditions

Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras that have equationally definable principal congruences and the compact intersection property, these conditions yield a more elegant characterization obtained (in a slightly more restricted setting) by Ghilardi and Zawadowski. Moreover, it is shown that under certain further assumptions on congruence lattices, the existence of a model completion implies that the variety has equationally definable principal congruences. This result is then used to provide necessary and sufficient conditions for the existence of a model completion for theories of Hamiltonian varieties of pointed residuated lattices, a broad family of varieties that includes latticeordered abelian groups and MV-algebras. Notably, if the theory of a Hamiltonian variety of pointed residuated lattices admits a model completion, it must have equationally definable principal congruences. In particular, the theories of lattice-ordered abelian groups and MV-algebras do not have a model completion, as first proved by Glass and Pierce, and Lacava, respectively. Finally, it is shown that certain varieties of pointed residuated lattices generated by their linearly ordered members, including lattice-ordered abelian groups and MV-algebras, can be extended with a binary operation in order to obtain theories that do have a model completion. §

[1]  K. A. Baker,et al.  Primitive satisfaction and equational problems for lattices and other algebras , 1974 .

[2]  Markus Junker,et al.  Model-completion of varieties of co-Heyting algebras , 2010 .

[3]  C. Tsinakis,et al.  AMALGAMATION AND INTERPOLATION IN ORDERED ALGEBRAS , 2014 .

[4]  Kerstin Vogler,et al.  Algebraic Foundations Of Many Valued Reasoning , 2016 .

[5]  W. Blok,et al.  A finite basis theorem for quasivarieties , 1986 .

[6]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[7]  Peter Jipsen,et al.  Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .

[8]  W. Wheeler.  Model-companions and definability in existentially complete structures , 1976 .

[9]  Per Lindström.  On Model‐Completeness , 2008 .

[10]  William H. Wheeler.  A Characterization of Companionable, Universal Theories , 1978, J. Symb. Log..

[11]  Lianzhen Liu,et al.  The Conrad Program: From ℓ-groups to algebras of logic , 2016, 1810.01120.

[12]  Silvio Ghilardi,et al.  Sheaves, games, and model completions - a categorical approach to nonclassical propositional logics , 2011, Trends in logic.

[13]  Keith R. Pierce,et al.  Existentially complete abelian lattice-ordered groups , 1980 .

[14]  Guram Bezhanishvili.  Leo Esakia on duality in modal and intuitionistic logics , 2014 .

[15]  Terrence Millar.  Model completions and omitting types , 1995 .

[16]  Andrew M. Pitts,et al.  On an interpretation of second order quantification in first order intuitionistic propositional logic , 1992, Journal of Symbolic Logic.

[17]  Paul C. Eklof,et al.  Model-completions and modules , 1971 .

[18]  Keith R. Pierce.  Amalgamations of lattice ordered groups , 1972 .

[19]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[20]  Todd Feil,et al.  Lattice-Ordered Groups: An Introduction , 2011 .

[21]  B. Jonnson.  Algebras Whose Congruence Lattices are Distributive. , 1967 .

[22]  F. Montagna,et al.  Adding structure to MV-algebras , 2001 .

[23]  A. M. W. Glass,et al.  Partially Ordered Groups , 1999 .

[24]  G. Fitzgerald,et al.  'I. , 2019, Australian journal of primary health.

[25]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[26]  Francesco Paoli,et al.  Ordered Algebras and Logic , 2010 .

[27]  Constantine Tsinakis,et al.  The Structure of Residuated Lattices , 2003, Int. J. Algebra Comput..

[28]  Wilfrid Hodges,et al.  A Shorter Model Theory , 1997 .

[29]  PETE L. CLARK,et al.  COURSE ON MODEL THEORY , 2012 .

[30]  Alan Day,et al.  A note on the congruence extension property , 1971 .

[31]  George Grätzer,et al.  Uniform congruence schemes , 1980 .

[32]  P. Köhler,et al.  Varieties with equationally definable principal congruences , 1980 .

[33]  M. Gehrke,et al.  Bounded Lattice Expansions , 2001 .

[34]  P. Köhler,et al.  On the structure of varieties with equationally definable principal congruences II , 1984 .

[35]  Tomasz Kowalski,et al.  Uniform interpolation and coherence , 2018, Ann. Pure Appl. Log..