Ordinal definability–how did Gödel do it?(infinitelymore.xyz)2 points by baruchel 17 days ago | 0 commentsNo comments yet