Covering with universally Baire operators

DOI10.1016/J.AIM.2014.09.016MaRDI QIDQ471699zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 3839943 (Why is no real title available?)
• scientific article; zbMATH DE number 3839944 (Why is no real title available?)
• scientific article; zbMATH DE number 5504385 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• An outline of inner model theory
• CHARACTERIZATION OF □_κ IN CORE MODELS
• 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
• PFA implies AD^L(ℝ)
• Scales in K(ℝ) at the end of a weak gap
• Stacking mice
• Suitable extender models. I
• Suitable extender models. II: Beyond \(\omega \)-huge
• The derived model theorem
• The domestic levels of \(K^c\) are iterable

Cited in

(9)

• Covering with Chang models over derived models
• Ideals and strong axioms of determinacy
• A brief account of recent developments in inner model theory
• scientific article; zbMATH DE number 3285212 (Why is no real title available?)
• 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)