| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661802 | Annals of Pure and Applied Logic | 2013 | 14 Pages |
Abstract
We introduce strong Goodstein principles which are true but unprovable in strong impredicative theories like IDnIDn.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Andreas Weiermann, Gunnar Wilken,