Covering with universally Baire operators

DOI10.1016/J.AIM.2014.09.016zbMATH Open1345.03094OpenAlexW1990189626MaRDI QIDQ471699FDOQ471699

Grigor Sargsyan

Publication date: 17 November 2014

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.aim.2014.09.016

Recommendations

• PFA implies AD^L(ℝ)
• A covering lemma for \(K(\mathbb{R})\)
• Covering theorems for the core model, and an application to stationary set reflection
• A covering lemma for \(L(\mathbb R)\)
• Descriptive inner model theory

zbMATH Keywords

descriptive set theorycore model inductionhod mouseinner model theorymouseUBH

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Cites Work

• Suitable extender models. II: Beyond \(\omega \)-huge
• An Outline of Inner Model Theory
• Title not available (Why is that?)
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Title not available (Why is that?)
• Stacking mice
• Coherent sequences and threads
• Non-tame mice from tame failures of the unique branch hypothesis
• Nontame mouse from the failure of square at a singular strong limit cardinal
• SUITABLE EXTENDER MODELS I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Scales in K(ℝ) at the end of a weak gap
• The derived model theorem
• PFA implies AD^L(ℝ)
• Title not available (Why is that?)
• The domestic levels of \(K^c\) are iterable

Cited In (9)

• Ideals and strong axioms of determinacy
• Covering with Chang models over derived models
• Title not available (Why is that?)
• A brief account of recent developments in inner model theory
• Supercompactness can be equiconsistent with measurability
• Covering the Baire space by families which are not finitely dominating
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• PFA implies AD^L(ℝ)
• PFA and guessing models

This page was built for publication: Covering with universally Baire operators

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