Motivated from many results in generalized descriptive set theory, Filter Reflection (aka Fake Reflection) is an abstract version of reflection compatible with large cardinals, forcing axioms, but also V=L.
In this talk we will present the motivation and definition of filter reflection, we will explain how to force filter reflection and how to force its failure. We will also show some applications and properties of filter reflection, e.g. the consistency of "\(E_\kappa\) filter reflects to a subset of \(E_\kappa\)".
This is a joint work with Gabriel Fernandes and Assaf Rinot.