scientific article; zbMATH DE number 2236646

MaRDI QIDQ5711897zbMATH OpenFDO

Authors Kazuyuki Tanaka, Takeshi Yamazaki

Publication date 8 December 2005

zbMATH Keywords

algebraically closed fieldcomplex number systemreal closed fieldreal number systemreverse mathematics

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic
• scientific article; zbMATH DE number 3924748
• Representations of Reals in Reverse Mathematics
• Generalizing theorems in real closed fields
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction

Cited in

(1)

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

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 Q5711897)