A simplified ordinal analysis of first-order reflection

Arai, T. (2020). A simplified ordinal analysis of first-order reflection.

Type

Unclassified

Intellectual base

Unclassified

Year

2020

DOI

10.1017/jsl.2020.23

Link

https://doi.org/10.1017/jsl.2020.23

Cited by

1 citation across 1 artifact.

Domain-specific

• Ordinal collapsing function
  • Collapsing systems differ in constructors, closure sets, critical symbols and large-cardinal scaffolding; their value lies in recursive notations and proof-theoretic ordinals, not literal injection of uncountable ordinals into countable ones.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:cc8df7cb764a · see in the full table