论文信息 - Factorization of polynomials and Σ10 induction - 字舞流文

Factorization of polynomials and Σ10 induction

Stephen G. Simpson | Rick L. Smith | Rick L. Smith

[1] Jeff B. Paris,et al. Initial segments of models of Peano's axioms , 1977 .

[2] C. Parsons. On a Number Theoretic Choice Schema and its Relation to Induction , 1970 .

[3] J. Paris,et al. ∑n-Collection Schemas in Arithmetic , 1978 .

[4] Stephen G. Simpson,et al. Countable algebra and set existence axioms , 1983, Ann. Pure Appl. Log..

[5] J. Shepherdson,et al. Effective procedures in field theory , 1956, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[6] R. Soare,et al. Π⁰₁ classes and degrees of theories , 1972 .

[7] Stephen G. Simpson,et al. Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? , 1984, Journal of Symbolic Logic.