Advanced search
1 file | 891.65 KB Add to list

Worms and spiders : reflection calculi and ordinal notation systems

Author
Organization
Abstract
We give a general overview of ordinal notation systems arising from reflection calculi, and extend them to represent impredicative ordinals defined using Buchholz-style collapsing functions.
Keywords
PROVABILITY LOGIC, FRAGMENT

Downloads

  • Spiders.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 891.65 KB

Citation

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

MLA
Fernández-Duque, David. “Worms and Spiders : Reflection Calculi and Ordinal Notation Systems.” JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, vol. 4, no. 10, 2017, pp. 3277–356.
APA
Fernández-Duque, D. (2017). Worms and spiders : reflection calculi and ordinal notation systems. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 4(10), 3277–3356.
Chicago author-date
Fernández-Duque, David. 2017. “Worms and Spiders : Reflection Calculi and Ordinal Notation Systems.” JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS 4 (10): 3277–3356.
Chicago author-date (all authors)
Fernández-Duque, David. 2017. “Worms and Spiders : Reflection Calculi and Ordinal Notation Systems.” JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS 4 (10): 3277–3356.
Vancouver
1.
Fernández-Duque D. Worms and spiders : reflection calculi and ordinal notation systems. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. 2017;4(10):3277–356.
IEEE
[1]
D. Fernández-Duque, “Worms and spiders : reflection calculi and ordinal notation systems,” JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, vol. 4, no. 10, pp. 3277–3356, 2017.
@article{8603900,
  abstract     = {We give a general overview of ordinal notation systems arising from reflection calculi, and extend them to represent impredicative ordinals defined using Buchholz-style collapsing functions.},
  author       = {Fernández-Duque, David},
  issn         = {2055-3706},
  journal      = {JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS},
  keywords     = {PROVABILITY LOGIC,FRAGMENT},
  language     = {eng},
  number       = {10},
  pages        = {3277--3356},
  title        = {Worms and spiders : reflection calculi and ordinal notation systems},
  volume       = {4},
  year         = {2017},
}