User contributions for 2600:1700:2CC1:6C20:7439:48EF:47E3:7A0A
Results for 2600:1700:2CC1:6C20:7439:48EF:47E3:7A0A talk block log logs global block log filter log
23 August 2023
- 19:3219:32, 23 August 2023 diff hist +129 Axiom of determinacy →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?
- 19:2419:24, 23 August 2023 diff hist −8 Axiom of determinacy →Using a choice function on a partition of the continuum into size-2 sets: correction to previous
- 19:1019:10, 23 August 2023 diff hist +1,341 Talk:Axiom of determinacy Talk section about my recent Second proof of incompatibility with AC
- 19:0119:01, 23 August 2023 diff hist +4,525 Axiom of determinacy Alternate proof of incompatibility with AC; unsure of direct source (see my section on talk soon)
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |