Fodor-type Reflection Principle and Balogh's reflection theorems (Combinatorial set theory and forcing theory)
Sakaé Fuchino · Institutional Repositories DataBase (IRDB) · 2010
In this note, we show that the theorems in Z. Balogh [2] proved there under Axiom $R$ are already provable under Fodor-type Reflection Princi- ple (FRP) introduced in [9] or under a slight extension of FRP still much weaker than Axiom R.