Pages that link to "Item:Q1097882"
From MaRDI portal
The following pages link to An independence result for \((\Pi^ 1_ 1-CA)+BI\) (Q1097882):
Displayed 10 items.
- 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)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- Generalizations of the Kruskal-Friedman theorems (Q3491541) (← links)
- Natural well-orderings (Q3772212) (← links)
- Variations on a theme by Weiermann (Q4227873) (← links)