Creative sets¶
Myhill. (1955). Creative sets. Mathematical Logic Quarterly.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Schröder–Bernstein Property
- Computability. Myhill's isomorphism theorem says that sets of natural numbers one-one reducible to each other are computably isomorphic
This sourceMyhill's original paper, in which the isomorphism theorem — mutual one-one reducibility implies computable isomorphism — is proved.
- Computability. Myhill's isomorphism theorem says that sets of natural numbers one-one reducible to each other are computably isomorphic
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:cc23bb87b42e · see in the full table