Well Quasi-orderings and Roots of Polynomials in a Hahn Field

DOI10.1007/978-3-030-30229-0_5zbMath1496.03158OpenAlexW2998313675MaRDI QIDQ3295148

Karen Lange, Julia F. Knight

Publication date: 8 July 2020

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-30229-0_5

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered fields (12J15) Model theory of fields (12L12) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The relation between the height of a well-founded partial ordering and the order types of its chains and antichains
• Computable structures and the hyperarithmetical hierarchy
• Lengths of developments in \(K((G))\)
• Proof theory. An introduction
• Every real closed field has an integer part
• Models with compactness properties relative to an admissible language
• Associative Ordinal Functions, Well Partial Orderings and a Problem of Skolem
• Boolean models and infinitary first order languages
• Complexity of structures associated with real closed fields
• On Ordered Division Rings
• Arithmetic of ordinals with applications to the theory of ordered Abelian groups

This page was built for publication: Well Quasi-orderings and Roots of Polynomials in a Hahn Field