Reverse mathematics and well-ordering principles
From MaRDI portal
Publication:2906572
Recommendations
Cited in
(24)- Functorial Fast-Growing Hierarchies
- scientific article; zbMATH DE number 2236630 (Why is no real title available?)
- Bishop-Style Constructive Reverse Mathematics
- Degrees bounding principles and universal instances in reverse mathematics
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY
- On some properties of reverse Polish notation
- Reverse mathematics and well-ordering principles: a pilot study
- The reverse mathematics of wqos and bqos
- Derivatives of normal functions and \(\omega \)-models
- scientific article; zbMATH DE number 2236637 (Why is no real title available?)
- Reverse mathematics and ordinal exponentiation
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- Predicative collapsing principles
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- \(\Pi_1^1\)-comprehension as a well-ordering principle
- Reverse mathematics: the playground of logic
- On the logical strength of the better quasi order with three elements
- Computable aspects of the Bachmann-Howard principle
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension
- Reverse mathematics of separably closed sets
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
- Reverse mathematics and properties of finite character
- Proof-theoretic strengths of the well-ordering principles
- scientific article; zbMATH DE number 619555 (Why is no real title available?)
This page was built for publication: Reverse mathematics and well-ordering principles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2906572)
