Prefer a chat interface with context about you and your work?
Tree forcings and sharps
Abstract The Levy‐Solovay theorem and its variants show that various large cardinals are preserved under small forcings. We study the preservation of consequences of large cardinals under proper forcings. In particular, we consider the preservation of the statement that every real has a sharp for classical tree forcings. (© 2016 …