A note on ordinal numbers and rings of formal power series

DOI10.1007/BF01270625zbMath0808.03042OpenAlexW2095579393MaRDI QIDQ1337497

Kostas Hatzikiriakou

Publication date: 4 December 1994

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

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

zbMATH Keywords

ring of formal power seriesfinitely generated idealsintrinsic logical strengthsubsystem of second-order arithmetic

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION

Cites Work

• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• On the theory of local rings
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Ordinal numbers and the Hilbert basis theorem

This page was built for publication: A note on ordinal numbers and rings of formal power series