scientific article; zbMATH DE number 1082910

MaRDI QIDQ4365300zbMATH OpenFDO

Authors Charles N. Delzell

Publication date 4 November 1997

zbMATH Keywords

Artin's theoremArtin-Schreier theoryconstructivityunwinding

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Other constructive mathematics (03F65) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)

Recommendations

• scientific article; zbMATH DE number 1141703
• Constructive rereading of Artin-Schreier theory
• scientific article; zbMATH DE number 2182805
• A continuous, constructive solution to Hilbert's \(17^{th}\) problem

Cited in

(11)

• Constructive rereading of Artin-Schreier theory
• Construction of the Henselization of a valued field
• Eliminating disjunctions by disjunction elimination
• Cut elimination for entailment relations
• An algorithm for decomposing a non-negative polynomial as a sum of squares of rational functions
• Constructive deciphering of classical proofs: the Artin theorem in Galois theory
• scientific article; zbMATH DE number 1141703 (Why is no real title available?)
• An Intuitionistic Axiomatisation of Real Closed Fields
• Some logical metatheorems with applications in functional analysis
• An elementary recursive bound for effective Positivstellensatz and Hilbert's 17th problem
• Eliminating disjunctions by disjunction elimination

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4365300)