Kagaku tetsugaku
Online ISSN : 1883-6461
Print ISSN : 0289-3428
ISSN-L : 0289-3428
[title in Japanese]
[in Japanese]
Author information
JOURNAL FREE ACCESS

2007 Volume 40 Issue 2 Pages 13-21

Details
Abstract
Reverse Mathematics is an ongoing research program on foundations of mathematics, whose aim is to find out what kinds of logical or set-theoretical hypotheses are necessary and sufficient to prove a theorem of ordinary mathematics. In this paper, we show that the fundamental theorem of algebra holds within RCA0, a weakest base theory of this program, by way of a combination of a nonstandard method and a conservation result on weak König's lemma.
Content from these authors
© THE PHILOSOPHY OF SCIENCE SOCIETY,JAPAN
Previous article Next article
feedback
Top