Kechris, Alexander S. (1984) The Axiom of Determinacy Implies Dependent Choices in L(R). Journal of Symbolic Logic, 49 (1). pp. 161-173. ISSN 0022-4812. https://resolver.caltech.edu/CaltechAUTHORS:20130528-083650112
|
PDF
- Published Version
See Usage Policy. 308kB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20130528-083650112
Abstract
We prove the following Main Theorem: ZF+AD+V=L(R)⇒DC. As a corollary we have that Con(ZF+AD)⇒Con(ZF+AD+DC). Combined with the result of Woodin that Con(ZF+AD)⇒Con(ZF+AD+¬AC^ω) it follows that DC (as well as AC^ω) is independent relative to ZF+AD. It is finally shown (jointly with H. Woodin) that ZF+AD+¬DC_R, where DC_R is DC restricted to reals, implies the consistency of ZF+AD+DC, in fact implies R^# (i.e. the sharp of L(R)) exists.
Item Type: | Article | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Related URLs: |
| |||||||||
Alternate Title: | The Axiom of Determinancy Implies Dependent Choices in L(R) | |||||||||
Additional Information: | © 1984, Association for Symbolic Logic. Received April 29, 1982. Research partially supported by NSF Grant No. MCS-8117804. The author is an A. P. Sloan Foundation Fellow. | |||||||||
Funders: |
| |||||||||
Other Numbering System: |
| |||||||||
Issue or Number: | 1 | |||||||||
Record Number: | CaltechAUTHORS:20130528-083650112 | |||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20130528-083650112 | |||||||||
Official Citation: | The Axiom of Determinancy Implies Dependent Choices in L(R) Alexander S. Kechris; 161-173 | |||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | |||||||||
ID Code: | 38675 | |||||||||
Collection: | CaltechAUTHORS | |||||||||
Deposited By: | Ruth Sustaita | |||||||||
Deposited On: | 28 May 2013 15:50 | |||||||||
Last Modified: | 03 Oct 2019 04:59 |
Repository Staff Only: item control page