A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC Dedicated to Professor Dr. Kazuyuki Tanaka on the Occasion of his 60th Birthday

Sakaé FUCHINO

doi:10.4288/jafpos.25.0_67

Special Section: Computability Theory and the Foundation of Mathematics

A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC

Dedicated to Professor Dr. Kazuyuki Tanaka on the Occasion of his 60th Birthday

Sakaé FUCHINO

著者情報

キーワード: Fodor-type Reflection Principle (FRP), Shelah's Strong Hypothesis (SSH), reverse-mathematical criterion

ジャーナルフリー

2017 年 25 巻 p. 67-77

DOI https://doi.org/10.4288/jafpos.25.0_67

詳細

抄録

We survey the study of the Fodor-type Reflection Principle (FRP) and discuss the significance of the principle in terms of what we call the reverse-mathematical criterion.

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）