Published April 15, 1991
| public
Journal Article
Boundedness theorems for dilators and ptykes
- Creators
- Kechris, Alexander S.
Abstract
The main theorem of this paper is: If ƒ is a partial function from ℵ_1 to ℵ_1 which is ∑^1_1-bounded, then there is a weakly finite primitive recursive dilator D such that for all infinite α ϵ dom(ƒ), ƒ(α) ⩽ D(α). The proof involves only elementary combinatorial constructions of trees. A generalization to ptykes is also given.
Additional Information
© 1991 Elsevier Science Publishers B. V. Communicated by D. van Dalen. Received 15 June 1989. Research partially supported by NSF Grant.Additional details
- Eprint ID
- 38556
- DOI
- 10.1016/0168-0072(91)90040-S
- Resolver ID
- CaltechAUTHORS:20130517-103738099
- NSF
- Created
-
2013-05-22Created from EPrint's datestamp field
- Updated
-
2021-11-09Created from EPrint's last_modified field