Uniformization and Internal Absoluteness

DOI10.1090/PROC/16155arXiv2108.09688MaRDI QIDQ6375764FDOQ6375764

Authors: Sandra Müller, Philipp Schlicht

Publication date: 22 August 2021

Abstract: Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a given ideal. We prove that for all

s i g m a

-ideals

I

such that the ideal forcing

m a t h b b P_{I}

of Borel sets modulo

I

is proper, this uniformization principle is equivalent to an absoluteness principle for projective formulas with respect to

m a t h b b P_{I}

that we call internal absoluteness. In addition, we show that it is equivalent to measurability with respect to

I

together with

1

-step absoluteness for the poset

m a t h b b P_{I}

. These equivalences are new even for Cohen and random forcing and they are, to the best of our knowledge, the first precise equivalences between regularity and absoluteness beyond the second level of the projective hierarchy.

Mathematics Subject Classification ID

Descriptive set theory (03E15) Generic absoluteness and forcing axioms (03E57)

This page was built for publication: Uniformization and Internal Absoluteness

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