Determinacy axioms and large cardinals

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

Authors: Sandra Müller 

Publication date: 17 August 2023

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

Abstract: The study of inner models was initiated by G"odel's analysis of the constructible universe. Later, the study of canonical inner models with large cardinals, e.g., measurable cardinals, strong cardinals or Woodin cardinals, was pioneered by Jensen, Mitchell, Steel, and others. Around the same time, the study of infinite two-player games was driven forward by Martin's proof of analytic determinacy from a measurable cardinal, Borel determinacy from ZFC, and Martin and Steel's proof of levels of projective determinacy from Woodin cardinals with a measurable cardinal on top. First Woodin and later Neeman improved the result in the projective hierarchy by showing that in fact the existence of a countable iterable model, a mouse, with Woodin cardinals and a top measure suffices to prove determinacy in the projective hierarchy. This opened up the possibility for an optimal result stating the equivalence between local determinacy hypotheses and the existence of mice in the projective hierarchy. This article outlines the main concepts and results connecting determinacy hypotheses with the existence of mice with large cardinals as well as recent progress in the area.

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

Recommendations

• Determinacy and large cardinals
• Large cardinals from determinacy
• Determinacy in strong cardinal models
• scientific article; zbMATH DE number 3926909
• Large cardinals and higher degree theory
• Large cardinals and the continuum hypothesis
• GENERIC LARGE CARDINALS AS AXIOMS
• Large cardinals, inner models, and determinacy: an introductory overview
• Model theoretic characterizations of large cardinals
• scientific article; zbMATH DE number 3961600

zbMATH Keywords

determinacyinfinite gamelarge cardinal

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (13)

• GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
• GENERIC LARGE CARDINALS AS AXIOMS
• Title not available (Why is that?)
• How to win some simple iteration games
• Title not available (Why is that?)
• Large cardinal axioms from tameness in AECs
• Filter spaces: Towards a unified theory of large cardinal and embedding axioms
• Determinacy in strong cardinal models
• Generic large cardinals: New axioms for mathematics?
• Finite functions and the necessary use of large cardinals
• Extraresolvability and cardinal arithmetic
• Title not available (Why is that?)
• Easton's theorem and large cardinals

This page was built for publication: Determinacy axioms and large cardinals

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