User contributions for 2601:547:501:8F90:588C:22CB:8445:66EC
Results for 2601:547:501:8F90:588C:22CB:8445:66EC talk block log logs global block log filter log
2 February 2023
- 05:5105:51, 2 February 2023 diff hist +16 Hereditarily finite set →Discussion
- 05:5105:51, 2 February 2023 diff hist +43 Hereditarily finite set →Ackermann coding
- 05:5005:50, 2 February 2023 diff hist +388 Talk:BIT predicate →Ackermann coding
- 05:4805:48, 2 February 2023 diff hist −52 BIT predicate →History
- 05:4705:47, 2 February 2023 diff hist −223 Hereditarily finite set →References: Redundant reference.
- 05:4605:46, 2 February 2023 diff hist +4 Hereditarily finite set →Ackermann coding
- 05:4605:46, 2 February 2023 diff hist +4 Hereditarily finite set →Ackermann coding
- 05:4605:46, 2 February 2023 diff hist −1 Hereditarily finite set →Ackermann coding
- 05:4505:45, 2 February 2023 diff hist +308 Hereditarily finite set →Ackermann coding
- 05:4305:43, 2 February 2023 diff hist −30 Hereditarily finite set →Ackermann coding
- 05:4305:43, 2 February 2023 diff hist +57 Hereditarily finite set →Ackermann coding: Correction.
- 05:4205:42, 2 February 2023 diff hist +8 Hereditarily finite set →Discussion: Editing Ackermann coding section
- 05:3905:39, 2 February 2023 diff hist −1 BIT predicate No edit summary
- 05:3805:38, 2 February 2023 diff hist +32 BIT predicate No edit summary
- 05:3705:37, 2 February 2023 diff hist −305 BIT predicate Added mathematical description. Moving Ackermann coding content to Hereditarily finite sets article.
- 05:2105:21, 2 February 2023 diff hist +449 Hereditarily finite set →Ackermann coding: Added reference
 | 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. |