Determinacy axioms and large cardinals

DOI10.1007/978-3-031-26689-8_5arXiv2302.02248OpenAlexW4321441485MaRDI QIDQ6132567

Sandra Müller

Publication date: 17 August 2023

Published in: Logic and Its Applications (Search for Journal in Brave)

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

zbMATH Keywords

determinacyinfinite gamelarge cardinal

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• All automorphisms of the Calkin algebra are inner
• The strict determinateness of certain infinite games
• Infinite Abelian groups, Whitehead problem and some constructions
• Borel determinacy
• On the consistency of Borel's conjecture
• Inner models in the region of a Woodin limit of Woodin cardinals
• Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
• The determinacy of long games
• Projective games on the reals
• HOD in natural models of \(\mathsf{AD}^+\)
• Implications of large-cardinal principles in homotopical localization
• Long games and \(\sigma \)-projective sets
• Descriptive inner model theory
• Hod mice and the Mouse Set Conjecture
• Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular
• An Outline of Inner Model Theory
• Deconstructing inner model theory
• Borel Games and the Baire Property
• Stacking mice
• On the Relative Consistency Strength of Determinacy Hypothesis
• A Proof of Projective Determinacy
• A Provisional Solution to the Normal Moore Space Problem
• If all Normal Moore Spaces are Metrizable, then there is an Inner Model with a Measurable Cardinal
• Analytic determinacy and 0^#
• OPTIMAL PROOFS OF DETERMINACY II
• HOD^L(ℝ) is a Core Model Below Θ
• Optimal Proofs of Determinacy
• Every zero-dimensional homogeneous space is strongly homogeneous under determinacy
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• IN INNER MODELS WITH WOODIN CARDINALS
• SEALING OF THE UNIVERSALLY BAIRE SETS
• THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY
• The axiom of determinacy implies dependent choice in mice
• A brief history of determinacy
• HODas a core model
• Translation procedures in descriptive inner model theory
• Measurable cardinals and analytic games
• The fine structure of the constructible hierarchy
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
• The domestic levels of \(K^c\) are iterable