Representing Scott sets in algebraic settings

作者:Dolich Alf; Knight Julia F; Lange Karen; Marker David*
来源:Archive for Mathematical Logic, 2015, 54(5-6): 631-637.
DOI:10.1007/s00153-015-0431-1

摘要

We prove that for every Scott set S there are S-saturated real closed fields and S-saturated models of Presburger arithmetic.

  • 出版日期2015-8