Jump to content

Core model: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 21:0821:08, 11 October 2024 Maxeto0910 talk contribs 7,719 bytes +29 added disambiguation hatnote undo Tag: Visual edit: Switched

curprev 09:3309:33, 4 October 2024 Citation bot talk contribs 7,690 bytes +116 Add: date, title, authors 1-2. | Use this bot. Report bugs. | Suggested by Dominic3203 | #UCB_webform undo

curprev 05:5605:56, 26 September 2024 GünniX talk contribs m 7,574 bytes +19 More sources needed undo

curprev 05:0505:05, 24 September 2024 C7XWiki talk contribs 7,555 bytes +266 No edit summary undo
curprev 03:3303:33, 24 September 2024 C7XWiki talk contribs 7,289 bytes −22 No edit summary undo
curprev 03:3003:30, 24 September 2024 C7XWiki talk contribs 7,311 bytes +26 Possibly what the inline citation was referring to undo
curprev 03:2103:21, 24 September 2024 C7XWiki talk contribs 7,285 bytes +35 →References undo

curprev 03:4203:42, 18 September 2024 C7XWiki talk contribs 7,250 bytes +38 No edit summary undo

curprev 18:2318:23, 28 April 2021 Bender the Bot talk contribs m 7,212 bytes +1 →References: HTTP → HTTPS for the American Mathematical Society, replaced: [http://www.ams.org/ → [https://www.ams.org/ undo Tag: AWB

curprev 21:3221:32, 13 March 2018 RJGray talk contribs 7,211 bytes −4 →References: Deleted duplicate link undo
curprev 21:2921:29, 13 March 2018 RJGray talk contribs 7,215 bytes +70 Added links; deleted a duplicate undo

curprev 12:4712:47, 3 November 2017 CBM talk contribs 7,145 bytes −24 →References: fix link undo

curprev 20:5420:54, 22 September 2017 176.25.83.71 talk 7,169 bytes 0 No edit summary undo

curprev 18:3918:39, 3 July 2017 Chris the speller talk contribs m 7,169 bytes 0 →Properties of core models: replaced: well-understood → well understood using AWB undo

curprev 12:0012:00, 20 June 2017 CBM talk contribs m 7,169 bytes +4 Manually reviewed edit to replace magic words per local rfc undo

curprev 14:1914:19, 7 September 2016 GreenC bot talk contribs m 7,165 bytes +4 WaybackMedic 2 undo

curprev 11:4411:44, 15 February 2016 Cyberbot II talk contribs 7,161 bytes +10 Rescuing 1 sources, flagging 0 as dead, and archiving 0 sources. #IABot undo

curprev 18:4218:42, 3 February 2015 Dmytro talk contribs 7,151 bytes −161 replaced some partial results with a stronger result and a reference undo

curprev 08:1208:12, 27 October 2014 Mark viking talk contribs 7,312 bytes +4 →Construction of core models: Added wl undo
curprev 08:1108:11, 27 October 2014 Mark viking talk contribs 7,308 bytes +4 →Construction of core models: Added wl undo

curprev 17:2317:23, 22 October 2014 Cnwilliams talk contribs 7,304 bytes +33 Disambiguated: GCH → Generalized Continuum Hypothesis undo

curprev 14:1814:18, 17 July 2014 Magioladitis talk contribs m 7,271 bytes −4 clean up / dead link template normalisation to assist db scan using AWB (10310) undo

curprev 11:4911:49, 26 April 2014 AnomieBOT talk contribs m 7,275 bytes +16 Dating maintenance tags: {{Broken link}} undo
curprev 09:4809:48, 26 April 2014 86.185.216.38 talk 7,259 bytes +2 →References undo
curprev 09:4709:47, 26 April 2014 86.185.216.38 talk 7,257 bytes +166 →References undo

curprev 02:4102:41, 27 July 2013 108.221.52.37 talk 7,091 bytes −3 No edit summary undo
curprev 02:0802:08, 27 July 2013 108.221.52.37 talk 7,094 bytes −6 Simple grammar/typo edits, and changed "interesect" to the appropriate symbol. I think. undo Tag: Visual edit

curprev 01:5401:54, 7 November 2010 BrideOfKripkenstein talk contribs 7,100 bytes +8 →Properties of core models: link GCH, diamond princ. undo

curprev 15:4415:44, 22 August 2009 Ben Standeven talk contribs 7,092 bytes −2,545 →Construction of core models: g undo
curprev 15:4315:43, 22 August 2009 Ben Standeven talk contribs 9,637 bytes +2,736 →Properties of core models: separate the actual properties out. undo

curprev 23:1023:10, 19 August 2009 Ben Standeven talk contribs 6,901 bytes +7 →History: No, it was Kunen that developed iterated ultrapowers. undo
curprev 23:0523:05, 19 August 2009 Ben Standeven talk contribs 6,894 bytes +122 →References: cite Mitchell undo
curprev 22:4322:43, 19 August 2009 Ben Standeven talk contribs 6,772 bytes +151 →History: expand a bit on later core models. undo
curprev 22:3922:39, 19 August 2009 Ben Standeven talk contribs 6,621 bytes +225 →History: L[U] info undo

curprev 23:4323:43, 27 July 2009 Ben Standeven talk contribs 6,396 bytes +111 mention core model program undo

curprev 01:4401:44, 11 July 2009 71.139.35.97 talk 6,285 bytes +75 added a few section heads to break up the text, hyphenated 'fine-structural' undo
curprev 01:4201:42, 11 July 2009 71.139.35.97 talk 6,210 bytes 0 →References: spelling 'Woodin' undo

curprev 23:2823:28, 15 May 2009 DrilBot talk contribs m 6,210 bytes −14 WikiProject Check Wikipedia cleanup (break in list) and general fixes undo

curprev 11:2811:28, 25 February 2009 Chalst talk contribs 6,224 bytes +145 +ln2 (Woodin 2001) undo

curprev 09:0209:02, 20 September 2008 Salix alba talk contribs 6,079 bytes +18 fix link to set (mathematics) using AWB undo

curprev 22:0322:03, 19 December 2007 Trovatore talk contribs m 6,061 bytes −1 let's not change correct spellings from original version undo
curprev 21:3921:39, 19 December 2007 FlashSheridan talk contribs m 6,062 bytes 0 grammar undo

curprev 16:5316:53, 31 January 2007 Ntsimp talk contribs m 6,062 bytes −4 Removed redundant link; made capitalization of "covering lemma" consistent undo

curprev 09:4009:40, 13 May 2006 JRSpriggs talk contribs 6,066 bytes +29 add to large cardinals category undo

curprev 13:4913:49, 3 May 2006 Bluebot talk contribs 6,037 bytes −6 unicodifying and correcting syntax using AWB undo

curprev 23:5023:50, 10 March 2006 Dmytro talk contribs m 6,043 bytes +110 No edit summary undo

curprev 19:3119:31, 9 March 2006 Dmytro talk contribs m 5,933 bytes +45 No edit summary undo

curprev 02:4702:47, 8 March 2006 Dmytro talk contribs 5,888 bytes +763 No edit summary undo

curprev 17:3317:33, 7 March 2006 Dmytro talk contribs 5,125 bytes +3,456 No edit summary undo

curprev 15:5915:59, 21 January 2006 Trovatore talk contribs 1,669 bytes +8 more specific category (set theory -> inner model theory) undo

Retrieved from "https://en.wikipedia.org/wiki/Core_model"