Talk:Woodin cardinal
Latest comment: 6 months ago by C7XWiki in topic "I'm not saying this article is unclear, but..."
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
What?
editThe article says "Working in ZF+AD+DC one can prove that is Woodin in HOD.". What are and HOD? Would someone please add pointers to articles which explain them or define them here. JRSpriggs 06:44, 18 August 2006 (UTC)
- References would be nice, too. And a link to Hugh Woodin? Charles Matthews 10:06, 18 August 2006 (UTC)
- I think that HOD refers to the class of "hereditarily ordinal definable sets". JRSpriggs (talk) 20:50, 31 January 2010 (UTC)
"I'm not saying this article is unclear, but..."
editThere's an entire quora article trying to explain it to people. And a rather heavily viewed one, at that. 109.255.211.6 (talk) 00:21, 9 February 2023 (UTC)
- I'll add a technical tag at the top. Tim O'Doherty (talk) 16:14, 10 February 2023 (UTC)
- Absent a transfinitely strongly hyper-technical tag, that seems apt. Thanks. 109.255.211.6 (talk) 18:59, 10 February 2023 (UTC)
- Hah hah. I thought that was a pretty ludicrous claim, but sure enough: quora.com: What is a Woodin Cardinal? is hardly any clearer than this article. But there's also Reddit's Please someone explain Woodin Cardinals to a mathematical novice! which says that it can be treated as just another axiom on ZF. 67.198.37.16 (talk) 03:40, 28 November 2023 (UTC)
- I have added a section based on Steel's AMS submission "What is... a Woodin cardinal?" that hopefully breaks the definition down into more parts than the denser text at the start of the article. C7XWiki (talk) 05:11, 11 April 2024 (UTC)