Advanced search
Add to list

Hyperations, Veblen progressions and transfinite iteration of ordinal functions

(2013) ANNALS OF PURE AND APPLIED LOGIC. 164(7-8). p.785-801
Author
Organization
Keywords
Ordinal functions, Transfinite iteration, Veblen progressions, PROOF-THEORETIC ORDINALS, PHASE-TRANSITIONS

Citation

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

MLA
Fernández-Duque, David, and Joost J Joosten. “Hyperations, Veblen Progressions and Transfinite Iteration of Ordinal Functions.” ANNALS OF PURE AND APPLIED LOGIC 164.7-8 (2013): 785–801. Print.
APA
Fernández-Duque, D., & Joosten, J. J. (2013). Hyperations, Veblen progressions and transfinite iteration of ordinal functions. ANNALS OF PURE AND APPLIED LOGIC, 164(7-8), 785–801.
Chicago author-date
Fernández-Duque, David, and Joost J Joosten. 2013. “Hyperations, Veblen Progressions and Transfinite Iteration of Ordinal Functions.” Annals of Pure and Applied Logic 164 (7-8): 785–801.
Chicago author-date (all authors)
Fernández-Duque, David, and Joost J Joosten. 2013. “Hyperations, Veblen Progressions and Transfinite Iteration of Ordinal Functions.” Annals of Pure and Applied Logic 164 (7-8): 785–801.
Vancouver
1.
Fernández-Duque D, Joosten JJ. Hyperations, Veblen progressions and transfinite iteration of ordinal functions. ANNALS OF PURE AND APPLIED LOGIC. 2013;164(7-8):785–801.
IEEE
[1]
D. Fernández-Duque and J. J. Joosten, “Hyperations, Veblen progressions and transfinite iteration of ordinal functions,” ANNALS OF PURE AND APPLIED LOGIC, vol. 164, no. 7–8, pp. 785–801, 2013.
@article{8566419,
  author       = {Fernández-Duque, David and Joosten, Joost J},
  issn         = {0168-0072},
  journal      = {ANNALS OF PURE AND APPLIED LOGIC},
  keywords     = {Ordinal functions,Transfinite iteration,Veblen progressions,PROOF-THEORETIC ORDINALS,PHASE-TRANSITIONS},
  language     = {eng},
  number       = {7-8},
  pages        = {785--801},
  title        = {Hyperations, Veblen progressions and transfinite iteration of ordinal functions},
  url          = {http://dx.doi.org/10.1016/j.apal.2013.01.002},
  volume       = {164},
  year         = {2013},
}

Altmetric
View in Altmetric
Web of Science
Times cited: