A VALUATION THEORETIC CHARACTERIZATION OF RECURSIVELY SATURATED REAL CLOSED FIELDS

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

zbMATH Keywords

Scott setsrecursive saturationvalue groupresidue fieldpseudo-Cauchy sequencesnatural valuationvaluation rank

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Computable structure theory, computable model theory (03C57) Ordered fields (12J15) General valuation theory for fields (12J20)

Related Items (2)

On the value group of a model of Peano arithmetic ⋮ Representing Scott sets in algebraic settings

Cites Work

• On \(\eta_{\alpha}\)-groups and fields
• Embedding ordered fields in formal power series fields
• Value groups, residue fields, and bad places of rational function fields
• Unnamed Item

This page was built for publication: A VALUATION THEORETIC CHARACTERIZATION OF RECURSIVELY SATURATED REAL CLOSED FIELDS