Representing Scott sets in algebraic settings. (English) Zbl 1408.03030
Summary: We prove that for every Scott set \(S\) there are \(S\)-saturated real closed fields and \(S\)-saturated models of Presburger arithmetic.
References:
| [1] | Belegradek O., Peterzil Y., Wagner F.: Quasi-o-minimal structures. J. Symb. Log. 65(3), 1115-1132 (2000) · Zbl 0968.03043 · doi:10.2307/2586690 |
| [2] | D’Aquino P., Knight J., Starchenko S.: Real closed fields and models of Peano arithmetic. J. Symb. Log. 75(1), 1-11 (2010) · Zbl 1186.03061 · doi:10.2178/jsl/1264433906 |
| [3] | D’Aquino, P., Kuhlmann, S., Lange, K.: A valuation theoretic characterization of recursively saturated real closed fields. J. Symb. Log. 80(1), 194-206 (2015) · Zbl 1372.03073 |
| [4] | Kaye, R.: Models of Peano Arithmetic, Oxford Logic Guides, vol. 15. Oxford Science Publications, The Clarendon Press, Oxford University Press, New York (1991) · Zbl 0744.03037 |
| [5] | Knight J., Nadel M.: Expansions of models and Turing degrees. J. Symb. Log. 47(3), 587-604 (1982) · Zbl 0527.03013 · doi:10.2307/2273590 |
| [6] | Knight J., Nadel M.: Models of arithmetic and closed ideals. J. Symb. Log. 47(4), 833-840 (1982) · Zbl 0518.03032 · doi:10.2307/2273102 |
| [7] | Macintyre A., Marker D.: Degrees of recursively saturated models. Trans. Am. Math. Soc. 282(2), 539-554 (1984) · Zbl 0557.03046 · doi:10.1090/S0002-9947-1984-0732105-5 |
| [8] | Marker, D.: Model Theory: An Introduction, Graduate Texts in Mathematics, vol. 217. Springer, New York (2002) · Zbl 1003.03034 |
| [9] | Scott, D.: Algebras of sets binumerable in complete extensions of arithmetic. 1962 Proc. Sympos. Pure Math., Vol. 5, pp. 117-121 American Mathematical Society, Providence, R.I · Zbl 0199.02601 |
| [10] | Wilmers, G.: Minimally saturated models, Model theory of algebra and arithmetic, Proc. Conf., Karpacz, 1979, pp. 370-380, Lecture Notes in Math., 834, Springer, Berlin (1980) · Zbl 0968.03043 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
