User contributions for 91.112.18.90

1 June 2024

• 17:2217:22, 1 June 2024 diff hist +25‎ Constructive set theory ‎ →‎The class of all subsets of a set current
• 17:1417:14, 1 June 2024 diff hist +10‎ Constructive set theory ‎ →‎The class of all subsets of a set
• 17:1317:13, 1 June 2024 diff hist +27‎ Constructive set theory ‎ →‎The class of all subsets of a set

29 May 2024

• 12:1912:19, 29 May 2024 diff hist +15‎ Heyting arithmetic ‎ →‎Least number principle: Formatting
• 12:1512:15, 29 May 2024 diff hist +48‎ Heyting arithmetic ‎ →‎Least number principle: Example
• 12:0912:09, 29 May 2024 diff hist −17‎ Heyting arithmetic ‎ →‎Least number principle
• 12:0712:07, 29 May 2024 diff hist +15‎ Heyting arithmetic ‎ →‎Least number principle
• 12:0512:05, 29 May 2024 diff hist +208‎ Heyting arithmetic ‎ →‎Least number principle

25 May 2024

• 18:1818:18, 25 May 2024 diff hist +3‎ Cylindrical σ-algebra ‎No edit summary current

15 May 2024

• 18:0918:09, 15 May 2024 diff hist +61‎ Semiring ‎ →‎Construction of new semirings: Nicer formulation

11 May 2024

• 14:5314:53, 11 May 2024 diff hist +33‎ Diaconescu's theorem ‎ →‎Proof
• 14:5214:52, 11 May 2024 diff hist +11‎ Diaconescu's theorem ‎ →‎Proof
• 14:5014:50, 11 May 2024 diff hist +3‎ Diaconescu's theorem ‎ →‎Proof of the lemma
• 14:0114:01, 11 May 2024 diff hist −2‎ Diaconescu's theorem ‎ →‎Proof of the lemma
• 14:0114:01, 11 May 2024 diff hist +3‎ Diaconescu's theorem ‎ →‎Proof of the lemma
• 14:0114:01, 11 May 2024 diff hist +73‎ Diaconescu's theorem ‎ →‎Proof of the lemma: Link to finitely indexed
• 13:5013:50, 11 May 2024 diff hist +110‎ Diaconescu's theorem ‎ →‎Proof
• 13:4513:45, 11 May 2024 diff hist +2‎ Diaconescu's theorem ‎ →‎Proof
• 13:4013:40, 11 May 2024 diff hist +26‎ Diaconescu's theorem ‎ Simplify presentation w.r.t. Separation
• 13:2313:23, 11 May 2024 diff hist −6‎ Diaconescu's theorem ‎ →‎Proof of the lemma
• 13:1113:11, 11 May 2024 diff hist +2‎ Diaconescu's theorem ‎ →‎Proof of the lemma
• 13:1013:10, 11 May 2024 diff hist +3‎ Diaconescu's theorem ‎ →‎Proof of the lemma
• 13:0813:08, 11 May 2024 diff hist +100‎ Diaconescu's theorem ‎ →‎Proof of the lemma
• 13:0513:05, 11 May 2024 diff hist +59‎ Diaconescu's theorem ‎ →‎Proof: Subsection for the lemma
• 12:5012:50, 11 May 2024 diff hist +77‎ Diaconescu's theorem ‎ →‎Proof
• 12:3912:39, 11 May 2024 diff hist −1‎ Diaconescu's theorem ‎ →‎Proof: Links
• 12:3412:34, 11 May 2024 diff hist 0‎ Diaconescu's theorem ‎ →‎Proof
• 12:3212:32, 11 May 2024 diff hist +19‎ Diaconescu's theorem ‎ →‎Proof
• 12:2912:29, 11 May 2024 diff hist +1,347‎ Diaconescu's theorem ‎ Terminology section and lemma

16 March 2024

• 12:2812:28, 16 March 2024 diff hist +2‎ Apartness relation ‎ →‎Related definitions: Formatting current
• 12:2812:28, 16 March 2024 diff hist +120‎ Apartness relation ‎ →‎Related definitions
• 12:2312:23, 16 March 2024 diff hist +271‎ Apartness relation ‎ Section titles and strong extensionality

10 February 2024

• 17:1017:10, 10 February 2024 diff hist +3‎ Long short-term memory ‎ →‎Success: Link

12 January 2024

• 18:2318:23, 12 January 2024 diff hist 0‎ Constructive set theory ‎ →‎Choice functions
• 18:2218:22, 12 January 2024 diff hist +61‎ Constructive set theory ‎ →‎Choice functions

23 December 2023

• 19:4519:45, 23 December 2023 diff hist +66‎ Constructive set theory ‎ →‎Choice functions
• 19:2319:23, 23 December 2023 diff hist +27‎ Constructive set theory ‎ →‎Regularity implies PEM
• 19:2119:21, 23 December 2023 diff hist +92‎ Constructive set theory ‎ →‎Regularity implies PEM
• 14:3714:37, 23 December 2023 diff hist +26‎ Constructive set theory ‎ →‎Mathematical induction
• 14:3414:34, 23 December 2023 diff hist +334‎ Constructive set theory ‎ →‎Arithmetic
• 14:1114:11, 23 December 2023 diff hist +38‎ Constructive set theory ‎ →‎Notation

8 December 2023

• 17:0417:04, 8 December 2023 diff hist +1‎ Tsallis entropy ‎ →‎Cross-entropy
• 17:0417:04, 8 December 2023 diff hist +24‎ Tsallis entropy ‎No edit summary
• 16:5916:59, 8 December 2023 diff hist +245‎ Tsallis entropy ‎ More definition section up

3 December 2023

• 17:2817:28, 3 December 2023 diff hist −80‎ Semiring ‎ →‎Construction of new semirings: More detail but still keeping it concise (ref: Golan p.37)

27 November 2023

• 20:1420:14, 27 November 2023 diff hist +14‎ Constructive set theory ‎ →‎Moderate induction in ECST
• 19:0419:04, 27 November 2023 diff hist +27‎ Relative strength index ‎ →‎General definitions
• 18:4418:44, 27 November 2023 diff hist +34‎ Relative strength index ‎ →‎General definitions: Use notation from indicator function page

26 November 2023

• 17:0717:07, 26 November 2023 diff hist +55‎ Constructive set theory ‎ →‎Notation
• 17:0217:02, 26 November 2023 diff hist +7‎ Constructive set theory ‎ →‎Notation: Avoid 'ramified' as in type theory