We introduce a generalization of stationary set reflection which we call filter reflection, and show it is compatible with the axiom of constructibility as well as with strong forcing axioms. We prove the independence of filter reflection from ZFC, and present applications of filter reflection to the study of canonical equivalence relations over the higher Cantor and Baire spaces.
|Number of pages||51|
|Journal||Israel Journal of Mathematics|
|State||Published - Oct 2021|
Bibliographical noteFunding Information:
This research was partially supported by the European Research Council (grant agreement ERC-2018-StG 802756). The third author was also partially supported by the Israel Science Foundation (grant agreement 2066/18). At the end of the preparation of this article, the second author was visiting the University of Vienna supported by the Vilho, Yrjö and Kalle Väisälä Foundation of the Finnish Academy of Science and Letters.
© 2021, The Hebrew University of Jerusalem.