I will discuss a couple of reflection principles which follow from Martin's Maximum and/or the Proper Forcing Axiom. I will focus mainly on the Map Reflection Principle (MRP), a principle discovered by Justin Moore which follows from PFA and has nice applications (including SCH and failure of square).
Angelegt am 28.04.2010 von Martina Pfeifer
Geändert am 28.04.2010 von Martina Pfeifer
[Edit | Vorlage]