↧
Answer by Asaf Karagila for What is the order type of $L$ with Godel's well...
The first question can be answered by taking the idea of definable well-orderings which are not set-like. That is, we can consider the formula $\varphi(x,y)$ which states that $x,y$ are distinct...
View ArticleWhat is the order type of $L$ with Godel's well ordering?
In some sense $Ord$ is a "proper class" ordinal. Unfortunately the notion of a proper class ordinal is not a straight forward generalization of the notion of "set" ordinals because the proper classes...
View Article
More Pages to Explore .....