Pages that link to "Item:Q2958394"
From MaRDI portal
The following pages link to Beyond Peano Arithmetic – Automatically Proving Termination of the Goodstein Sequence (Q2958394):
Displaying 4 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem. (Q1399971) (← links)
- A mechanizable first-order theory of ordinals (Q1694476) (← links)
- On some slowly terminating term rewriting systems (Q3466405) (← links)