Pages that link to "Item:Q526964"
From MaRDI portal
The following pages link to Proof lengths for instances of the Paris-Harrington principle (Q526964):
Displaying 6 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Short proofs for slow consistency (Q2176406) (← links)
- Slow reflection (Q2407272) (← links)
- (Q4684438) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- Bounds for a nonlinear ergodic theorem for Banach spaces (Q5889844) (← links)
