\(l\)-groups \(C(X)\) in continuous logic

DOI10.1007/s00153-017-0566-3zbMath1446.03072OpenAlexW2626714015MaRDI QIDQ1745350

Philip Scowcroft

Publication date: 17 April 2018

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-017-0566-3

zbMATH Keywords

lattice-ordered groupexistentially closedcontinuous logic

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (5)

Decision procedures for the conditions true in certain metric structures ⋮ $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit ⋮ The Keisler order in continuous logic ⋮ New axioms for the lattice-ordered groups existentially closed in $\mathbf W^+$ ⋮ Preservation properties for products and sums of metric structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Saturation and elementary equivalence of \(C^\ast\)-algebras
• Some model-theoretic correspondences between dimension groups and AF algebras
• Projective topological spaces
• An example in the model theory of Abelian lattice-ordered groups
• Some applications of the ultrapower theorem to the theory of compacta
• Concrete representation of abstract (M)-spaces. (A characterization of the space of continuous functions.)
• Concrete representation of (M)-spaces
• Finitely Generic Abelian Lattice-Ordered Groups
• Existentially Complete Abelian Lattice-Ordered Groups
• Almost-P-Spaces
• Remarks on dyadic spaces, II

This page was built for publication: \(l\)-groups \(C(X)\) in continuous logic