Accessible Independence Results for Peano Arithmetic
-
Published:1982-07
Issue:4
Volume:14
Page:285-293
-
ISSN:0024-6093
-
Container-title:Bulletin of the London Mathematical Society
-
language:en
-
Short-container-title:Bulletin of the London Mathematical Society
Author:
Kirby Laurie,Paris Jeff
Subject
General Mathematics
Cited by
180 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Walk with Goodstein and Ackermann;Notre Dame Journal of Formal Logic;2024-05-01
2. A WALK WITH GOODSTEIN;The Bulletin of Symbolic Logic;2024-01-17
3. Positive Almost-Sure Termination: Complexity and Proof Rules;Proceedings of the ACM on Programming Languages;2024-01-05
4. Peano Arithmetic and $$ \epsilon _0$$;Graduate Texts in Mathematics;2024
5. Consistency of PA and $$\varepsilon _0$$ Induction;Introduction to Incompleteness;2024