The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic (Q701727): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s00153-003-0206-y / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2040234029 / rank | |||
Normal rank | |||
Revision as of 23:08, 19 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
