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: | |
|
|