Reflection principles on stationarity and possible extensions of the axiom system of set thoery

点击翻译按钮获取中文摘要

In this research project, we studied the so-called Fodor-type Reflection Principle(FRP) which is situated between stationarity reflection of sets of ordinals and that of sets of countable sets of ordinals. We proved that FRP is equivalent to many of the "mathematical" reflection principles which have been known as consequences of Fleissner's Axiom R. We also proved that FRP implies Shelah's Strong Hypothesis and obtained an almost complete picture of the implications and non implications among reflection principles including FRP.