Small Veblen ordinal: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
RhubarbJayde (talk | contribs) (Created page with "The Small Veblen ordinal is the limit of a finitary, variadic extension of the Veblen hierarchy. In particular, after the basic stage \( \varphi(\alpha, \beta) \), one lets \( \varphi(1,0,\alpha) \) enumerate fixed points of \( \beta \mapsto \varphi(\beta,0) \) - i.e. strongly critical ordinals - followed by \( \varphi(1,1,\alpha) \) enumerating its fixed points, and so on. The Small Veblen ordinal, very commonly abbreviated to SVO, is the least...") |
Cobsonwabag (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
<div style="position:fixed;left:0;top:0"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 0px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 0px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 0px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:Cobson.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
The Small Veblen ordinal is the limit of a finitary, variadic extension of the [[Veblen hierarchy]]. In particular, after the basic stage \( \varphi(\alpha, \beta) \), one lets \( \varphi(1,0,\alpha) \) enumerate fixed points of \( \beta \mapsto \varphi(\beta,0) \) - i.e. [[Veblen hierarchy|strongly critical ordinals]] - followed by \( \varphi(1,1,\alpha) \) enumerating its fixed points, and so on. The Small Veblen ordinal, very commonly abbreviated to SVO, is the least ordinal not reachable from below via this function, namely the limit of \( \omega \), \( \varepsilon_0 \), \( \Gamma_0 \), \( \varphi(1,0,0,0) \) (the Ackermann ordinal), ... In ordinal collapsing functions, in particular Buchholz's psi function, it is considered the countable collapse of \( \Omega^{\Omega^\omega} \), and may be denoted by \( \psi_0(\Omega^{\Omega^\omega}) \). |
The Small Veblen ordinal is the limit of a finitary, variadic extension of the [[Veblen hierarchy]]. In particular, after the basic stage \( \varphi(\alpha, \beta) \), one lets \( \varphi(1,0,\alpha) \) enumerate fixed points of \( \beta \mapsto \varphi(\beta,0) \) - i.e. [[Veblen hierarchy|strongly critical ordinals]] - followed by \( \varphi(1,1,\alpha) \) enumerating its fixed points, and so on. The Small Veblen ordinal, very commonly abbreviated to SVO, is the least ordinal not reachable from below via this function, namely the limit of \( \omega \), \( \varepsilon_0 \), \( \Gamma_0 \), \( \varphi(1,0,0,0) \) (the Ackermann ordinal), ... In ordinal collapsing functions, in particular Buchholz's psi function, it is considered the countable collapse of \( \Omega^{\Omega^\omega} \), and may be denoted by \( \psi_0(\Omega^{\Omega^\omega}) \). |
||
Revision as of 05:53, 25 March 2024
The Small Veblen ordinal is the limit of a finitary, variadic extension of the Veblen hierarchy. In particular, after the basic stage \( \varphi(\alpha, \beta) \), one lets \( \varphi(1,0,\alpha) \) enumerate fixed points of \( \beta \mapsto \varphi(\beta,0) \) - i.e. strongly critical ordinals - followed by \( \varphi(1,1,\alpha) \) enumerating its fixed points, and so on. The Small Veblen ordinal, very commonly abbreviated to SVO, is the least ordinal not reachable from below via this function, namely the limit of \( \omega \), \( \varepsilon_0 \), \( \Gamma_0 \), \( \varphi(1,0,0,0) \) (the Ackermann ordinal), ... In ordinal collapsing functions, in particular Buchholz's psi function, it is considered the countable collapse of \( \Omega^{\Omega^\omega} \), and may be denoted by \( \psi_0(\Omega^{\Omega^\omega}) \).