User contributions for EmilJ

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.

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

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

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

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

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

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

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

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

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
14:2214:22, 4 December 2023 diff hist −80 Borel determinacy theorem rv. First, properties of ANALYTIC sets do not follow from BOREL determinacy. Second, these are still easy to prove directly by showing that the algebras of measurable/Baire sets are closed under the Suslin operation. No determinacy needed. Tags: Undo Reverted

10:2210:22, 3 December 2023 diff hist +480 Talk:Valiant–Vazirani theorem No edit summary
10:1610:16, 3 December 2023 diff hist +348 Valiant–Vazirani theorem →Proof outline: Rewrite the proof, as it was putting the cart before the horse: they first construct a sequence of formulas, and the version with one formula follows from that. Also, mention an unconditional variant referred to from UP (complexity).
09:0309:03, 3 December 2023 diff hist −396 Valiant–Vazirani theorem →Proof outline: This is a nonsensical argument, as the Unambiguous-SAT algorithm may answer 0/1 arbitrarily on the formulas that have more than one solution, hence it is impossible to identify the one correct answer among a long list of garbage.
08:5908:59, 3 December 2023 diff hist −182 Valiant–Vazirani theorem It is based on a different isolation lemma, going back to Sipser. The possible use of M-V-V isolation lemma, which came after the original V-V paper, is an afterthought and yields worse bounds.

08:5308:53, 28 November 2023 diff hist −60 Borel determinacy theorem This is just silly. That the property of Baire holds for Borel subsets of arbitrary topological spaces follows from the simple observation that sets with the Baire property form a sigma-algebra. No determinacy required.

13:0713:07, 22 November 2023 diff hist +93 Alternating finite automaton →State complexity: mention lower state complexity of reverse language current
12:5312:53, 22 November 2023 diff hist −28 Alternating finite automaton →Formal definition: define it directly in terms of the A_w, to save an extra step
11:3311:33, 22 November 2023 diff hist +13 Alternating finite automaton →Formal definition: Use a transition-based rather than state-based definition, in accordance with the original Chandra–Kozen–Stockmayer paper as well as modern literature, and the introduction of this article

15:5215:52, 28 October 2023 diff hist −21 Joseph-Ignace Guillotin rm nonsense Tags: Mobile edit Mobile web edit

07:5807:58, 13 September 2023 diff hist −15 m Enumeration reducibility →Turing reduction
07:5707:57, 13 September 2023 diff hist −338 Enumeration reducibility →Properties: fix thorough confusion

17:2617:26, 13 July 2023 diff hist +29 Borel–Carathéodory theorem →Proof: this is not enough, as the real part may be negative

10:3710:37, 10 July 2023 diff hist +868 Talk:♯P-completeness of 01-permanent →Zero-One permanent
10:1310:13, 10 July 2023 diff hist +748 Pythagoras number →Properties: expand what "all cases" means
10:0210:02, 10 July 2023 diff hist +21 Quadratically closed field unify notation
08:2208:22, 10 July 2023 diff hist −13 Pythagoras number →Properties: fix confusion Tags: Mobile edit Mobile web edit

12:1512:15, 8 July 2023 diff hist −2 Talk:Presburger arithmetic →negative numbers disallowed? Tags: Mobile edit Mobile web edit
12:1512:15, 8 July 2023 diff hist +141 Talk:Presburger arithmetic →negative numbers disallowed? Tags: Mobile edit Mobile web edit
12:1112:11, 8 July 2023 diff hist +423 Talk:Presburger arithmetic →negative numbers disallowed?: Reply Tags: Mobile edit Mobile web edit Reply
12:0612:06, 8 July 2023 diff hist −68 Presburger arithmetic →Computational complexity: These two contradict each other (barring collapse in the exponential hierarchy), as i alternations = Sigma_{i+1} union Pi_{i+1}. The latter cannot even have a complete problem unless Sigma_{i+1}^{EXP} = Pi_{i+1}^{EXP}. Tags: Mobile edit Mobile web edit

18:1918:19, 5 July 2023 diff hist −1 Balloon satellite →Echo 1 and Echo 2 balloon satellites: revert old vandalism

09:1309:13, 30 June 2023 diff hist +799 Talk:♯P-completeness of 01-permanent →Zero-One permanent

5 March 2024

8 February 2024

7 February 2024

25 January 2024

18 January 2024

10 January 2024

20 December 2023

9 December 2023

8 December 2023

4 December 2023

3 December 2023

28 November 2023

22 November 2023

28 October 2023

13 September 2023

13 July 2023

10 July 2023

8 July 2023

5 July 2023

30 June 2023