Jump to content

User contributions for 91.112.18.90

Results for 91.112.18.90 talk block log logs global block log filter log

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

17:2217:22, 1 June 2024 diff hist +25 Constructive set theory →The class of all subsets of a set
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

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

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

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

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

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

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

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

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

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)

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

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

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/91.112.18.90"