Minimal prime ideals and arithmetic comprehension

DOI10.2307/2274904zbMath0734.03031OpenAlexW1992572940MaRDI QIDQ3360849

Kostas Hatzikiriakou

Publication date: 1991

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274904

zbMATH Keywords

reverse mathematicsminimal prime idealArithmetic Comprehension over \(RCA_ 0\)countable algebra in subsystems of second order arithmeticcountable commutative ring

Mathematics Subject Classification ID

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

Related Items (2)

Reverse mathematics and semisimple rings ⋮ Lifting proofs from countable to uncountable mathematics

Cites Work

• Countable algebra and set existence axioms
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?

This page was built for publication: Minimal prime ideals and arithmetic comprehension