Content deleted Content added
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. |
Tungster24 (talk | contribs) |
||
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
* Define <math>\Omega_0 = 1</math> and <math>\Omega_\nu = \aleph_\nu</math> for <math>\nu > 0</math>.
| |||