Jump to content

Choice sequence: 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 20:4820:48, 23 May 2025 OAbot talk contribs m 8,850 bytes +25 Open access bot: url-access updated in citation with #oabot. undo

curprev 14:4114:41, 12 May 2025 Shonfeder talk contribs 8,825 bytes +324 Fixed reference to Troelstra's paper undo

curprev 19:2719:27, 17 May 2022 Citation bot talk contribs 8,501 bytes +137 Alter: pages. Add: s2cid, jstor, doi, isbn. Formatted dashes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine 751/3850 undo

curprev 10:3310:33, 14 April 2022 Marc Schroeder talk contribs m 8,364 bytes +935 added two references; added the sections ==See also== and ==Notes== undo

curprev 22:5922:59, 13 April 2022 Marc Schroeder talk contribs m 7,429 bytes +381 →References: added a reference undo
curprev 22:1822:18, 13 April 2022 2a02:a45d:e5c0:1:f083:b945:9ce1:aff0 talk 7,048 bytes +979 →References: streamlined undo

curprev 00:5000:50, 20 August 2020 A Lesbian talk contribs 6,069 bytes −18 Changed the link on "one-place predicate" to one-place predicate instead of going to Predicate (logic) undo

curprev 07:4707:47, 10 October 2019 132.72.44.166 talk 6,087 bytes −1 →References: punctuation undo

curprev 08:1908:19, 24 September 2019 Ndcroos talk contribs m 6,088 bytes +1 →References undo
curprev 08:1908:19, 24 September 2019 Ndcroos talk contribs m 6,087 bytes +43 →References undo

curprev 19:4819:48, 7 February 2017 24.85.232.10 talk 6,044 bytes −2 →Lawlike and lawless sequences undo

curprev 02:2802:28, 14 April 2016 Nysnamovois talk contribs m 6,046 bytes +2 →Axiomatization: corrected spelling error: "intuionistic" -> "intuitionistic" undo

curprev 23:4723:47, 3 January 2015 86.167.19.250 talk 6,044 bytes −1 No edit summary undo

curprev 10:4310:43, 5 March 2013 83.142.163.54 talk 6,045 bytes −1 →Lawlike and lawless sequences undo
curprev 10:4110:41, 5 March 2013 83.142.163.54 talk 6,046 bytes +1 →Lawlike and lawless sequences undo

curprev 22:5922:59, 22 February 2012 Cydebot talk contribs m 6,045 bytes +1 Robot - Moving category Mathematical constructivism to Category:Constructivism (mathematics) per CFD at Wikipedia:Categories for discussion/Log/2012 February 15. undo

curprev 07:3707:37, 9 January 2010 Woohookitty talk contribs m 6,044 bytes +26 WikiCleaner 0.98 - Repairing link to disambiguation page - You can help! undo

curprev 14:4714:47, 13 November 2009 CBM2 talk contribs 6,018 bytes −37 →References: rm duplicate category undo

curprev 07:5107:51, 21 May 2009 SmackBot talk contribs m 6,055 bytes −6 Standard headings/general fixes, Replaced: ==Reference== → ==References==, undo

curprev 19:2419:24, 12 December 2008 ILikeThings talk contribs m 6,061 bytes −1 No edit summary undo

curprev 02:5302:53, 26 June 2008 Unzerlegbarkeit talk contribs 6,062 bytes +2 →Axiomatization: I assume both axioms are meant only for lawless sequences undo

curprev 02:1102:11, 24 June 2008 Michael Hardy talk contribs 6,060 bytes +12 (1) lower case in heading required by WP:MOS; (2) TeX adjustment; (3) use an mdash, not a sequence of consecutive hyphens undo
curprev 01:5701:57, 24 June 2008 ILikeThings talk contribs m 6,048 bytes −2 →Lawlike and Lawless Sequences: consistency of terminology undo

curprev 10:0110:01, 22 June 2008 Charles Matthews talk contribs 470 bytes +297 expand undo
curprev 09:5509:55, 22 June 2008 Charles Matthews talk contribs 173 bytes +57 expand undo
curprev 08:0308:03, 22 June 2008 Legotech talk contribs m 116 bytes +17 Requesting speedy deletion (CSD A1). using TW undo
curprev 07:5607:56, 22 June 2008 ILikeThings talk contribs 99 bytes +99 Initial Stub

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