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

DOI10.1007/S00153-003-0206-YzbMATH Open1059.03069OpenAlexW2040234029MaRDI QIDQ701727FDOQ701727

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

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

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)

Cited In (4)

• Complex analysis in subsystems of second order arithmetic
• The polydisk nullstellensatz
• Nullstellensatz for real fields using model theory
• Title not available (Why is that?)

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)