Advanced search
1 file | 256.82 KB

Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal

Michiel De Smet (UGent) and Andreas Weiermann (UGent)
(2012) ANNALS OF PURE AND APPLIED LOGIC. 163(6). p.669-680
Author
Organization
Project
phase transitions in logic and combinatorics
Keywords
Bachmann–Howard ordinal, Goodstein sequence, Unprovability, PROOF, RECURSION

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 256.82 KB

Citation

Please use this url to cite or link to this publication:

Chicago
De Smet, Michiel, and Andreas Weiermann. 2012. “Goodstein Sequences for Prominent Ordinals up to the Bachmann–Howard Ordinal.” Annals of Pure and Applied Logic 163 (6): 669–680.
APA
De Smet, Michiel, & Weiermann, A. (2012). Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal. ANNALS OF PURE AND APPLIED LOGIC, 163(6), 669–680.
Vancouver
1.
De Smet M, Weiermann A. Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal. ANNALS OF PURE AND APPLIED LOGIC. 2012;163(6):669–80.
MLA
De Smet, Michiel, and Andreas Weiermann. “Goodstein Sequences for Prominent Ordinals up to the Bachmann–Howard Ordinal.” ANNALS OF PURE AND APPLIED LOGIC 163.6 (2012): 669–680. Print.
@article{1972827,
  author       = {De Smet, Michiel and Weiermann, Andreas},
  issn         = {0168-0072},
  journal      = {ANNALS OF PURE AND APPLIED LOGIC},
  keyword      = {Bachmann--Howard ordinal,Goodstein sequence,Unprovability,PROOF,RECURSION},
  language     = {eng},
  number       = {6},
  pages        = {669--680},
  title        = {Goodstein sequences for prominent ordinals up to the Bachmann--Howard ordinal},
  url          = {http://dx.doi.org/10.1016/j.apal.2011.11.006},
  volume       = {163},
  year         = {2012},
}

Altmetric
View in Altmetric
Web of Science
Times cited: