The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic

DOI10.1007/S00153-003-0206-YMaRDI QIDQ701727zbMATH OpenOpenAlexFDO

Authors Nobuyuki Sakamoto, Kazuyuki Tanaka

Publication date 16 December 2004

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-003-0206-y

zbMATH Keywords

reverse mathematicssecond-order arithmeticquantifier eliminationHilbert's Nullstellensatzalgebraically closed fieldsreal-closed fields

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10)

Recommendations

• Nullstellensatz for real fields using model theory
• Publication:5751006
• scientific article; zbMATH DE number 2236646
• Null- and Positivstellensätze for generalized real closed fields
• scientific article; zbMATH DE number 5195

Cited in

(4)

• Complex analysis in subsystems of second order arithmetic
• The polydisk nullstellensatz
• Nullstellensatz for real fields using model theory
• scientific article; zbMATH DE number 2236646 (Why is no real title available?)

This page was built for publication: The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic

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