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)
Full work available at URL: https://doi.org/10.1007/bf01630810
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, Primitive recursive reverse mathematics, HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?, Groundwork for weak analysis, Ordered Groups: A Case Study in Reverse Mathematics
Cites Work