Content deleted Content added
No edit summary |
Tungster24 (talk | contribs) →Extended Buchholz's ψ: it's not the Omega Fixed Point that's called EBO, rather the collapse within the extended buchholz OCF that's called EBO. |
||
Line 253:
=== Extended Buchholz's ''ψ'' ===
{{Main|Buchholz psi functions#Extension}}
This OCF is a sophisticated extension of Buchholz's <math>\psi</math> by mathematician Denis Maksudov. The limit of this system ,sometimes called the Extended Buchholz Ordinal, is much greater, equal to <math>\psi_0(\Omega_{\Omega_{\Omega_{\cdots}}})</math> where <math>\Omega_{\Omega_{\Omega_{...}}}</math> denotes the first omega fixed point
* Define <math>\Omega_0 = 1</math> and <math>\Omega_\nu = \aleph_\nu</math> for <math>\nu > 0</math>.
| |||