Handbook of Recursive Mathematics, Volume 2

Gasarch, W. (1998). Handbook of Recursive Mathematics, Volume 2.

Type

Reference work

Intellectual base

Reference work

Year

1998

DOI

10.1016/s0049-237x(98)80049-9

Link

https://doi.org/10.1016/s0049-237x(98)80049-9

Cited by

1 citation across 1 artifact.

Domain-specific

• Well-quasi-ordering
  • … identity and a convenient observable transfers from Natural numbers under their usual order are well-quasi-ordered, as every infinite sequence contains an increasing pair. to A proof checks quasi-order rather than antisymmetry and uses the sequence direction i<j, which is stronger than finding any comparable pair..

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