\(l\)-groups \(C(X)\) in continuous logic
From MaRDI portal
Publication:1745350
DOI10.1007/s00153-017-0566-3zbMath1446.03072OpenAlexW2626714015MaRDI QIDQ1745350
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
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