Transfinite induction: 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 20:1520:15, 8 October 2023‎ Oneequalsequalsone talk contribs‎ m 8,501 bytes −25‎ →‎Induction by cases: fix reference to property undo Tag: Visual edit

curprev 14:5214:52, 30 May 2023‎ 173.11.52.249 talk‎ 8,526 bytes +1‎ →‎Relationship to the axiom of choice undo

curprev 10:1010:10, 20 January 2023‎ Claus aus Leipzig talk contribs‎ 8,525 bytes −3‎ →‎Transfinite recursion: Corrected an inaccuracy in the example of for transfinite recursion. undo

curprev 07:5807:58, 12 December 2022‎ Tea2min talk contribs‎ m 8,528 bytes −1‎ →‎top: Punctuation/whitespace fix. undo

curprev 11:3111:31, 5 November 2022‎ 129.67.16.1 talk‎ 8,529 bytes −4‎ →‎Transfinite recursion undo

curprev 18:4218:42, 3 September 2022‎ Mgkrupa talk contribs‎ 8,533 bytes +24‎ Added {{Mathematical logic}} undo

curprev 16:3716:37, 29 August 2022‎ 178.206.2.254 talk‎ 8,509 bytes −3‎ →‎Transfinite recursion: link correction undo

curprev 17:2517:25, 1 July 2022‎ 98.247.209.240 talk‎ 8,512 bytes +34‎ No edit summary undo

curprev 17:4917:49, 24 March 2022‎ C7XWiki talk contribs‎ 8,478 bytes +143‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 08:2308:23, 16 December 2021‎ Cedar101 talk contribs‎ m 8,335 bytes −32‎ →‎Transfinite recursion: merge <math> undo

curprev 22:4622:46, 1 October 2021‎ Tc14Hd talk contribs‎ 8,367 bytes 0‎ No edit summary undo Tags: Mobile edit Mobile app edit Android app edit

curprev 15:1615:16, 18 June 2021‎ 2a02:1812:110c:dc00:3077:ac8:f78d:f238 talk‎ 8,367 bytes +93‎ No edit summary undo

curprev 15:4815:48, 7 November 2020‎ Citation bot talk contribs‎ 8,274 bytes −40‎ Alter: url. URLs might have been internationalized/anonymized. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 3348/3977 undo

curprev 03:3203:32, 5 November 2020‎ Tom.Reding talk contribs‎ m 8,314 bytes +62‎ Category:CS1 maint: multiple names: authors list/ref cleanup; WP:GenFixes on undo Tag: AWB

curprev 17:5117:51, 6 October 2020‎ Trovatore talk contribs‎ 8,252 bytes +227‎ →‎Induction by cases: add explanatory note about this case undo
curprev 17:0417:04, 6 October 2020‎ JRSpriggs talk contribs‎ 8,025 bytes −31‎ Undid revision 982168217 by 130.225.188.33 (talk) unnecessary assumption undo Tag: Undo
curprev 15:1515:15, 6 October 2020‎ 130.225.188.33 talk‎ 8,056 bytes +31‎ →‎Induction by cases: Necessary assumption undo Tags: Reverted Mobile edit Mobile app edit Android app edit

curprev 19:0519:05, 24 August 2020‎ JRSpriggs talk contribs‎ 8,025 bytes +23‎ add header "Induction by cases" undo

curprev 14:0214:02, 28 October 2019‎ 739k9 talk contribs‎ 8,002 bytes +286‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 07:1407:14, 20 October 2019‎ 184.57.116.65 talk‎ 7,716 bytes 0‎ →‎See also undo

curprev 16:4316:43, 13 August 2019‎ 66.35.36.132 talk‎ 7,716 bytes +19‎ →‎See also: Added Zorn's Lemma which is often used in proofs as a replacement for Transfinite Induction undo

curprev 14:0414:04, 11 August 2019‎ Joel Brennan talk contribs‎ m 7,697 bytes +2‎ →‎Transfinite recursion undo
curprev 14:0214:02, 11 August 2019‎ Joel Brennan talk contribs‎ m 7,695 bytes +20‎ →‎Transfinite recursion undo

curprev 19:1619:16, 18 July 2019‎ Jarble talk contribs‎ 7,675 bytes +121‎ adding links to references using Google Scholar undo

curprev 02:3802:38, 30 December 2018‎ Deacon Vorbis talk contribs‎ m 7,554 bytes +3‎ →‎Transfinite recursion: tex undo

curprev 09:0309:03, 21 February 2018‎ Trovatore talk contribs‎ 7,551 bytes +43‎ {{short description}} undo

curprev 09:5209:52, 2 July 2017‎ JRSpriggs talk contribs‎ 7,508 bytes +2‎ Undid revision 788572452 by Jonathon.cai (talk) brackets are necessary to make it clear that the quantifier only applies to the conclusion of the implication undo
curprev 05:2405:24, 2 July 2017‎ Jonathon.cai talk contribs‎ m 7,506 bytes −2‎ Got rid of brackets around assumption for limit ordinals undo

curprev 07:0807:08, 7 January 2017‎ UU talk contribs‎ 7,508 bytes +25‎ add related number undo

curprev 19:3419:34, 25 July 2016‎ Leegrc talk contribs‎ 7,483 bytes 0‎ For this verb form, "proved" is better. Contrastingly, "proven" is better as an adjective meaning "dependable". undo

curprev 05:2805:28, 18 May 2016‎ Trovatore talk contribs‎ 7,483 bytes −480‎ Undid revision 720798103 by 73.205.34.98 (talk) undo
curprev 00:3600:36, 18 May 2016‎ 73.205.34.98 talk‎ 7,963 bytes +480‎ →‎Notes undo

curprev 23:3223:32, 16 February 2016‎ 94.113.251.98 talk‎ 7,483 bytes +26‎ No edit summary undo

curprev 05:1905:19, 30 October 2015‎ JRSpriggs talk contribs‎ 7,457 bytes −20‎ Undid revision 688051079 by Ørsted (talk) unnecessary undo

curprev 09:5509:55, 29 October 2015‎ Ørsted talk contribs‎ 7,477 bytes +20‎ We need one crucial point: P(0) must be true as well. undo Tag: Visual edit

curprev 11:0711:07, 9 October 2015‎ 91.19.212.241 talk‎ 7,457 bytes −126‎ No edit summary undo

curprev 10:1910:19, 8 October 2015‎ Tea2min talk contribs‎ 7,583 bytes −237‎ →‎top: Remove a paragraph that seems redundant to me. (Of course, feel free to revert if you disagree.) undo
curprev 10:1710:17, 8 October 2015‎ Tea2min talk contribs‎ 7,820 bytes −24‎ →‎top: Consistent use of math markup (i.e. remove two instances where <math>...</math> markup was used when it wasn't used in the rest of the lede). I guess the presentation should be changed according to Help:Math eventually. undo
curprev 10:0710:07, 8 October 2015‎ Tea2min talk contribs‎ 7,844 bytes −12‎ →‎top: Note that "Note that" is almost always unnecessary. undo
curprev 10:0510:05, 8 October 2015‎ Tea2min talk contribs‎ 7,856 bytes −2‎ →‎top: Fix list markup. (Double-spacing list lines breaks the list into a sequence of lists with one entry each. See WP:BULLETLIST.) undo

curprev 12:1312:13, 11 April 2015‎ ViolaPlayer talk contribs‎ m 7,858 bytes +34‎ →‎Transfinite recursion undo

curprev 22:2722:27, 23 October 2014‎ 71.203.123.252 talk‎ 7,824 bytes +2‎ No edit summary undo

curprev 18:3118:31, 8 October 2014‎ Brirush talk contribs‎ 7,822 bytes +328‎ →‎Transfinite recursion: Trying to make this more readable undo
curprev 17:3117:31, 8 October 2014‎ Brirush talk contribs‎ m 7,494 bytes +125‎ →‎Transfinite recursion: Simplified introduction to this section undo
curprev 17:0317:03, 8 October 2014‎ Brirush talk contribs‎ 7,369 bytes +397‎ Added an image undo

curprev 12:3312:33, 5 May 2014‎ Yobot talk contribs‎ m 6,972 bytes −31‎ WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 03:3603:36, 2 May 2014‎ JRSpriggs talk contribs‎ 7,003 bytes +6‎ →‎Transfinite recursion: "class function" is a class which acts like a function; without the word "class", "function" is a kind of set. See talk page, last section. undo
curprev 01:4901:49, 2 May 2014‎ 24.110.50.184 talk‎ 6,997 bytes +19‎ class function not defined here, and the class function wikipedia page seems to refer to a different notion. undo

curprev 18:4118:41, 15 March 2014‎ 67.252.103.23 talk‎ 6,978 bytes +105‎ →‎See also undo

curprev 05:5405:54, 5 March 2014‎ 173.25.54.191 talk‎ 6,873 bytes +134‎ definitions undo

8 October 2023

30 May 2023

20 January 2023

12 December 2022

5 November 2022

3 September 2022

29 August 2022

1 July 2022

24 March 2022

16 December 2021

1 October 2021

18 June 2021

7 November 2020

5 November 2020

6 October 2020

24 August 2020

28 October 2019

20 October 2019

13 August 2019

11 August 2019

18 July 2019

30 December 2018

21 February 2018

2 July 2017

7 January 2017

25 July 2016

18 May 2016

16 February 2016

30 October 2015

29 October 2015

9 October 2015

8 October 2015

11 April 2015

23 October 2014

8 October 2014

5 May 2014

2 May 2014

15 March 2014

5 March 2014