Structural 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 11:3211:32, 3 December 2023 OAbot talk contribs m 12,401 bytes −4 Open access bot: doi updated in citation with #oabot. undo

curprev 20:2020:20, 10 March 2023 OlliverWithDoubleL talk contribs m 12,405 bytes +22 fixed typos undo
curprev 20:1120:11, 10 March 2023 OlliverWithDoubleL talk contribs 12,383 bytes +584 added short description, reformatted example section to use <math> for clarity undo

curprev 09:5309:53, 7 January 2023 Cewbot talk contribs m 11,799 bytes +1 Fixing broken anchor: 2007-06-30 #Łoś' theorem→Ultraproduct#Łoś's theorem undo

curprev 22:4822:48, 1 December 2022 GeneralPoxter talk contribs 11,798 bytes −5 →top: Doesn't have to be little l undo
curprev 22:4722:47, 1 December 2022 GeneralPoxter talk contribs 11,803 bytes +2 This is the best compromise between math mode and italics I can find w/o redoing all of the notation undo
curprev 22:4422:44, 1 December 2022 GeneralPoxter talk contribs 11,801 bytes −9 Consistent style undo

curprev 18:4518:45, 3 September 2022 Mgkrupa talk contribs 11,810 bytes +24 Added {{Mathematical logic}} undo

curprev 15:4815:48, 8 August 2022 Addemf talk contribs 11,786 bytes +103 →References: added a reference undo

curprev 01:4101:41, 7 August 2022 Addemf talk contribs 11,683 bytes −94 Undid revision 1102811003 by Addemf (talk) undo Tag: Undo
curprev 01:1001:10, 7 August 2022 Addemf talk contribs 11,777 bytes +94 →References: Added reference for generalized induction. undo Tag: Reverted

curprev 18:5718:57, 13 January 2021 Monkbot talk contribs m 11,683 bytes +1 Task 18 (cosmetic): eval 4 templates: hyphenate params (1×); undo Tag: AWB

curprev 04:1604:16, 10 June 2020 InternetArchiveBot talk contribs 11,682 bytes +84 Bluelink 1 book for verifiability (refca)) #IABot (v2.0.1) (GreenC bot undo

curprev 22:3722:37, 4 May 2020 Trappist the monk talk contribs m 11,598 bytes −4 →References: remove 'invisible' characters from cs1|2 template parameters; (2× NBSP; 2× extra spaces) undo Tag: AWB

curprev 08:5708:57, 12 April 2020 OAbot talk contribs m 11,602 bytes +20 Open access bot: doi added to citation with #oabot. undo

curprev 14:3514:35, 11 August 2019 Joel Brennan talk contribs m 11,582 bytes 0 No edit summary undo

curprev 03:3503:35, 8 June 2019 Mikhail Ryazanov talk contribs m 11,582 bytes +4 →References: punct. undo
curprev 03:3503:35, 8 June 2019 Mikhail Ryazanov talk contribs m 11,578 bytes −1 →Examples: punct. undo
curprev 03:3403:34, 8 June 2019 Mikhail Ryazanov talk contribs m 11,579 bytes −9 →top: punct. undo

curprev 10:2210:22, 16 February 2019 Citation bot talk contribs m 11,588 bytes −18 Alter: isbn. Add: hdl. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 01:3701:37, 6 February 2019 Jarble talk contribs 11,606 bytes +61 adding links to references using Google Scholar undo

curprev 09:4909:49, 9 September 2018 Jochen Burghardt talk contribs 11,545 bytes +12 restore correct original version undo

curprev 23:2023:20, 8 September 2018 71.244.133.132 talk 11,533 bytes −1 No edit summary undo
curprev 23:1923:19, 8 September 2018 71.244.133.132 talk 11,534 bytes −12 No edit summary undo
curprev 23:1923:19, 8 September 2018 71.244.133.132 talk 11,546 bytes +1 No edit summary undo

curprev 07:4507:45, 15 January 2018 Cedar101 talk contribs m 11,545 bytes +278 {{ordered list|list_style_type=upper-alpha}} undo

curprev 10:5210:52, 22 December 2017 5.2.200.163 talk 11,267 bytes +4 for all undo

curprev 21:4221:42, 8 August 2017 Tudor987 talk contribs 11,263 bytes 0 No edit summary undo

curprev 13:2613:26, 27 May 2017 Josve05a talk contribs 11,753 bytes +481 request copyvio-revdel undo Tag: 2017 wikitext editor
curprev 11:4011:40, 27 May 2017 65HCA7 talk contribs 11,272 bytes −3,092 rv, don't paste textbook material here
curprev 10:4410:44, 27 May 2017 Amintajdar talk contribs m 14,364 bytes +2,545 No edit summary Tag: Visual edit
curprev 09:2009:20, 27 May 2017 Amintajdar talk contribs m 11,819 bytes +547 To prove results about recursively defined sets, we generally use some form of mathematical induction. Example 1 illustrates the connection between recursively defined sets and mathematical induction. EXAMPLE 1 Show that the set S defined in Examp Tags: categories removed Visual edit

curprev 08:5208:52, 26 May 2017 Jochen Burghardt talk contribs 11,272 bytes −1,825 Undid revision 782335401 by Amintajdar (talk): poorly formatted example in the wrong place
curprev 07:2807:28, 26 May 2017 Amintajdar talk contribs 13,097 bytes +1,825 Amin Tags: Mobile edit Mobile web edit

curprev 18:5218:52, 22 May 2017 RJGray talk contribs 11,272 bytes +83 →top: Added 3 links. undo

curprev 18:3618:36, 21 May 2017 PIerre.Lescanne talk contribs 11,189 bytes +349 →References: Rosza Peter undo

curprev 17:1917:19, 20 May 2017 RJGray talk contribs 10,840 bytes +40 →top: Added "formulas" to examples since this structure is in used in math logic (see Łoś' theorem). Also, I will be linking to this article for a structural induction using formulas. undo

curprev 22:4922:49, 7 November 2016 2601:445:4001:8a30:844f:619b:2ff:e2e1 talk 10,800 bytes +334 cleanup per WP:MOSMATH undo

curprev 11:3311:33, 1 November 2016 193.231.19.53 talk 10,466 bytes +4 No edit summary undo

curprev 03:5603:56, 9 May 2016 Nbarth talk contribs 10,462 bytes +38 →See also: Loop invariant undo

curprev 16:5016:50, 22 February 2016 138.51.120.235 talk 10,424 bytes −6 his/her --> their undo

curprev 21:4721:47, 26 July 2015 Jochen Burghardt talk contribs 10,430 bytes −12 Undid revision 673184026 by 218.48.203.58 (talk) undo
curprev 18:0318:03, 26 July 2015 218.48.203.58 talk 10,442 bytes +12 No edit summary undo

curprev 15:4915:49, 24 July 2014 Monkbot talk contribs m 10,430 bytes +4 →References: Task 5: Fix CS1 deprecated coauthor parameter errors undo

3 December 2023

10 March 2023

7 January 2023

1 December 2022

3 September 2022

8 August 2022

7 August 2022

13 January 2021

10 June 2020

4 May 2020

12 April 2020

11 August 2019

8 June 2019

16 February 2019

6 February 2019

9 September 2018

8 September 2018

15 January 2018

22 December 2017

8 August 2017

28 May 2017

27 May 2017

26 May 2017

22 May 2017

21 May 2017

20 May 2017

7 November 2016

1 November 2016

9 May 2016

22 February 2016

26 July 2015

24 July 2014