Article contents
Constructive order types on cuts1
Published online by Cambridge University Press: 12 March 2014
Extract
If A and B are subsets of natural numbers we say that A is recursively equivalent to B (denoted A ≃ B) if there is a one-one partial recursive function which maps A onto B, and that A is recursively isomorphic to B (denoted A ≅ B) if there is a one-one total recursive function which maps A onto B and Ā (the complement of A) onto B#x00AF;.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1969
Footnotes
This research was supported by National Science Foundation Grant GP 8866.
References
- 4
- Cited by