On the relation between choice and comprehension principles in second order arithmetic

DOI10.2307/2274059zbMath0632.03046OpenAlexW4252249709MaRDI QIDQ3768896

Andrea Cantini

Publication date: 1986

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

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

zbMATH Keywords

choicecomparison theoremcomprehensionsecond order arithmetic

Mathematics Subject Classification ID

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

Related Items

Understanding uniformity in Feferman's explicit mathematics, The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice, Derivatives of normal functions in reverse mathematics, A note on the theory of positive induction, \({{\text{ID}}^*_1}\), An ordinal analysis for theories of self-referential truth, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION, A flexible type system for the small Veblen ordinal, Systems of explicit mathematics with non-constructive \(\mu\)-operator and join, Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$, Universes over Frege structures, A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection