A VALUATION THEORETIC CHARACTERIZATION OF RECURSIVELY SATURATED REAL CLOSED FIELDS
From MaRDI portal
Publication:5251364
DOI10.1017/jsl.2014.21zbMath1372.03073arXiv1212.6842OpenAlexW2109976657MaRDI QIDQ5251364
Salma Kuhlmann, Karen Lange, Paola D'Aquino
Publication date: 20 May 2015
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1212.6842
Scott setsrecursive saturationvalue groupresidue fieldpseudo-Cauchy sequencesnatural valuationvaluation rank
Model-theoretic algebra (03C60) Computable structure theory, computable model theory (03C57) Ordered fields (12J15) General valuation theory for fields (12J20)
Related Items
Cites Work