Algebraic disguises of \(\Sigma ^ 0_ 1\) induction

DOI10.1007/BF01630810zbMath0721.03042OpenAlexW1970805280MaRDI QIDQ2640598

Kostas Hatzikiriakou

Publication date: 1989

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01630810

zbMATH Keywords

reverse mathematics\(\Sigma ^ 0_ 1\)-induction principle\(RCA^ *_ 0\)fundamental structure theorem for finitely generated abelian groups

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (5)

Ordered Groups: A Case Study in Reverse Mathematics ⋮ Primitive recursive reverse mathematics ⋮ HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? ⋮ REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION ⋮ Groundwork for weak analysis

Cites Work

• Countable algebra and set existence axioms
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic disguises of \(\Sigma ^ 0_ 1\) induction