Talk:Woodin cardinal

What?
The article says "Working in ZF+AD+DC one can prove that $$\Theta _0$$ is Woodin in HOD.". What are $$\Theta _0$$ 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..."
There'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&#39;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)