The axiom of determinacy implies dependent choice in mice

DOI10.1002/MALQ.201800077OpenAlexW2980985936WikidataQ114018678 ScholiaQ114018678MaRDI QIDQ5108869

Sandra Müller

Publication date: 6 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.02755

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Axiom of choice and related propositions (03E25) Determinacy principles (03E60)

Related Items (2)

THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ Determinacy axioms and large cardinals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The real core model and its scales
• An Outline of Inner Model Theory
• Deconstructing inner model theory
• The axiom of determinacy implies dependent choices in L(R)
• The extent of definable scales

This page was built for publication: The axiom of determinacy implies dependent choice in mice