Pages that link to "Item:Q1302306"
From MaRDI portal
The following pages link to Bar induction and \(\omega\) model reflection (Q1302306):
Displaying 12 items.
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- Deduction chains for common knowledge (Q2506830) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS (Q4692081) (← links)
- Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344) (← links)
- Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction (Q5294020) (← links)
- Reducing ω-model reflection to iterated syntactic reflection (Q6038474) (← links)
- Generalized fusible numbers and their ordinals (Q6050166) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
