List of ordinals: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 12:
 
== Countable ordinals ==
In this list we assume there is a transitive model of ZFC. The \(\psi\) is Extended Buchholz unless specified.<!--Necessary to compare ordinals such as "least a such that L_a models ZFC"--> The \(\psi\) is Extended Buchholz unless specified.
* [[0]], the smallest ordinal
* [[1]], the first successor ordinal
160

edits