Talk:Core model

There are two sections titled Construction of core models. Could they not be merged? 86.145.59.83 (talk) 10:25, 27 April 2014 (UTC)

The reference

: W.H. Woodin (2001). The Continuum Hypothesis, Part I. Notices of the AMS.

is not what it claims to be. 86.145.59.83 (talk) 10:30, 27 April 2014 (UTC)

::Care to elaborate? --Trovatore (talk) 07:53, 28 April 2014 (UTC)

:::The paper is titled 'Recent Advances in Core Model Theory'.31.52.252.154 (talk) 12:20, 3 November 2017 (UTC)

::::Here is a link to the paper directly. The title seems correct. [http://www.ams.org/notices/200106/fea-woodin.pdf]. The link in the references was not right, so I updated it. Anyone could have done that. — Carl (CBM · talk) 12:45, 3 November 2017 (UTC)

Hello fellow Wikipedians,

I have just added archive links to {{plural:1|one external link|1 external links}} on Core model. Please take a moment to review [https://en.wikipedia.org/w/index.php?diff=prev&oldid=705083328 my edit]. If necessary, add {{tlx|cbignore}} after the link to keep me from modifying it. Alternatively, you can add {{tlx|nobots|deny{{=}}InternetArchiveBot}} to keep me off the page altogether. I made the following changes:

• Added archive https://web.archive.org/20110617031749/http://www.math.ufl.edu/~wjm/papers/ to http://www.math.ufl.edu/~wjm/papers/

When you have finished reviewing my changes, please set the checked parameter below to true to let others know.

{{sourcecheck|checked=false}}

Cheers.—^{cyberbot II}_{Talk to my owner:Online} 11:44, 15 February 2016 (UTC)

Where does this conjecture appear? - "It is conjectured that if K exists and V is closed under a sharp operator M, then K is Σ11 correct allowing real numbers in K as parameters and M as a predicate. That amounts to Σ13 correctness (in the usual sense) if M is x→x#." — Preceding unsigned comment added by 209.93.218.2 (talk • contribs)