Revision as of 07:09, 19 August 2022 edit JRSpriggs (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 18,934 edits Undid revision 1104830588 by C7XWiki (talk) this restriction is necessary for uniqueness of the normal form. Also Gamma_0 = phi_(Gamma_0) (0) > 0, so there is no problem with Gamma_0. Tag: Undo ← Previous edit		Revision as of 06:44, 21 August 2022 edit undo GünniX (talk \| contribs) Extended confirmed users 337,299 edits m Reflist Tag: AWB Next edit →
Line 90: ==References== {{Reflist}} * Hilbert Levitz, ''[http://www.cs.fsu.edu/~levitz/ords.ps Transfinite Ordinals and Their Notations: For The Uninitiated]'', expository article (8 pages, in [[PostScript]]) *{{citation\|last= Pohlers\|first= Wolfram\|title= Proof theory\|mr= 1026933\|series= Lecture Notes in Mathematics\|volume= 1407\|publisher= Springer-Verlag\|place= Berlin\|year= 1989\|isbn= 978-3-540-51842-6\|doi= 10.1007/978-3-540-46825-7\|url-access= registration\|url= https://archive.org/details/prooftheoryintro0000pohl}}

Veblen function: Difference between revisions