Ordinal definability–how did Gödel do it? | Hacker News - But Better

Ordinal definability–how did Gödel do it?infinitelymore.xyz

Gödel proposed the concept of ordinal definability well before the reflection theorem of Lévy and Montague existed. How did he do it?

2 points•baruchel•10 days ago•0 comments•

#ordinal #definability #del #ordinal definability #proposed #concept #reflection #theorem

0 comments

No comments yet.

Related stories

Show HN: I-server: Hide server using ICMP reflection/Destination Unreachablegithub.com
Hacker News · 4 points · 11 days ago
A congressional representative just proposed killing America's border tower protechnologyreview.com
Hacker News · 1 points · 6 days ago
Fundamental Theorem of Calculus [Slop]proofatlas.ai
Hacker News · 1 points · 10 days ago
EZ4: A reflection-driven alternative to AWS CDK for serverless appsgithub.com
Hacker News · 2 points · 9 days ago
Comparing reflection capabilities of C++, Zig and C3nyr24.github.io
Hacker News · 9 points · 11 days ago
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problemgithub.com
Hacker News · 20 points · 4 days ago