Axiom of determinacy: 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 18:3918:39, 24 November 2024 2600:1700:2cc1:6c20:6cef:e092:3dce:c860 talk 18,956 bytes +37 →Using a choice function: Add missing g in its definition and 1 minor phrase undo

curprev 11:1211:12, 29 September 2024 Paradoctor talk contribs 18,919 bytes −50 →Types of game that are determined: copyedit, history of the Borel determinacy theorem is not relevant here undo
curprev 10:3410:34, 29 September 2024 Paradoctor talk contribs 18,969 bytes −10 →Types of game that are determined: copyedit, no need to name the players undo

curprev 00:4600:46, 29 August 2024 A1244 talk contribs m 18,979 bytes +30 →Types of game that are determined undo Tag: Visual edit
curprev 00:4500:45, 29 August 2024 A1244 talk contribs 18,949 bytes −4 No edit summary undo Tag: Visual edit

curprev 21:1021:10, 23 April 2024 Beland talk contribs m 18,953 bytes −216 convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

curprev 14:1914:19, 9 April 2024 DerSpezialist talk contribs m 19,169 bytes +2,143 Typography: Use HTML markup as <math> is unnecessary (no complicated formulas); also some other minor changes undo Tag: nowiki added

curprev 07:1807:18, 6 March 2024 Jlwoodwa talk contribs m 17,026 bytes +25 →References: {{refbegin}} undo

curprev 00:0900:09, 26 December 2023 82.25.27.218 talk 17,001 bytes +16 No edit summary undo

curprev 17:2417:24, 21 December 2023 Dmoews talk contribs 16,985 bytes −8 →References: update url status in template undo

curprev 06:2706:27, 28 November 2023 67.198.37.16 talk 16,993 bytes +185 →Using a choice function on a partition of the continuum into size-2 sets: the run-length-encoding function is just the Minkowski question mark function undo

curprev 15:3415:34, 8 November 2023 Billnyethefrenchfry talk contribs m 16,808 bytes +1 Replaced first- and second-person pronouns. undo

curprev 14:1114:11, 3 September 2023 2600:1700:2cc1:6c20:bce4:7979:9ac0:fdbd talk 16,807 bytes +48 →Using a choice function on a partition of the continuum into size-2 sets: Correction to comment about f undo

curprev 21:1221:12, 28 August 2023 2600:1700:2cc1:6c20:3442:286e:493e:7d1f talk 16,759 bytes +21 →Using a choice function on a partition of the continuum into size-2 sets: correction to previous; defined function "g" that maps sequence to equivalence class and replaced h(f( with g(f(; also reworded "run-length encoding" undo

curprev 19:3219:32, 23 August 2023 2600:1700:2cc1:6c20:7439:48ef:47e3:7a0a talk 16,738 bytes +129 →Using a choice function on a partition of the continuum into size-2 sets: edit to previous, clarifying run-length encoding; maybe not needed if already clear enough? undo
curprev 19:2419:24, 23 August 2023 2600:1700:2cc1:6c20:7439:48ef:47e3:7a0a talk 16,609 bytes −8 →Using a choice function on a partition of the continuum into size-2 sets: correction to previous undo
curprev 19:0119:01, 23 August 2023 2600:1700:2cc1:6c20:7439:48ef:47e3:7a0a talk 16,617 bytes +4,525 Alternate proof of incompatibility with AC; unsure of direct source (see my section on talk soon) undo

curprev 09:4709:47, 20 January 2023 C7XWiki talk contribs 12,092 bytes −12 →Projective ordinals undo
curprev 09:4609:46, 20 January 2023 C7XWiki talk contribs 12,104 bytes +6 →Projective ordinals undo
curprev 09:4609:46, 20 January 2023 C7XWiki talk contribs 12,098 bytes +35 →References undo
curprev 09:4609:46, 20 January 2023 C7XWiki talk contribs 12,063 bytes +845 Info about projective ordinals undo

curprev 21:4321:43, 21 October 2022 Citation bot talk contribs 11,218 bytes +32 Add: bibcode. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 143/217 undo

curprev 01:4001:40, 24 September 2022 71.139.124.132 talk 11,186 bytes +27 No edit summary undo

curprev 23:2823:28, 9 March 2022 178.84.82.145 talk 11,159 bytes +451 →Incompatibility of the axiom of determinacy with the axiom of choice: proof made clearer, more concrete undo

curprev 11:5911:59, 27 August 2021 The Anome talk contribs 10,708 bytes +52 Adding local short description: "Possible axiom for set theory", overriding Wikidata description "axiom in set theory" (Shortdesc helper) undo

curprev 03:3403:34, 23 August 2021 OAbot talk contribs m 10,656 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 11:0711:07, 20 August 2021 Citation bot talk contribs 10,640 bytes −260 Add: doi-access, doi. Removed proxy/dead URL that duplicated identifier. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 1683/1705 undo

curprev 12:2812:28, 16 July 2021 Dominus talk contribs 10,900 bytes +3 →top: "least natural" is confusing undo

curprev 06:5506:55, 6 May 2021 OAbot talk contribs m 10,897 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 17:3817:38, 28 April 2021 Bender the Bot talk contribs m 10,880 bytes +1 →References: HTTP → HTTPS for the American Mathematical Society, replaced: =http://www.ams.org/ → =https://www.ams.org/ undo Tag: AWB

curprev 01:0101:01, 16 March 2021 JCW-CleanerBot talk contribs m 10,879 bytes −8 task, replaced: Bulletin de l'Académie Polonaise des Sciences. → Bulletin de l'Académie Polonaise des Sciences, undo Tag: AWB

curprev 14:0914:09, 10 January 2021 Monkbot talk contribs m 10,887 bytes −17 Task 18 (cosmetic): eval 7 templates: del empty params (1×); hyphenate params (8×); del |postscript= (1×); undo Tag: AWB

curprev 20:4320:43, 19 November 2020 84.245.121.159 talk 10,904 bytes +10 →Infinitary logic and the axiom of determinacy: putting back colons because latex renders strange without them undo
curprev 20:4220:42, 19 November 2020 84.245.121.159 talk 10,894 bytes −329 →Infinitary logic and the axiom of determinacy: removed suerfluous paragraph which incorrectly referred to negation of quantifiers as "de Morgan rule" undo

curprev 23:4623:46, 22 October 2020 Trovatore talk contribs 11,223 bytes +2 →Infinitary logic and the axiom of determinacy: fix header ("infinite logic" is not a recognized term with a precise meaning) undo
curprev 23:3723:37, 22 October 2020 2804:14d:6886:8c1::1000 talk 11,221 bytes +4 No edit summary undo

curprev 02:1002:10, 16 February 2020 David Eppstein talk contribs 11,217 bytes +31 →References: The Higher Infinite undo

curprev 22:5322:53, 11 December 2019 2001:861:3ac0:4fa0:8ec:364f:4cd0:be31 talk 11,186 bytes +42 No edit summary undo

curprev 04:4504:45, 13 September 2019 Monkbot talk contribs m 11,144 bytes +1 →References: Task 16: replaced (2×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 09:4409:44, 11 May 2019 WOSlinker talk contribs 11,143 bytes +6 fix sup undo

curprev 11:3411:34, 21 March 2019 87.254.73.156 talk 11,137 bytes −1 No edit summary undo

curprev 22:1622:16, 9 March 2019 2407:7000:8968:8600:a5f6:eaec:4607:8e0a talk 11,138 bytes +9 →Types of game that are determined undo

curprev 21:2021:20, 1 March 2019 K.R.Apt talk contribs 11,129 bytes +96 No edit summary undo
curprev 21:0821:08, 1 March 2019 K.R.Apt talk contribs 11,033 bytes +195 No edit summary undo
curprev 12:2112:21, 1 March 2019 K.R.Apt talk contribs 10,838 bytes +47 No edit summary undo

curprev 06:4206:42, 17 February 2019 Citation bot talk contribs m 10,791 bytes +23 Alter: isbn. Add: jstor. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 08:2108:21, 22 September 2018 Spintendo talk contribs 10,768 bytes −1 Instance where "deadurl" parameter was marked as "unfit" in the references changed to read as "dead-url=yes" to resolve the resulting CS1 maintenance error. undo

curprev 01:2101:21, 14 July 2018 RandNetter96 talk contribs m 10,769 bytes −26 Reverted 1 edit by 152.208.67.235 identified as test/vandalism using STiki undo Tags: STiki Undo

curprev 07:0807:08, 27 June 2018 152.208.67.235 talk 10,795 bytes +26 →Types of game that are determined: sets by themselves aren't spaces, you need a topology. undo

curprev 00:0800:08, 4 April 2018 Trovatore talk contribs 10,769 bytes +70 →Types of game that are determined: finish off the thought undo

24 November 2024

29 September 2024

29 August 2024

23 April 2024

9 April 2024

6 March 2024

26 December 2023

21 December 2023

28 November 2023

8 November 2023

3 September 2023

28 August 2023

23 August 2023

20 January 2023

21 October 2022

24 September 2022

9 March 2022

27 August 2021

23 August 2021

20 August 2021

16 July 2021

6 May 2021

28 April 2021

16 March 2021

10 January 2021

19 November 2020

22 October 2020

16 February 2020

11 December 2019

13 September 2019

11 May 2019

21 March 2019

9 March 2019

1 March 2019

17 February 2019

22 September 2018

14 July 2018

27 June 2018

4 April 2018