Pages that link to "Item:Q1097882"
From MaRDI portal
The following pages link to An independence result for \((\Pi^ 1_ 1-CA)+BI\) (Q1097882):
Displaying 18 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
- Note on a proof of the extended Kirby-Paris theorem on labelled finite trees (Q1110524) (← links)
- A slow growing analogue to Buchholz' proof (Q1182465) (← links)
- Equational derivation vs. computation (Q1338198) (← links)
- A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem. (Q1399971) (← links)
- Die another day (Q2272192) (← links)
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- Pointwise Transfinite Induction and a Miniaturized Predicativity (Q3305563) (← links)
- Generalizations of the Kruskal-Friedman theorems (Q3491541) (← links)
- Natural well-orderings (Q3772212) (← links)
- Variations on a theme by Weiermann (Q4227873) (← links)
- (Q5009706) (← links)
- (Q5018496) (← links)
- (Q5101339) (← links)
- Tiered Arithmetics (Q5214784) (← links)
- Functorial Fast-Growing Hierarchies (Q6148467) (← links)
