User contributions for EmilJ

6 November 2024

• 08:0508:05, 6 November 2024 diff hist +109 Elementary recursive function link prominently to the, now dismbiguated, language class current
• 08:0308:03, 6 November 2024 diff hist +19 Elementary function arithmetic more direct link current
• 08:0108:01, 6 November 2024 diff hist −33 Elementary function Link the hatnote directly to the alternative meaning of the term "elementary function" itself (of which the two concepts previously listed are derivatives) current
• 07:5807:58, 6 November 2024 diff hist −23 Elementary recursive function this is more likely to be confused
• 07:5507:55, 6 November 2024 diff hist +84 Elementary recursive function include common names
• 07:5207:52, 6 November 2024 diff hist +1 ELEMENTARY This is misunderstanding of Complexity Zoo, anyway. The phrase after the abbreviation in the title is not an alternative *name*, but just a succinct *description*.

5 November 2024

• 21:2221:22, 5 November 2024 diff hist +504 ELEMENTARY Actually, it's just a result of terminological confusion, as for Friedman, "iterated exponential time" has the usual meaning rather than "ELEMENTARY". Thus, reinstate it as a reference to the terminological note above.
• 21:0521:05, 5 November 2024 diff hist −627 ELEMENTARY I don't know what exactly in Friedman's paper was this supposed to refer to, but it's nonsense.
• 21:0121:01, 5 November 2024 diff hist +88 ELEMENTARY this is unusual and confusing terminology
• 20:5720:57, 5 November 2024 diff hist +10 m ELEMENTARY wrong link

24 October 2024

• 14:2814:28, 24 October 2024 diff hist −54 Mersenne prime →About Mersenne primes: but there *is* a simple test, as it says right here
• 08:0708:07, 24 October 2024 diff hist +337 Talk:Lucas–Lehmer primality test →Proof of correctness, Necessity current

19 October 2024

• 09:0709:07, 19 October 2024 diff hist +2,000 Talk:Brooks' theorem →List colouring: Reply current Tag: Reply

18 October 2024

• 15:5815:58, 18 October 2024 diff hist +2,757 Talk:Brooks' theorem →List colouring
• 11:1211:12, 18 October 2024 diff hist +19 Brooks' theorem →Extensions
• 11:1011:10, 18 October 2024 diff hist +813 Talk:Brooks' theorem →List colouring: new section Tag: New topic

17 October 2024

• 12:4712:47, 17 October 2024 diff hist −2 m Menger's theorem →Short proof: fix incorrect double negation current

16 October 2024

• 13:5413:54, 16 October 2024 diff hist +10 K-vertex-connected graph →Components: connected components have no tree structure current
• 13:5113:51, 16 October 2024 diff hist −114 m K-vertex-connected graph →Definitions: remove repetition

18 July 2024

• 09:5009:50, 18 July 2024 diff hist −369 Kleene's recursion theorem This "extension" exactly describes the Rogers fp theorem above, thus move it there. Also, adjusted some of the formulations current

6 July 2024

• 07:3607:36, 6 July 2024 diff hist −56 SKI combinator calculus →Examples of reduction: remove nonstandard, confusing, and unhelpful “reductions” that introduce a new variable

14 June 2024

• 08:4908:49, 14 June 2024 diff hist +584 N User talk:109.144.208.212 ←Created page with '{{subst:Uw-vandalism1}}~~~~' current Tag: New topic
• 08:4708:47, 14 June 2024 diff hist +1,421 m Fauna of Wales Reverted edit by 109.144.208.212 (talk) to last version by Mazewaxie current Tag: Rollback
• 08:4608:46, 14 June 2024 diff hist +21 m Southern chivalry Reverted edits by 109.144.208.212 (talk) to last version by 195.244.210.117 Tag: Rollback
• 08:2508:25, 14 June 2024 diff hist +615 Toom–Cook multiplication →Interpolation matrices for various k: more of same
• 08:1008:10, 14 June 2024 diff hist −93 Toom–Cook multiplication remove nonsense abut Toom-1
• 08:0808:08, 14 June 2024 diff hist +159 Talk:Toom–Cook multiplication →What would "Toom-1" actually be? current

20 May 2024

• 09:4209:42, 20 May 2024 diff hist +542 Talk:Attempted assassination of Robert Fico →Article is clearly attempting to paint the suspect as a pro-russian, pro-putin assassin - he is not

15 April 2024

• 19:2319:23, 15 April 2024 diff hist 0 Polygonal number →Every hexagonal number is also a triangular number: typo Tags: Mobile edit Mobile web edit

4 April 2024

• 09:5909:59, 4 April 2024 diff hist +397 Combinatory logic →Undefinability by predicates: one more disclaimer

2 April 2024

• 12:1012:10, 2 April 2024 diff hist +11 Fraïssé limit →Examples: correction current Tags: Mobile edit Mobile web edit
• 08:4708:47, 2 April 2024 diff hist −2,018 Combinatory logic rv and put a disclaimer on what remains. (1) This is a large chunk of unsourced original research (WP:V, WP:OR). That alone makes it a no-go. (2) Despite the deceptive claims, this argument does not in any way prove the undecidability of combinatorial logic, but a much, much weaker, essential trivial statement that has nothing to do with actual undecidability.

25 March 2024

• 19:2219:22, 25 March 2024 diff hist +19 Order dimension →Formal definition: do not restrict to finite Tags: Mobile edit Mobile web edit
• 19:1919:19, 25 March 2024 diff hist −47 Order dimension →References: this is a quite different paper Tags: Mobile edit Mobile web edit

20 March 2024

• 10:1910:19, 20 March 2024 diff hist −2,373 Semiring →Semiring of sets: remove it from the article, as it is an unrelated topic
• 10:1810:18, 20 March 2024 diff hist +54 Semiring →top: add top note for semiring of sets
• 10:1310:13, 20 March 2024 diff hist +86 Talk:Semiring →Semiring of sets current
• 09:5509:55, 20 March 2024 diff hist +34 Hall's universal group correction (and stress that this comes from Hall's paper) current

19 March 2024

• 13:1713:17, 19 March 2024 diff hist +83 Fraïssé limit →ω-categoricity and quantifier elimination: + explanation
• 13:1513:15, 19 March 2024 diff hist +14 Omega-categorical theory →Examples current
• 13:1413:14, 19 March 2024 diff hist +227 Omega-categorical theory →Examples: mention Fraisse limits; add example
• 13:0613:06, 19 March 2024 diff hist +175 Fraïssé limit →ω-categoricity and quantifier elimination
• 13:0413:04, 19 March 2024 diff hist 0 Fraïssé limit →Examples: sp
• 13:0413:04, 19 March 2024 diff hist +143 Fraïssé limit →Examples: one more example
• 13:0013:00, 19 March 2024 diff hist +193 Fraïssé limit →ω-categoricity: quantifier elimination
• 10:5910:59, 19 March 2024 diff hist +173 Fraïssé limit →ω-categoricity: mention the relational case
• 10:5510:55, 19 March 2024 diff hist +642 Fraïssé limit →Examples: further examples from algebra
• 10:4210:42, 19 March 2024 diff hist +86 Hall's universal group mention Fraisse limit
• 10:4010:40, 19 March 2024 diff hist +22 Fraïssé limit →ω-categoricity: fix clumsy wording

6 March 2024

• 10:5010:50, 6 March 2024 diff hist +74 Horn-satisfiability →Algorithm: The stopping condition was incorrect, as it didn't take care of the case when one clause is empty (which is the real stopping condition). Fixed it along with the accompanying example, including grammar fixes. current Tags: Mobile edit Mobile web edit