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 current 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
5 March 2024
- 12:3312: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:2013: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:1713:17, 8 February 2024 diff hist +13 Corona of a topological space avoid double redirect current Tag: Redirect target changed
- 13:1513: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:1113:11, 8 February 2024 diff hist +78 Stone–Čech remainder use more common name current
- 13:0913: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:0913: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:0913: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:0913: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:3514:35, 7 February 2024 diff hist +525 Transitive relation →Counting transitive relations: include some bounds that are actually useful
- 14:1114: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:1113: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:1508:15, 18 January 2024 diff hist +10 Presburger arithmetic →Properties: it's not a consequence (the argument actually goes the other way round)
- 08:0108:01, 18 January 2024 diff hist +49 Entscheidungsproblem also here
- 07:5407:54, 18 January 2024 diff hist +509 Entscheidungsproblem →Negative answer: this really does not belong here
- 07:2507:25, 18 January 2024 diff hist −1 Entscheidungsproblem →Completeness theorem: more of same Tags: Mobile edit Mobile web edit
- 07:2307: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:2117: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:5410:54, 20 December 2023 diff hist +1,226 Landau's function more precise asymptotics
- 10:4910:49, 20 December 2023 diff hist −8 m Prime-counting function →More precise estimates: improve formatting
9 December 2023
- 08:4008:40, 9 December 2023 diff hist +170 Moser–de Bruijn sequence →Growth rate and differences: Clarify that the ratio to sqrt(n) does not tend to 1, as the statement might suggest Tags: Mobile edit Mobile web edit
8 December 2023
- 11:1011:10, 8 December 2023 diff hist 0 Peirce's law →History: since this is a direct quote, use notation as in Peirce's paper
- 10:4110:41, 8 December 2023 diff hist +187 Peirce's law →History: the warning is quite missing the point
- 10:3810:38, 8 December 2023 diff hist +1 Second-order propositional logic →See also: replace with something more relevant current
4 December 2023
- 20:0920:09, 4 December 2023 diff hist +257 Borel determinacy theorem →Borel determinacy: Either way, using determinacy to prove these is an overkill Tags: Mobile edit Mobile web edit
- 15:1015:10, 4 December 2023 diff hist +7 Talk:Valiant–Vazirani theorem No edit summary
- 15:0915:09, 4 December 2023 diff hist +11 m Valiant–Vazirani theorem →Proof outline: clarify current
