Partial impredicativity in reverse mathematics

Towsner, H. (2013). Partial impredicativity in reverse mathematics.

Type

Unclassified

Intellectual base

Unclassified

Year

2013

DOI

10.2178/jsl.7802070

Link

https://doi.org/10.2178/jsl.7802070

Cited by

1 citation across 1 artifact.

Domain-specific

• Well-quasi-ordering
  • A well-quasi-order is a quasi-order for which every infinite sequence x0,x1,… has indices i<j with xi≤xj.

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