The following pages link to (Q4040375):
Displaying 40 items.
- An extension of the omega-rule (Q283132) (← links)
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
- An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
- Proof-theoretic analysis of KPM (Q803124) (← links)
- Ordinal notations based on a weakly Mahlo cardinal (Q920986) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- Patterns of resemblance of order 2 (Q1011757) (← links)
- A slow growing analogue to Buchholz' proof (Q1182465) (← links)
- Proof-theoretic investigations on Kruskal's theorem (Q1210137) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- A proof-theoretical analysis of ptykes (Q1322455) (← links)
- Proof theory of reflection (Q1332853) (← links)
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- A Buchholz rule for modal fixed point logics (Q1942334) (← links)
- Well-partial-orderings and the big Veblen number (Q2257112) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- A Buchholz derivation system for the ordinal analysis of <b>KP</b> + Π<sub>3</sub>-reflection (Q3416113) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- (Q3800031) (← links)
- The role of parameters in bar rule and bar induction (Q3984445) (← links)
- Ordinal diagrams for Π<sub>3</sub>-reflection (Q4527929) (← links)
- Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger (Q4726251) (← links)
- Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894) (← links)
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension (Q5013904) (← links)
- Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion (Q5013914) (← links)
- Lorenzen and Constructive Mathematics (Q5024724) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- Induction and inductive definitions in fragments of second order arithmetic (Q5486242) (← links)
- Elementary patterns of resemblance (Q5935985) (← links)
- Two applications of analytic functors (Q5958294) (← links)
- Some set-theoretic reduction principles (Q6612880) (← links)
