18 July 2024

• 09:50 09: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:36 07: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:49 08: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:47 08: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:46 08: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:25 08:25, 14 June 2024 diff hist +615‎ Toom–Cook multiplication ‎ →‎Interpolation matrices for various k: more of same current
• 08:10 08:10, 14 June 2024 diff hist −93‎ Toom–Cook multiplication ‎ remove nonsense abut Toom-1
• 08:08 08:08, 14 June 2024 diff hist +159‎ Talk:Toom–Cook multiplication ‎ →‎What would "Toom-1" actually be? current

20 May 2024

• 09:42 09: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:23 19: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:59 09:59, 4 April 2024 diff hist +397‎ Combinatory logic ‎ →‎Undefinability by predicates: one more disclaimer

2 April 2024

• 12:10 12:10, 2 April 2024 diff hist +11‎ Fraïssé limit ‎ →‎Examples: correction current Tags: Mobile edit Mobile web edit
• 08:47 08: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:22 19:22, 25 March 2024 diff hist +19‎ Order dimension ‎ →‎Formal definition: do not restrict to finite Tags: Mobile edit Mobile web edit
• 19:19 19: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:19 10:19, 20 March 2024 diff hist −2,373‎ Semiring ‎ →‎Semiring of sets: remove it from the article, as it is an unrelated topic
• 10:18 10:18, 20 March 2024 diff hist +54‎ Semiring ‎ →‎top: add top note for semiring of sets
• 10:13 10:13, 20 March 2024 diff hist +86‎ Talk:Semiring ‎ →‎Semiring of sets current
• 09:55 09: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:17 13:17, 19 March 2024 diff hist +83‎ Fraïssé limit ‎ →‎ω-categoricity and quantifier elimination: + explanation
• 13:15 13:15, 19 March 2024 diff hist +14‎ Omega-categorical theory ‎ →‎Examples current
• 13:14 13:14, 19 March 2024 diff hist +227‎ Omega-categorical theory ‎ →‎Examples: mention Fraisse limits; add example
• 13:06 13:06, 19 March 2024 diff hist +175‎ Fraïssé limit ‎ →‎ω-categoricity and quantifier elimination
• 13:04 13:04, 19 March 2024 diff hist 0‎ Fraïssé limit ‎ →‎Examples: sp
• 13:04 13:04, 19 March 2024 diff hist +143‎ Fraïssé limit ‎ →‎Examples: one more example
• 13:00 13:00, 19 March 2024 diff hist +193‎ Fraïssé limit ‎ →‎ω-categoricity: quantifier elimination
• 10:59 10:59, 19 March 2024 diff hist +173‎ Fraïssé limit ‎ →‎ω-categoricity: mention the relational case
• 10:55 10:55, 19 March 2024 diff hist +642‎ Fraïssé limit ‎ →‎Examples: further examples from algebra
• 10:42 10:42, 19 March 2024 diff hist +86‎ Hall's universal group ‎ mention Fraisse limit
• 10:40 10:40, 19 March 2024 diff hist +22‎ Fraïssé limit ‎ →‎ω-categoricity: fix clumsy wording

6 March 2024

• 10:50 10: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

5 March 2024

• 12:33 12:33, 5 March 2024 diff hist −266‎ Fueter–Pólya theorem ‎ →‎Fueter–Pólya conjecture: ArXiv is not a reliable source. Since the preprint remains unpublished after 6 years, this is not a notable claim. current

8 February 2024

• 13:20 13:20, 8 February 2024 diff hist +14‎ List of topologies ‎ →‎Topologies defined in terms of other topologies: rename and move to a more sensible place
• 13:17 13:17, 8 February 2024 diff hist +13‎ Corona of a topological space ‎ avoid double redirect current Tag: Redirect target changed
• 13:15 13:15, 8 February 2024 diff hist −68‎ Stone–Čech compactification ‎ incorporate the see also link (renamed) to the proper place in the main text
• 13:11 13:11, 8 February 2024 diff hist +78‎ Stone–Čech remainder ‎ use more common name current
• 13:09 13:09, 8 February 2024 diff hist +89‎ N Talk:Corona set ‎ EmilJ moved page Talk:Corona set to Talk:Stone–Čech remainder: common name current Tag: New redirect
• 13:09 13:09, 8 February 2024 diff hist 0‎ m Talk:Stone–Čech remainder ‎ EmilJ moved page Talk:Corona set to Talk:Stone–Čech remainder: common name current
• 13:09 13:09, 8 February 2024 diff hist +84‎ N Corona set ‎ EmilJ moved page Corona set to Stone–Čech remainder: common name current Tag: New redirect
• 13:09 13:09, 8 February 2024 diff hist 0‎ m Stone–Čech remainder ‎ EmilJ moved page Corona set to Stone–Čech remainder: common name

7 February 2024

• 14:35 14:35, 7 February 2024 diff hist +525‎ Transitive relation ‎ →‎Counting transitive relations: include some bounds that are actually useful
• 14:11 14:11, 7 February 2024 diff hist −1,250‎ Transitive relation ‎ →‎Counting transitive relations: rm pointless non-notable self-promotion. It's both trivial and well known that already the number of partial orders is more than 2^{n^2/4}.

25 January 2024

• 13:11 13:11, 25 January 2024 diff hist −2,415‎ Combinatory logic ‎ →‎Undecidability of combinatorial calculus: Remove nonsensical OR. This argument does not in any way prove the undecidability of the problem. Plenty of obviously decidable problems (e.g., “does a term start with K?”) are not definable in this way by a “predicate” either. Tag: Reverted

18 January 2024

• 08:15 08:15, 18 January 2024 diff hist +10‎ Presburger arithmetic ‎ →‎Properties: it's not a consequence (the argument actually goes the other way round)
• 08:01 08:01, 18 January 2024 diff hist +49‎ Entscheidungsproblem ‎ also here
• 07:54 07:54, 18 January 2024 diff hist +509‎ Entscheidungsproblem ‎ →‎Negative answer: this really does not belong here
• 07:25 07:25, 18 January 2024 diff hist −1‎ Entscheidungsproblem ‎ →‎Completeness theorem: more of same Tags: Mobile edit Mobile web edit
• 07:23 07:23, 18 January 2024 diff hist −22‎ Entscheidungsproblem ‎ fix confusion (there are no nonlogical axioms in this problem) Tags: Mobile edit Mobile web edit

10 January 2024

• 17:21 17:21, 10 January 2024 diff hist −19‎ Tarski's axiomatization of the reals ‎ →‎Axioms of order (primitives: R, <): "not reflexive" is quite different from "irreflexive". Also, add mussing right brackets Tags: Mobile edit Mobile web edit

20 December 2023

• 10:54 10:54, 20 December 2023 diff hist +1,226‎ Landau's function ‎ more precise asymptotics