The axiom of determinacy implies dependent choices in L(R)

DOI10.2307/2274099MaRDI QIDQ3708796zbMATH OpenOpenAlexWikidataFDO

Authors Alexander S. Kechris

Publication date 1984

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://authors.library.caltech.edu/38675/

zbMATH Keywords

infinite gameinner modelsharp

Mathematics Subject Classification ID

Consistency and independence results (03E35) Determinacy principles (03E60)

Recommendations

• \(AD+DC_{\aleph_ 1}\) is incompatible
• scientific article; zbMATH DE number 1302487
• The axiom of determinacy implies dependent choice in mice
• scientific article; zbMATH DE number 3966063
• Shadows of the axiom of choice in the universe \(L(\mathbb {R})\)

Cites work

• Descriptive set theory
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• The axiom of determinateness and reduction principles in the analytical hierarchy
• The extent of definable scales

Cited in

(42)

• The axiom of determinacy and the modern development of descriptive set theory
• Is there a set of reals not in \(K(\mathbb{R})\)?
• Dependent choices and weak compactness
• Infinite populations, choice and determinacy
• Shadows of the axiom of choice in the universe \(L(\mathbb {R})\)
• \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis
• The real core model and its scales
• Instances of dependent choice and the measurability of \(\aleph _{\omega +1}\)
• The consistency strength of projective absoluteness
• The destruction of the axiom of determinacy by forcings on \(\mathbb{R}\) when \(\Theta\) is regular
• \(AD+DC_{\aleph_ 1}\) is incompatible
• Set theory and the analyst
• On forcing over \(L(\mathbb{R})\)
• Determinacy in \(L(\mathbb{R}, \mu)\)
• An introduction to combinatorics of determinacy
• The axiom of determinateness implies ω_2 has precisely two countably complete, uniform, weakly normal ultrafilters
• Model theory under the axiom of determinateness
• Determinacy of Banach games
• scientific article; zbMATH DE number 3966063 (Why is no real title available?)
• scientific article; zbMATH DE number 4072962 (Why is no real title available?)
• scientific article; zbMATH DE number 1302487 (Why is no real title available?)
• A computational interpretation of the axiom of determinacy in arithmetic
• The calculus of partition sequences, changing cofinalities, and a question of Woodin
• scientific article; zbMATH DE number 1850737 (Why is no real title available?)
• AD and patterns of singular cardinals below Θ
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• Souslin quasi-orders and bi-embeddability of uncountable structures
• The consistency strength of long projective determinacy
• The cofinality of the least Berkeley cardinal and the extent of dependent choice
• The axiom of determinacy implies dependent choice in mice
• Transcendence bases, well-orderings of the reals and the axiom of choice
• A model of second-order arithmetic satisfying AC but not DC
• Preserving dependent choice
• A parametrised choice principle and Martin's conjecture on Blackwell determinacy
• \(\mathrm{ZF}+\mathrm{DC}+\mathrm{AX}_4\)
• SOME CONSEQUENCES OF AND
• Almost Everywhere Behavior of Functions According to Partition Measures
• Almost disjoint families under determinacy
• Applications of infinity-Borel codes to definability and definable cardinals
• Hjorth's reflection argument
• Preservation of AD via forcings
• Boldface GCH below the first uncountable limit cardinal

This page was built for publication: The axiom of determinacy implies dependent choices in L(R)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3708796)