Existentially closed dimension groups
HTML articles powered by AMS MathViewer
- by Philip Scowcroft PDF
- Trans. Amer. Math. Soc. 364 (2012), 1933-1974 Request permission
Abstract:
A partially ordered Abelian group $\mathcal {M}$ is algebraically (existentially) closed in a class $\mathcal {C}\ni \mathcal {M}$ of such structures just in case any finite system of weak inequalities (and negations of weak inequalities), defined over $\mathcal {M}$, is solvable in $\mathcal {M}$ if solvable in some $\mathcal {N}\supseteq \mathcal {M}$ in $\mathcal {C}$. After characterizing existentially closed dimension groups this paper derives amalgamation properties for dimension groups, dimension groups with order unit, and simple dimension groups. By determining the quantifier-free types that may be isolated by existential formulas the paper produces many pairwise nonembeddable countable finitely generic dimension groups. The paper also finds several elementary properties distinguishing finitely generic dimension groups among existentially closed dimension groups. The paper finally embeds nontrivial dimension groups functorially into existentially closed dimension groups.References
- Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson, and Alexander Usvyatsov, Model theory for metric structures, Model theory with applications to algebra and analysis. Vol. 2, London Math. Soc. Lecture Note Ser., vol. 350, Cambridge Univ. Press, Cambridge, 2008, pp. 315–427. MR 2436146, DOI 10.1017/CBO9780511735219.011
- Kim B. Bruce, Model-theoretic forcing in logic with a generalized quantifier, Ann. Math. Logic 13 (1978), no. 3, 225–265. MR 491860, DOI 10.1016/S0003-4843(78)80001-1
- George A. Elliott, On the classification of inductive limits of sequences of semisimple finite-dimensional algebras, J. Algebra 38 (1976), no. 1, 29–44. MR 397420, DOI 10.1016/0021-8693(76)90242-8
- L. Fuchs, Riesz vector spaces and Riesz algebras, Queen’s Papers in Pure and Applied Mathematics, No. 1, Queen’s University, Kingston, Ont., 1966. MR 0203436
- Wilfrid Hodges, Building models by games, London Mathematical Society Student Texts, vol. 2, Cambridge University Press, Cambridge, 1985. MR 812274
- Bjarni Jónsson and Philip Olin, Almost direct products and saturation, Compositio Math. 20 (1968), 125–132 (1968). MR 227004
- H. Jerome Keisler, Logic with the quantifier “there exist uncountably many”, Ann. Math. Logic 1 (1970), 1–93. MR 263616, DOI 10.1016/S0003-4843(70)80005-5
- Philip Scowcroft, A representation of convex semilinear sets, Algebra Universalis 62 (2009), no. 2-3, 289–327. MR 2661381, DOI 10.1007/s00012-010-0056-5
- P. Scowcroft, Some model-theoretic correspondences between dimension groups and AF algebras, Ann. Pure Appl. Logic $\mathbf {162}$ (2011), 755–785.
Additional Information
- Philip Scowcroft
- Affiliation: Department of Mathematics and Computer Science, Wesleyan University, Middletown, Connecticut 06459
- Email: pscowcroft@wesleyan.edu
- Received by editor(s): January 2, 2010
- Received by editor(s) in revised form: January 13, 2010, and May 23, 2010
- Published electronically: November 17, 2011
- © Copyright 2011 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 364 (2012), 1933-1974
- MSC (2010): Primary 03C60, 06F20; Secondary 03C25
- DOI: https://doi.org/10.1090/S0002-9947-2011-05382-1
- MathSciNet review: 2869195