On the relation between choice and comprehension principles in second order arithmetic
From MaRDI portal
Recommendations
Cited in
(17)- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice
- Universes over Frege structures
- Understanding uniformity in Feferman's explicit mathematics
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection
- 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
- A flexible type system for the small Veblen ordinal
- Systems of explicit mathematics with non-constructive -operator and join
- ^1_1 choice in a theory of sets and classes
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- scientific article; zbMATH DE number 4029557 (Why is no real title available?)
- scientific article; zbMATH DE number 500042 (Why is no real title available?)
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$
- 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)
