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

在本研究项目中，我们研究了介于序数集的平稳性反射和可数序数集的平稳性反射之间的所谓的Fodor型反射原理。我们证明了FRP等价于许多被称为Fleissner公理R的结果的“数学”反射原理。我们还证明了FRP蕴含着谢拉的强假设，并且得到了包括FRP在内的反射原理中蕴涵和非蕴涵的几乎完整的图景。

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.