Addendum to ``Countable algebra and set existence axioms

DOI10.1016/0168-0072(85)90020-XzbMath0575.03039WikidataQ114684044 ScholiaQ114684044MaRDI QIDQ1063594

Stephen G. Simpson, Harvey M. Friedman, Rick L. Smith

Publication date: 1985

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

reverse mathematicssecond-order arithmeticcomprehensionencoding of structuresweakest possible subsystem

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction, Periodic points and subsystems of second-order arithmetic, The computability, definability, and proof theory of Artinian rings, On the complexity of radicals in noncommutative rings, The Galvin-Prikry theorem and set existence axioms, \(\text{WKL}_ 0\) and Stone's separation theorem for convex sets, Infinite dimensional proper subspaces of computable vector spaces, Reverse Mathematics of Matroids, Ideals in computable rings, Borel quasi-orderings in subsystems of second-order arithmetic, The complexity of module radicals, Chain conditions in computable rings, Hyperarithmetical relations in expansions of recursive structures

Cites Work

• Countable algebra and set existence axioms
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies