Algebraic disguises of \(\Sigma ^ 0_ 1\) induction (Q2640598): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Countable algebra and set existence axioms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3481699 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5795154 / rank | |||
Normal rank |
Revision as of 14:33, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic disguises of \(\Sigma ^ 0_ 1\) induction |
scientific article |
Statements
Algebraic disguises of \(\Sigma ^ 0_ 1\) induction (English)
0 references
1989
0 references
This paper contributes new facts to the growing body of results in ``reverse mathematics'' concerned with the very weakest theories; a general description of the underlying program is found in a paper by \textit{S. G. Simpson} [Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N. Y. 1982, Proc. Symp. Pure Math. 42, 461-471 (1985; Zbl 0578.03005)]. Many results in countable algebra were analyzed by \textit{H. Friedman}, \textit{S. G. Simpson} and \textit{R. L. Smith} [Ann. Pure Appl. Logic 25, 141-181 (1983; Zbl 0575.03038)] as to their equivalence to the set existence principles of one of the basic theories used in the program. In a paper by \textit{S. G. Simpson} and \textit{R. L. Smith} [ibid. 31, 289-306 (1986; Zbl 0603.03019)] the system \(RCA^*_ 0\) was introduced, and the authors established that the \(\Sigma\) \({}^ 0_ 1\)-induction principle is equivalent over \(RCA^*_ 0\) to a number of basic lemmas about polynomials in one variable over a countable field. In the paper under review it is proved, as the main theorem, that \(\Sigma^ 0_ 1\)- induction is equivalent over RCA\({}^*_ 0\) to the fundamental structure theorem for finitely generated abelian groups.
0 references
reverse mathematics
0 references
\(\Sigma ^ 0_ 1\)-induction principle
0 references
\(RCA^ *_ 0\)
0 references
fundamental structure theorem for finitely generated abelian groups
0 references