Jump to content

Talk:Core model

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]
[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: 5 June 2024).

  • 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#." — Preceding unsigned comment added by 209.93.218.2 (talkcontribs)