Skip to main content
1 of 3
William
  • 1.8k
  • 9
  • 12

Universally Baire Tree Representation of Projective Sets

In Feng, Magidor, and Woodin "Universally Baire Sets of Reals", they show that if $A$ is a $\mathbf{\Pi}_2^1$ set and $U$ and $V$ are any pair of trees witnessing the universal baireness of $A$, then in all generic extension, one continues to have $A = p[U]$, where $A$ as defined by the $\mathbf{\Pi}_2^1$.

Is this true for $\mathbf{\Pi_3^1}$ (or more generally any higher projective sets)? Rather than any pair of trees as in the $\mathbf{\Pi}_2^1$ case, if one assumes all $\mathbf{\Pi}_3^1$ sets are universally baire, does there exists some pair of trees $T$ and $U$ such that $T$ continues to represent a given $\mathbf{\Pi}_3^1$ set $A$ in all generic extensions? What about, if one fix a particular forcing $\mathbb{P}$, can one find pairs of trees $T$ and $U$ that continue to represent a particular $\mathbb{\Pi}_3^1$ set in $\mathbb{P}$ extensions.

Thanks for any information that can be provided.

William
  • 1.8k
  • 9
  • 12