User contributions for 91.141.41.194

2 April 2023

• 17:1217:12, 2 April 2023 diff hist +4 Constructive set theory →Metalogic: Link to realizability
• 17:1117:11, 2 April 2023 diff hist +236 Constructive set theory No edit summary
• 16:3916:39, 2 April 2023 diff hist +133 Constructive set theory →Subtheories of ZF
• 16:3316:33, 2 April 2023 diff hist +19 Constructive set theory →Number bounds
• 16:3016:30, 2 April 2023 diff hist +33 Constructive set theory →Number bounds
• 16:2616:26, 2 April 2023 diff hist −1 Constructive set theory →Number bounds
• 16:2216:22, 2 April 2023 diff hist +60 Constructive set theory →ECST
• 16:1416:14, 2 April 2023 diff hist +50 Axiom of non-choice No edit summary
• 16:1116:11, 2 April 2023 diff hist +78 Constructive set theory →Replacement
• 16:0616:06, 2 April 2023 diff hist −3 Constructive set theory →Separation
• 16:0416:04, 2 April 2023 diff hist −26 Constructive set theory →Merging sets
• 15:5615:56, 2 April 2023 diff hist +52 Constructive set theory →Anti-classical principles
• 11:4611:46, 2 April 2023 diff hist −2 Constructive set theory →Non-constructive principles
• 11:3711:37, 2 April 2023 diff hist +3 Constructive set theory →Non-constructive principles
• 11:3611:36, 2 April 2023 diff hist +99 Constructive set theory →Non-constructive principles
• 11:1711:17, 2 April 2023 diff hist −61 Constructive set theory →Non-constructive principles
• 11:0211:02, 2 April 2023 diff hist −10 Markov's principle →Weak Markov's principle
• 10:5810:58, 2 April 2023 diff hist +2 Markov's principle →Weak Markov's principle: Simplify
• 10:5210:52, 2 April 2023 diff hist +248 Markov's principle →Weak Markov's principle: Prose explainer
• 10:4010:40, 2 April 2023 diff hist +2 De Morgan's laws →In intuitionistic logic: Typo
• 10:3610:36, 2 April 2023 diff hist −1 Constructive set theory →Infinite trees
• 10:3510:35, 2 April 2023 diff hist +124 Constructive set theory →Infinite trees
• 10:3010:30, 2 April 2023 diff hist 0 Constructive set theory →Non-constructive principles
• 10:2910:29, 2 April 2023 diff hist +275 Constructive set theory →Non-constructive principles: Searchabillity
• 03:3803:38, 2 April 2023 diff hist +166 Constructive set theory →Non-constructive principles
• 02:5702:57, 2 April 2023 diff hist +42 Constructive set theory →Constructive schools
• 01:4201:42, 2 April 2023 diff hist +36 Constructive set theory No edit summary
• 01:3801:38, 2 April 2023 diff hist +23 Constructive set theory →Subtheories of ZF
• 01:3301:33, 2 April 2023 diff hist +40 Constructive set theory →Subtheories of ZF
• 01:2301:23, 2 April 2023 diff hist +18 Constructive set theory →Total functional relations
• 01:2201:22, 2 April 2023 diff hist −12 Constructive set theory No edit summary
• 01:2001:20, 2 April 2023 diff hist +159 Constructive set theory →Number bounds
• 01:1401:14, 2 April 2023 diff hist +4 Constructive set theory →Number bounds
• 01:1301:13, 2 April 2023 diff hist +9 Constructive set theory →Total functional relations
• 00:5900:59, 2 April 2023 diff hist +8 Constructive set theory →Constructive Zermelo–Fraenkel
• 00:4500:45, 2 April 2023 diff hist +190 Constructive set theory →Total functional relations
• 00:3600:36, 2 April 2023 diff hist −22 Constructive set theory →Total functional relations

1 April 2023

• 23:5523:55, 1 April 2023 diff hist +63 Constructive set theory →Total functional relations
• 22:2022:20, 1 April 2023 diff hist +119 Constructive set theory →Number bounds
• 22:1722:17, 1 April 2023 diff hist −57 Constructive set theory →Number bounds
• 22:1522:15, 1 April 2023 diff hist +13 Constructive set theory →Number bounds
• 22:1422:14, 1 April 2023 diff hist +432 Constructive set theory →Subtheories of ZF
• 21:2321:23, 1 April 2023 diff hist +283 Constructive set theory →Number bounds
• 21:0521:05, 1 April 2023 diff hist +23 Constructive set theory →On countable sets
• 21:0321:03, 1 April 2023 diff hist +251 Constructive set theory →Number bounds
• 20:3920:39, 1 April 2023 diff hist +8 Constructive set theory →Number bounds
• 20:3720:37, 1 April 2023 diff hist +190 Constructive set theory →Number bounds
• 20:2620:26, 1 April 2023 diff hist +5 Constructive set theory →On countable sets
• 19:3019:30, 1 April 2023 diff hist −31 Constructive set theory →ECST