User contributions for EmilJ

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*.

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

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

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

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.

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

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

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