Minimal prime ideals and arithmetic comprehension

DOI10.2307/2274904MaRDI QIDQ3360849zbMATH OpenOpenAlexFDO

Authors 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

Arithmetic Comprehension over \(RCA_ 0\)countable algebra in subsystems of second order arithmeticcountable commutative ringminimal prime idealreverse mathematics

Mathematics Subject Classification ID

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

Recommendations

• Chain conditions in computable rings
• Ideals in computable rings
• Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
• The computability, definability, and proof theory of Artinian rings
• scientific article; zbMATH DE number 3924748

Cites work

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

Cited in

(19)

• Countable algebra and set existence axioms
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Whitehead's problem and reverse mathematics
• The computability, definability, and proof theory of Artinian rings
• Reverse mathematics and semisimple rings
• Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
• Lifting proofs from countable to uncountable mathematics
• Uniform versions of some axioms of second order arithmetic
• REVERSE MATHEMATICS OF MF SPACES
• scientific article; zbMATH DE number 1303208 (Why is no real title available?)
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3360849)