Searching for "A new proof-theoretic proof of the independence of Kirby-Paris' Hydra Theorem." – sorted by Relevance.
1 documents found, showing 1 through 1.
-
Title: Independence proofs of Kirby-Paris ’ Hydra Theorem from Peano Arithmetic
- …. Carlucci, A new proof-theoretic proof of the independence of Kirby-Paris’ Hydra Theorem, Theoretical…
- Add To MetaCart
Showing 1 through 1.
