Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
From MaRDI portal
Publication:2640598
DOI10.1007/BF01630810zbMath0721.03042MaRDI QIDQ2640598
Publication date: 1989
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
reverse mathematics; \(\Sigma ^ 0_ 1\)-induction principle; \(RCA^ *_ 0\); fundamental structure theorem for finitely generated abelian groups
03F35: Second- and higher-order arithmetic and fragments
Related Items
REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION, Groundwork for weak analysis, Ordered Groups: A Case Study in Reverse Mathematics
Cites Work