scientific article; zbMATH DE number 1303208

MaRDI QIDQ4249731zbMATH OpenFDO

Authors

Publication date 9 January 2000

zbMATH Keywords

countable algebraic structuresreverse mathematicsset-existence axiomssubsystems of second-order arithmeticsurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
• Countable algebra and set existence axioms
• Minimal prime ideals and arithmetic comprehension
• scientific article; zbMATH DE number 3924748
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Invariants, Boolean algebras and ACA₀⁺
• Set existence principles and closure conditions: unravelling the standard view of reverse mathematics
• Reverse mathematics, countable and uncountable
• scientific article; zbMATH DE number 2236636
• Reverse Mathematics and Ordinal Multiplication

Cited in

(7)

• Countable algebra and set existence axioms
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Hyperhypersimple sets and \(\Delta _ 2\) systems
• Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
• Lifting proofs from countable to uncountable mathematics
• scientific article; zbMATH DE number 3924748 (Why is no real title available?)
• Reverse mathematics and algebraic field extensions

This page was built for publication:

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