Content deleted Content added
fixed notes of Arai's ''ψ'' |
Fixed a typo in section `Rathjen's Ψ' (an ordinal π was wrongly used as proposition) |
||
Line 312:
* <math>C(\alpha, \beta) </math> is the closure of <math>\beta \cup \{0, K\} </math> under addition, <math>(\xi, \eta) \rightarrow \varphi(\xi, \eta) </math>, <math>\xi \rightarrow \Omega_\xi </math> given ξ < K, <math>\xi \rightarrow \Xi(\xi) </math> given ξ < α, and <math>(\xi, \pi, \delta) \rightarrow \Psi^\xi_\pi(\delta) </math> given <math>\xi \leq \delta < \alpha </math>.
* <math>\Xi(\alpha) = \min(M^\alpha \cup \{K\}) </math>.
* For <math>\xi \leq \alpha </math>, <math>\Psi^\xi_\pi(\alpha) = \min(\{\rho \in M^\xi \cap \pi: C(\alpha, \rho) \cap \pi = \rho \land \pi
=== Collapsing large cardinals ===
| |||