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

DOI10.1007/S00153-003-0206-YzbMath1059.03069OpenAlexW2040234029MaRDI QIDQ701727

Kazuyuki Tanaka, Nobuyuki Sakamoto

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

quantifier eliminationreverse mathematicssecond-order arithmeticHilbert's Nullstellensatzalgebraically closed fieldsreal-closed fields

Mathematics Subject Classification ID

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

Related Items (1)

Complex analysis in subsystems of second order arithmetic

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