Square and Delta reflection
Abstract
Starting from infinitely many supercompact cardinals, we force a model of ZFC where ω2+1 satisfies simultaneously a strong principle of reflection, called -reflection, and a version of the square principle, denoted (ω2+1). Thus we show that ω2+1 can satisfy simultaneously a strong reflection principle and an anti-reflection principle.
0