Ordinal analysis of bar recursion of type zero.

Howard, W. A. (1980). Ordinal analysis of bar recursion of type zero. Compositio Mathematica, 42(1), 105-119.

Type

Journal article

Intellectual base

Primary research

Year

1980

Link

no authoritative link yet

Cited from

mathematics

Cited by

1 citation across 1 artifact.

Primes

• Well-Foundedness (Well-Ordering)
  • Listed in the references but not attached to a specific claim.

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:5401ee918868 · see in the full table