Article contents
A choice free theory of Dedekind cardinals1
Published online by Cambridge University Press: 12 March 2014
Extract
In this paper we continue our investigation of the Dedekind cardinals which was initiated in [2]. Those results are summarized below. Let ω be the finite cardinals and Δ the Dedekind cardinals. In [7] Myhill defined a class of functions ƒ: Χκω→ω, which he called the combinatorial functions, and which he applied to the study of recursive equivalence types.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1969
Footnotes
Research for this paper was supported in part by National Science Foundation contract number GP 5786.
References
- 4
- Cited by