Infinitely More
Subscribe
Sign in
Home
The Book of Infinity
A Panorama of Logic
Infinite Games
Proof and the Art
Philosophy of Mathematics
My books
Music videos
Archive
Leaderboard
About
ordinal-definability
Ordinal definability—how did Gödel do it?
Gödel proposed the concept of ordinal definability well before the reflection theorem of Lévy and Montague existed. How did he do it?
Sep 20
•
Joel David Hamkins
20
3
Ordinal definability is definable
Why is the notion of ordinal definability definable in set theory, when the underlying notion of definability, we know, is not definable? How do we…
Aug 31
•
Joel David Hamkins
16
2
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
