User contributions for 88.116.31.14
For 88.116.31.14 talk block log logs filter log
17 May 2024
- 13:5613:56, 17 May 2024 diff hist +7 Constructive set theory →Arithmetic
- 13:4713:47, 17 May 2024 diff hist +4 Constructive set theory →Regularity implies PEM
- 13:3313:33, 17 May 2024 diff hist −1 Markov chain central limit theorem →Statement: Wrong blank current
- 13:3213:32, 17 May 2024 diff hist +24 Markov chain central limit theorem Link to measurable function
9 May 2024
- 15:1615:16, 9 May 2024 diff hist +11 Constructive set theory →The class of all subsets of a set
- 15:1415:14, 9 May 2024 diff hist −1 Constructive set theory →The class of all subsets of a set
- 15:1015:10, 9 May 2024 diff hist +77 Constructive set theory →The class of all subsets of a set
- 14:4114:41, 9 May 2024 diff hist +24 Constructive set theory →The class of all subsets of a set: Link to Field of sets
- 13:4713:47, 9 May 2024 diff hist +53 Borel set →Non-Borel sets: Explicit assumptions
1 May 2024
21 April 2024
- 14:2314:23, 21 April 2024 diff hist +21 Constructive analysis →Moduli current
- 14:1214:12, 21 April 2024 diff hist +1 Church's thesis (constructive mathematics) →Relationship to classical logic current
- 14:0514:05, 21 April 2024 diff hist +371 Constructive set theory →Replacement: Link to image and relation to subsets
- 13:3813:38, 21 April 2024 diff hist +13 Constructive set theory →Total functional relations
- 13:3713:37, 21 April 2024 diff hist +38 Constructive set theory →Total functional relations