Talk:Core model

Latest comment: 6 years ago by CBM in topic Erroneous reference

Two sections with the same title edit

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)Reply

Erroneous reference edit

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)Reply

Care to elaborate? --Trovatore (talk) 07:53, 28 April 2014 (UTC)Reply
The paper is titled 'Recent Advances in Core Model Theory'.31.52.252.154 (talk) 12:20, 3 November 2017 (UTC)Reply
Here is a link to the paper directly. The title seems correct. [1]. 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)Reply

External links modified edit

Hello fellow Wikipedians,

I have just added archive links to one external link on Core model. Please take a moment to review my edit. If necessary, add {{cbignore}} after the link to keep me from modifying it. Alternatively, you can add {{nobots|deny=InternetArchiveBot}} to keep me off the page altogether. I made the following changes:

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

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 18 January 2022).

  • If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
  • If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—cyberbot IITalk to my owner:Online 11:44, 15 February 2016 (UTC)Reply

Citation would be nice edit

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#."