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)[reply]

References would be nice, too. And a link to Hugh Woodin? Charles Matthews 10:06, 18 August 2006 (UTC)[reply]

I think that HOD refers to the class of "hereditarily ordinal definable sets". JRSpriggs (talk) 20:50, 31 January 2010 (UTC)[reply]

"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)[reply]

I'll add a technical tag at the top. Tim O'Doherty (talk) 16:14, 10 February 2023 (UTC)[reply]

Absent a transfinitely strongly hyper-technical tag, that seems apt. Thanks. 109.255.211.6 (talk) 18:59, 10 February 2023 (UTC)[reply]

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)[reply]

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)[reply]