Fake reflection
Logic
2020-03-19 v1
Abstract
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 of the higher Cantor and Baire spaces.
Cite
@article{arxiv.2003.08340,
title = {Fake reflection},
author = {Gabriel Fernandes and Miguel Moreno and Assaf Rinot},
journal= {arXiv preprint arXiv:2003.08340},
year = {2020}
}