The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic (Q701727): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 01:01, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic |
scientific article |
Statements
The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic (English)
0 references
16 December 2004
0 references
The authors extend previous work by \textit{S. G. Simpson} and \textit{K. Tanaka} [Proceedings of the fourth Asian logic conference, Tokyo, 1990] and \textit{K. Tanaka} and \textit{T. Yamizaki} [in: S. G. Simpson (ed.), Reverse mathematics 2001 (to appear)], proving strong soundness theorems for satisfaction predicates for the reals and the complex numbers. Applying their results, they prove a version of Hilbert's Nullstellensatz for complex polynomials in RCA\(_0\).
0 references
second-order arithmetic
0 references
reverse mathematics
0 references
real-closed fields
0 references
algebraically closed fields
0 references
Hilbert's Nullstellensatz
0 references
quantifier elimination
0 references
