Ordinal collapsing function: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
RhubarbJayde (talk | contribs) No edit summary |
RhubarbJayde (talk | contribs) |
||
Line 7: | Line 7: | ||
* Let \( \Omega = \aleph_1 \) and \( C_0^\Omega(\alpha, \beta) = \beta \cup \{0, \Omega\} \). |
* Let \( \Omega = \aleph_1 \) and \( C_0^\Omega(\alpha, \beta) = \beta \cup \{0, \Omega\} \). |
||
* For all \( n \), \( C_{n+1}^\Omega(\alpha,\beta) = \{\gamma+delta, \omega^\gamma, \psi_\Omega(\eta): \gamma, \delta, \eta \in C_n^\Omega(\alpha, \beta) \land \eta < \alpha\} \) |
* For all \( n \), \( C_{n+1}^\Omega(\alpha,\beta) = \{\gamma+\delta, \omega^\gamma, \psi_\Omega(\eta): \gamma, \delta, \eta \in C_n^\Omega(\alpha, \beta) \land \eta < \alpha\} \) |
||
* \( C^\Omega(\alpha,\beta) \) is the union of \( C_n^\Omega(\alpha,\beta) \) for all finite \( n \). |
* \( C^\Omega(\alpha,\beta) \) is the union of \( C_n^\Omega(\alpha,\beta) \) for all finite \( n \). |
||
* \( \psi_\Omega(\alpha) \) is the least \( \rho < \Omega \) so that \( C^\Omega(\alpha, \rho) \cap \Omega = \rho \). |
* \( \psi_\Omega(\alpha) \) is the least \( \rho < \Omega \) so that \( C^\Omega(\alpha, \rho) \cap \Omega = \rho \). |