Non-standard model of arithmetic: Revision history

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:4821:48, 27 December 2023‎ Daveagp talk contribs‎ 9,975 bytes +332‎ →‎From an ultraproduct: Fix mid-2019 wrong simplification. See https://mathoverflow.net/questions/461104/seeking-clarification-of-ultrapower-nonstandard-model-of-arithmetic/461157#461157 undo

curprev 09:0509:05, 18 October 2023‎ Jochen Burghardt talk contribs‎ 9,643 bytes +240‎ →‎top: join adjacent links; source for uniqueness of nat.num.s w.r.t. 2nd-order Peano axioms undo

curprev 14:5914:59, 17 October 2023‎ Mjaðveig talk contribs‎ 9,403 bytes +225‎ No edit summary undo

curprev 12:5512:55, 12 July 2023‎ Citation bot talk contribs‎ 9,178 bytes +30‎ Alter: title. Add: doi. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Formal theories of arithmetic | #UCB_Category 1/17 undo

curprev 13:0813:08, 16 December 2022‎ Jochen Burghardt talk contribs‎ 9,148 bytes +46‎ →‎See also: establish relevance undo
curprev 01:2401:24, 16 December 2022‎ Partofthemachine talk contribs‎ 9,102 bytes +42‎ See also undo

curprev 16:1516:15, 27 May 2022‎ LaundryPizza03 talk contribs‎ 9,060 bytes +13‎ →‎From an ultraproduct: Then don't use that term. undo
curprev 08:1708:17, 27 May 2022‎ Jochen Burghardt talk contribs‎ 9,047 bytes −4‎ Undid revision 1090053836 by LaundryPizza03 (talk): yes, but not that one; here it means the sequences eventually agree, no measure space is involved undo Tag: Undo
curprev 02:5002:50, 27 May 2022‎ LaundryPizza03 talk contribs‎ m 9,051 bytes +4‎ →‎From an ultraproduct: this has a precise deninition undo Tag: Reverted

curprev 19:3719:37, 15 January 2022‎ Mgkrupa talk contribs‎ 9,047 bytes +54‎ Added {{Mathematical logic}} undo

curprev 14:2514:25, 1 January 2022‎ 198.254.123.125 talk‎ 8,993 bytes −2‎ fixed grammar undo

curprev 13:3413:34, 25 October 2021‎ 2a02:1812:110c:dc00:4993:8f90:ad74:25e2 talk‎ 8,995 bytes +138‎ No edit summary undo

curprev 02:5402:54, 21 September 2021‎ John Baez talk contribs‎ 8,857 bytes −28‎ →‎Structure of countable non-standard models: got rid of clarification request since the clarification comes immediately after: joined two paragraphs. undo

curprev 00:2900:29, 16 July 2021‎ Mr248 talk contribs‎ 8,885 bytes +97‎ Adding short description: "Model of (first-order) Peano arithmetic that contains non-standard numbers" (Shortdesc helper) undo

curprev 22:2722:27, 26 April 2021‎ AnomieBOT talk contribs‎ m 8,788 bytes +16‎ Dating maintenance tags: {{Clarify}} undo
curprev 20:2720:27, 26 April 2021‎ 71.139.124.132 talk‎ 8,772 bytes +11‎ →‎Structure of countable non-standard models: . . . go on. . .? undo

curprev 23:0023:00, 16 February 2021‎ 24.43.123.69 talk‎ 8,761 bytes +16‎ →‎Structure of countable non-standard models undo

curprev 01:1401:14, 11 June 2020‎ David Eppstein talk contribs‎ 8,745 bytes +254‎ →‎From an ultraproduct: supply requested citation undo

curprev 01:2201:22, 16 February 2020‎ Jordan Mitchell Barrett talk contribs‎ m 8,491 bytes −35‎ Removed nonstandard analysis category undo

curprev 10:2710:27, 30 June 2019‎ AnomieBOT talk contribs‎ m 8,526 bytes +15‎ Dating maintenance tags: {{Cn}} undo
curprev 10:0710:07, 30 June 2019‎ Jochen Burghardt talk contribs‎ 8,511 bytes +5‎ →‎From an ultraproduct: not sure either about 178.5.217.175's edit; was tempted, but in the end didn't dare to link to almost everywhere#Definition using ultrafilters; requiring a source for any of old/new version undo
curprev 04:4904:49, 30 June 2019‎ 203.194.51.42 talk‎ 8,506 bytes +37‎ →‎References undo
curprev 04:4604:46, 30 June 2019‎ 203.194.51.42 talk‎ 8,469 bytes +4‎ →‎Citations undo

curprev 22:3122:31, 29 June 2019‎ 178.5.217.175 talk‎ 8,465 bytes −61‎ →‎From an ultraproduct: Simplified explanation. This took me a while to wiki-walk down, I'm not absolutely sure this is right. undo Tags: Mobile edit Mobile web edit

curprev 08:1708:17, 30 January 2019‎ AndrewWTaylor talk contribs‎ 8,526 bytes −22‎ →‎Structure of countable non-standard models: tweak wording undo Tag: 2017 wikitext editor

curprev 19:2819:28, 17 October 2018‎ Lexande talk contribs‎ 8,548 bytes +10‎ →‎Structure of countable non-standard models undo

curprev 02:5602:56, 23 August 2018‎ Apokrif talk contribs‎ m 8,538 bytes +8‎ No edit summary undo

curprev 00:4100:41, 20 June 2017‎ CBM talk contribs‎ m 8,530 bytes +4‎ Manually reviewed edit to replace magic words per local rfc undo

curprev 14:0114:01, 2 June 2017‎ Chris the speller talk contribs‎ m 8,526 bytes −1‎ →‎Structure of countable non-standard models: replaced: Ph. D. → Ph.D. using AWB undo

curprev 11:5711:57, 3 March 2017‎ Jochen Burghardt talk contribs‎ 8,527 bytes +173‎ →‎References: ((cite)); open-access url undo

curprev 13:3713:37, 5 October 2016‎ Dewritech talk contribs‎ 8,354 bytes +1‎ clean up, typo(s) fixed: However → However, using AWB undo

curprev 02:3202:32, 6 August 2016‎ Quondum talk contribs‎ 8,353 bytes +4‎ →‎Arithmetic unsoundness for models with ~G true: fmt undo
curprev 02:2802:28, 6 August 2016‎ Quondum talk contribs‎ 8,349 bytes +275‎ →‎Structure of countable non-standard models: fmt; qualification on 'u' undo

curprev 17:5217:52, 4 June 2016‎ 86.132.223.212 talk‎ 8,074 bytes +5‎ →‎Structure of countable non-standard models undo
curprev 17:5117:51, 4 June 2016‎ 86.132.223.212 talk‎ 8,069 bytes −1‎ →‎Structure of countable non-standard models undo
curprev 17:4917:49, 4 June 2016‎ 86.132.223.212 talk‎ 8,070 bytes +13‎ →‎Structure of countable non-standard models undo

curprev 21:4921:49, 9 August 2015‎ Taneli HUUSKONEN talk contribs‎ m 8,057 bytes +8‎ →‎From an ultraproduct: Terminology, wikification undo

curprev 19:4619:46, 8 February 2015‎ Dl2000 talk contribs‎ 8,049 bytes +35‎ ordinals not normally used for dates (WP:DATESNO) undo

curprev 17:2917:29, 13 September 2014‎ 86.132.251.117 talk‎ 8,014 bytes −2‎ No edit summary undo

curprev 05:4805:48, 10 June 2014‎ 206.87.110.34 talk‎ 8,016 bytes −4‎ →‎Structure of countable non-standard models: typo undo
curprev 05:4805:48, 10 June 2014‎ 206.87.110.34 talk‎ 8,020 bytes +21‎ →‎Structure of countable non-standard models undo

curprev 21:2021:20, 29 March 2014‎ 86.132.223.83 talk‎ 7,999 bytes +3‎ No edit summary undo

curprev 16:0316:03, 3 January 2014‎ 173.228.119.252 talk‎ 7,996 bytes −20‎ →‎Structure of countable non-standard models undo
curprev 15:5515:55, 3 January 2014‎ 173.228.119.252 talk‎ 8,016 bytes +17‎ →‎Structure of countable non-standard models undo

curprev 00:4900:49, 20 June 2013‎ FrescoBot talk contribs‎ m 7,999 bytes +1‎ Bot: link syntax/spacing undo

curprev 14:1114:11, 4 June 2013‎ Tkuvho talk contribs‎ 7,998 bytes −6‎ un-settify undo

curprev 14:4614:46, 17 May 2013‎ 62.44.101.70 talk‎ 8,004 bytes +1‎ →‎Structure of countable non-standard models undo

curprev 22:5822:58, 15 March 2013‎ Addbot talk contribs‎ m 8,003 bytes −80‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q3318130 undo

curprev 01:1401:14, 9 January 2013‎ CBM talk contribs‎ 8,083 bytes −158‎ Remove expert tag and copyedit section in question undo

curprev 22:0922:09, 8 January 2013‎ BG19bot talk contribs‎ m 8,241 bytes −7‎ →‎Structure of countable non-standard models: WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (8853) undo

27 December 2023

18 October 2023

17 October 2023

12 July 2023

16 December 2022

27 May 2022

15 January 2022

1 January 2022

25 October 2021

21 September 2021

16 July 2021

26 April 2021

16 February 2021

11 June 2020

16 February 2020

30 June 2019

29 June 2019

30 January 2019

17 October 2018

23 August 2018

20 June 2017

2 June 2017

3 March 2017

5 October 2016

6 August 2016

4 June 2016

9 August 2015

8 February 2015

13 September 2014

10 June 2014

29 March 2014

3 January 2014

20 June 2013

4 June 2013

17 May 2013

15 March 2013

9 January 2013

8 January 2013