Ordered fields satisfying Rolle's theorem

DOI10.1216/RMJ-1984-14-4-819zbMath0559.12012OpenAlexW1976804206MaRDI QIDQ802605

N. E. Zubov

Publication date: 1984

Published in: Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1216/rmj-1984-14-4-819

zbMATH Keywords

real closed fieldsordered fieldHenselian fieldformal derivativeRolle fieldlocal Witt ringsn-divisible value groupsreal closed residue class fieldsreduced theory of quadratic forms

Mathematics Subject Classification ID

Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Ordered fields (12J15) General binary quadratic forms (11E16)

Related Items (3)

Some new results on ordered fields ⋮ Simple axiomatizations of Rolle fields ⋮ On the strong separation conjecture

This page was built for publication: Ordered fields satisfying Rolle's theorem