The following pages link to (Q4143279):
Displaying 3 items.
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs (Q964500) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
