Editing Goodstein's theorem (section)

==Bibliography==
* {{Cite journal | doi = 10.1112/blms/14.4.285| title = Accessible Independence Results for Peano Arithmetic| journal = Bulletin of the London Mathematical Society| volume = 14| issue = 4| pages = 285| year = 1982| url = http://www.cs.tau.ac.il/~nachumd/term/Kirbyparis.pdf| last1 = Kirby | first1 = L.| last2 = Paris | first2 = J.| author-link2 = Jeff Paris (mathematician)| citeseerx = 10.1.1.107.3303}}
* {{Cite arXiv | eprint=1405.4484| last1=Rathjen| first1=Michael| title=Goodstein revisited| date=2014| class=math.LO}}
* {{Citation |last=Goodstein |first=R. |s2cid=235597 |author-link=Reuben Goodstein |jstor=2268019 |title= On the restricted ordinal theorem |journal=[[Journal of Symbolic Logic]] |volume=9 |issue=2 |year=1944 |pages=33–41 |doi=10.2307/2268019}}.
* {{Citation |last=Cichon |first=E. |title=A Short Proof of Two Recently Discovered Independence Results Using Recursive Theoretic Methods |jstor=2043364 |journal=Proceedings of the American Mathematical Society |volume=87 |issue=4 |year=1983 |pages=704–706 |doi=10.2307/2043364|doi-access=free }}.
* {{Citation |last=Caicedo |first=A. |title=Goodstein's function |url=http://andrescaicedo.files.wordpress.com/2008/04/goodstein.pdf |journal=Revista Colombiana de Matemáticas |volume=41 |issue=2 |year=2007 |pages=381–391 }}.