Existentially Complete Abelian Lattice-Ordered Groups

DOI10.2307/1998328zbMath0482.06011OpenAlexW4230172459MaRDI QIDQ3939856

Keith R. Pierce, A. M. W. Glass

Publication date: 1980

Full work available at URL: https://doi.org/10.2307/1998328

zbMATH Keywords

model companionlattice-ordered Abelian groupsmodel completionexistentially complete groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model-theoretic forcing (03C25)

Related Items

Algebraically closed and existentially closed abelian lattice-ordered groups, Existentially complete lattice-ordered groups, Finitely Generic Abelian Lattice-Ordered Groups, Existential equivalence of ordered abelian groups with parameters, \(l\)-groups \(C(X)\) in continuous logic, Construction of existentially closed abelian lattice-ordered groups using upper extensions, Construction of existentially closed abelian lattice-ordered groups using Fraïssé limits, An example in the model theory of Abelian lattice-ordered groups, Model-theoretic and algorithmic questions in group theory, MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Complete theories
• Periodic existentially closed nilpotent groups
• Forcing, arithmetic, division rings
• Model theoretic algebra. Selected topics
• Existentially complete nilpotent groups
• Groupes et anneaux reticules
• The representation of biregular rings by sheaves
• Elementary Properties of Ordered Abelian Groups
• Regularly Ordered Groups
• Model-completeness for sheaves of structures
• Complete and model-complete theories of monadic algebras
• A characterization of companionable, universal theories
• Existentially complete torsion-free nilpotent groups
• Model-completions and modules
• Amalgamations of Lattice Ordered Groups
• The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements