Article contents
A Proof that Souslin Souslin H ⊂ Souslin H
Published online by Cambridge University Press: 20 November 2018
Extract
We write ω for the set of natural numbers (including zero) and for the set of all finite sequences of natural numbers. If n ∊ ω we write . If x is a function which takes its values in cu and whose domain of definition contains then we write for the element (x(0), …, x(n)) of .
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1966
References
- 1
- Cited by