Forcing a set model of + Harrington's Principle |
| |
| Authors: | Yong Cheng |
| |
| Affiliation: | Department of Philosophy, Wuhan University, BaYi Road 299, Wuchang District, Wuhan, People's Republic of China |
| |
| Abstract: | Let  denote third order arithmetic. Let Harrington's Principle,  , denote the statement that there is a real x such that every x‐admissible ordinal is a cardinal in  . In this paper, assuming there exists a remarkable cardinal with a weakly inaccessible cardinal above it, we force a set model of  via set forcing without reshaping. |
| |
| Keywords: | |
|
|
