Kechris, Alexander S. (1988) A coding theorem for measures. In: Cabal Seminar 81–85. Lectures Notes in Mathematics. No.1333. Springer , Berlin, pp. 103-109. ISBN 978-3-540-50020-9. https://resolver.caltech.edu/CaltechAUTHORS:20130612-074122964
Full text is not posted in this repository. Consult Related URLs below.
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20130612-074122964
Abstract
Assuming ZF + DC + AD Moschovakis (see [Ml]) has shown that if there is a surjection π : R → λ from the reals (R = ω^ω in this paper) onto an ordinal λ, then there is a surjection π^* : R → p(λ) from the reals onto the power set of λ. Let us denote by β(λ) the set of ultrafilters on λ. The question was raised whether there is an analog of Moschovakis' Theorem for β(λ), i.e. if there is a surjection from R onto λ, is there one from R onto β(λ)? Martin showed that this cannot be proved in ZF + DC + AD alone because if V = L(R) and λ= ol, there is no surjection of R onto β(λ).
| Item Type: | Book Section | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Related URLs: |
| |||||||||
| Additional Information: | © 1988 Springer. Research partially supported by NSF Grants MCS-8117804 and DMS-8416349. | |||||||||
| Funders: |
| |||||||||
| Other Numbering System: |
| |||||||||
| Series Name: | Lectures Notes in Mathematics | |||||||||
| Issue or Number: | 1333 | |||||||||
| Record Number: | CaltechAUTHORS:20130612-074122964 | |||||||||
| Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20130612-074122964 | |||||||||
| Official Citation: | A coding theorem for measures Alexander S. Kechris Pages 103-109 | |||||||||
| Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | |||||||||
| ID Code: | 38899 | |||||||||
| Collection: | CaltechAUTHORS | |||||||||
| Deposited By: | Ruth Sustaita | |||||||||
| Deposited On: | 12 Jun 2013 15:11 | |||||||||
| Last Modified: | 03 Oct 2019 05:01 |
Repository Staff Only: item control page
