Determinacy axioms and large cardinals
From MaRDI portal
Publication:6132567
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.
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
Cites work
- scientific article; zbMATH DE number 5504385 (Why is no real title available?)
- scientific article; zbMATH DE number 4023265 (Why is no real title available?)
- scientific article; zbMATH DE number 4072961 (Why is no real title available?)
- scientific article; zbMATH DE number 567513 (Why is no real title available?)
- scientific article; zbMATH DE number 1762597 (Why is no real title available?)
- scientific article; zbMATH DE number 218608 (Why is no real title available?)
- scientific article; zbMATH DE number 1390275 (Why is no real title available?)
- scientific article; zbMATH DE number 3215740 (Why is no real title available?)
- scientific article; zbMATH DE number 3078993 (Why is no real title available?)
- HODas a core model
- A Proof of Projective Determinacy
- A Provisional Solution to the Normal Moore Space Problem
- A brief history of determinacy
- All automorphisms of the Calkin algebra are inner
- An outline of inner model theory
- Analytic determinacy and 0#
- Borel Games and the Baire Property
- Borel determinacy
- Deconstructing inner model theory
- Descriptive inner model theory
- Every zero-dimensional homogeneous space is strongly homogeneous under determinacy
- HOD in inner models with Woodin cardinals
- HOD in natural models of \(\mathsf{AD}^+\)
- HODL(โ) is a Core Model Below ฮ
- Hod mice and the mouse set conjecture
- Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
- If all Normal Moore Spaces are Metrizable, then there is an Inner Model with a Measurable Cardinal
- Implications of large-cardinal principles in homotopical localization
- Infinite Abelian groups, Whitehead problem and some constructions
- Inner models in the region of a Woodin limit of Woodin cardinals
- Long games and \(\sigma \)-projective sets
- Measurable cardinals and analytic games
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
- OPTIMAL PROOFS OF DETERMINACY II
- On the Relative Consistency Strength of Determinacy Hypothesis
- On the consistency of Borel's conjecture
- Optimal Proofs of Determinacy
- Projective games on the reals
- Pure and hybrid mice with finitely many Woodin cardinals from levels of determinacy
- Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
- SEALING OF THE UNIVERSALLY BAIRE SETS
- Stacking mice
- Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular
- The axiom of determinacy implies dependent choice in mice
- The consistency strength of long projective determinacy
- The derived model theorem
- The determinacy of long games
- The domestic levels of \(K^c\) are iterable
- The fine structure of the constructible hierarchy
- The strict determinateness of certain infinite games
- Translation procedures in descriptive inner model theory
- ๐ฒ๐พ๐บ๐ ๐๐๐ from iterability
Cited in
(13)- How to win some simple iteration games
- Determinacy in strong cardinal models
- Extraresolvability and cardinal arithmetic
- scientific article; zbMATH DE number 6114428 (Why is no real title available?)
- Easton's theorem and large cardinals
- Generic large cardinals: New axioms for mathematics?
- GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
- Finite functions and the necessary use of large cardinals
- Filter spaces: Towards a unified theory of large cardinal and embedding axioms
- GENERIC LARGE CARDINALS AS AXIOMS
- scientific article; zbMATH DE number 4033733 (Why is no real title available?)
- Large cardinal axioms from tameness in AECs
- scientific article; zbMATH DE number 3926909 (Why is no real title available?)
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)
