The exact consistency strength of the generic absoluteness for the universally Baire sets

A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. $\mathsf {Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be chang...

Full description

Bibliographic Details
Main Authors: Grigor Sargsyan, Nam Trang
Format: Article
Language:English
Published: Cambridge University Press 2024-01-01
Series:Forum of Mathematics, Sigma
Online Access:https://www.cambridge.org/core/product/identifier/S2050509423001275/type/journal_article
Description
Summary:A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. $\mathsf {Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by forcing.
ISSN:2050-5094