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

DOI10.2307/2274059zbMATH Open0632.03046OpenAlexW4252249709MaRDI QIDQ3768896FDOQ3768896

Authors: Andrea Cantini 

Publication date: 1986

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

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

Recommendations

• A model of second-order arithmetic satisfying AC but not DC
• On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
• \(\Sigma^1_1\) choice in a theory of sets and classes
• scientific article; zbMATH DE number 500042
• scientific article; zbMATH DE number 4043837

zbMATH Keywords

comparison theoremcomprehensionchoicesecond order arithmetic

Mathematics Subject Classification ID

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

Cited In (16)

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

This page was built for publication: On the relation between choice and comprehension principles in second order arithmetic

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