User contributions for 178.165.197.164
For 178.165.197.164 talk block log logs filter log
17 May 2024
16 May 2024
- 23:5723:57, 16 May 2024 diff hist +14 Constructive set theory →Witness of apartness
- 23:5423:54, 16 May 2024 diff hist +6 Constructive set theory →Witness of apartness
- 23:5123:51, 16 May 2024 diff hist −33 Constructive set theory →Witness of apartness: Simplify
- 23:4623:46, 16 May 2024 diff hist +20 Constructive set theory →Witness of apartness
- 23:3623:36, 16 May 2024 diff hist +202 Constructive set theory →Witness of apartness
- 23:2523:25, 16 May 2024 diff hist +54 Intuitionistic logic →Non-interdefinability of operators
- 23:1123:11, 16 May 2024 diff hist +184 Intuitionistic logic →Double negations: Justify
- 23:0523:05, 16 May 2024 diff hist +194 Minimal logic →Implications current
- 22:3822:38, 16 May 2024 diff hist +7 Constructive set theory →Predicativity
- 22:3222:32, 16 May 2024 diff hist −5 Constructive set theory →Separation: Duplicated word
- 22:3122:31, 16 May 2024 diff hist +262 Constructive set theory →BCST: Delinate full Separation