User contributions for Tomtom2357
From Polymath Wiki
A user with 213 edits. Account created on 1 August 2013.
1 March 2021
- 12:1112:11, 1 March 2021 diff hist 0 m Lemma 7.6 No edit summary current
18 December 2017
- 19:5719:57, 18 December 2017 diff hist +1 Find set configurations that imply FUNC →Case 2: {} is not in C current
3 December 2016
- 19:1419:14, 3 December 2016 diff hist −190 User talk:Tomtom2357 No edit summary current
- 13:4013:40, 3 December 2016 diff hist −1 m Lemma 7 No edit summary current
2 December 2016
- 17:5517:55, 2 December 2016 diff hist −13 Lemma 7 →Lemma 7:
- 04:1404:14, 2 December 2016 diff hist +1 m Lemma 7.6 No edit summary
- 04:1404:14, 2 December 2016 diff hist +54 m Lemma 7.5 No edit summary current
- 04:1304:13, 2 December 2016 diff hist +4,887 N Lemma 7.5 Finished the lemma
- 03:4903:49, 2 December 2016 diff hist +2 Lemma 7.6 →|K|=5:
- 03:4903:49, 2 December 2016 diff hist +7 Lemma 7.6 →|K|=4:
- 03:4903:49, 2 December 2016 diff hist +3 Lemma 7.6 →|K|=3:
- 02:5802:58, 2 December 2016 diff hist +53 Lemma 7.6 No edit summary
- 02:5502:55, 2 December 2016 diff hist +2,544 Lemma 7.6 Finished the lemma
- 00:1300:13, 2 December 2016 diff hist 0 Lemma 7.6 →Lemma 7.6:
1 December 2016
- 23:0723:07, 1 December 2016 diff hist +534 N Lemma 7.6 Created page with "This page proves a lemma for the m=13 case of FUNC. ==Lemma 7.6:== If <math>\mathcal{A}</math> contains a size 5 set, then <math>\mathcal{A}</math> is Frankl's. WLOG le..."
- 16:1216:12, 1 December 2016 diff hist 0 Lemma 7 →Lemma 7:
- 16:1216:12, 1 December 2016 diff hist +16 M=13 case of FUNC →Lemmas current
30 November 2016
- 19:3619:36, 30 November 2016 diff hist +859 N Lemma 7 Created page, split into sections
12 November 2016
- 15:4115:41, 12 November 2016 diff hist +1,558 M=13 Theorem →Proof current
11 November 2016
- 22:1122:11, 11 November 2016 diff hist +528 N M=13 Theorem Created page with "This page proves the final theorem for the m=13 case of FUNC. Assuming all the previous lemmas (which at this time have not all been proven), we know that if <math>\mathca..."
- 21:0821:08, 11 November 2016 diff hist +5 M=13 case of FUNC →Lemmas
- 21:0721:07, 11 November 2016 diff hist −16 M=13 case of FUNC →Lemmas
- 20:5020:50, 11 November 2016 diff hist +133 M=13 case of FUNC →Lemmas
- 20:4920:49, 11 November 2016 diff hist +85 Lemma 8 Finished the lemma current
- 20:4720:47, 11 November 2016 diff hist +1,305 Lemma 8 →|K|=5:
- 20:1420:14, 11 November 2016 diff hist +921 Lemma 8 →|K|=4:
10 November 2016
- 01:4201:42, 10 November 2016 diff hist +1,147 Lemma 8 →|K|=3:
31 October 2016
- 23:2723:27, 31 October 2016 diff hist +16 M=13 case of FUNC →Lemmas
- 23:2723:27, 31 October 2016 diff hist +1,541 N Lemma 8 Created page with "This page proves a lemma for the m=13 case of FUNC. ==Lemma 8:== If <math>\mathcal{A}</math> contains 2 size 6 sets with a 5 element intersection, then <math>\mathcal{A}<..."
- 20:4220:42, 31 October 2016 diff hist +78 M=13 case of FUNC →Lemmas
- 19:4419:44, 31 October 2016 diff hist +16 M=13 case of FUNC No edit summary
- 14:0014:00, 31 October 2016 diff hist +799 Lemma 1 →|K|=3: current
- 04:1704:17, 31 October 2016 diff hist +1,150 Lemma 1 →|K|=4:
- 04:0104:01, 31 October 2016 diff hist +217 Lemma 1 No edit summary
- 00:5000:50, 31 October 2016 diff hist +1,424 Lemma 1 No edit summary
30 October 2016
- 22:0922:09, 30 October 2016 diff hist +1,133 Lemma 1 No edit summary
- 12:1412:14, 30 October 2016 diff hist +998 Lemma 1 No edit summary
28 October 2016
- 12:5612:56, 28 October 2016 diff hist +351 M=13 case of FUNC Split proof up into lemmas rather than cases
27 October 2016
- 13:2013:20, 27 October 2016 diff hist 0 Lemma 1 No edit summary
- 13:0213:02, 27 October 2016 diff hist +295 Find set configurations that imply FUNC Added a corollary
- 12:4812:48, 27 October 2016 diff hist −148 m Lemma 1 →Lemma 1:
- 12:4712:47, 27 October 2016 diff hist +13 m Find set configurations that imply FUNC →Case 2: {} is not in C
- 12:4612:46, 27 October 2016 diff hist +10 Find set configurations that imply FUNC →Case 1: {} is in C:
- 12:4612:46, 27 October 2016 diff hist +4,024 Find set configurations that imply FUNC Added another lemma
- 12:0612:06, 27 October 2016 diff hist +1,207 Lemma 1 →Lemma 1:
- 11:5511:55, 27 October 2016 diff hist +10 Find set configurations that imply FUNC →Finding the implied abundance given a configuration
- 11:3011:30, 27 October 2016 diff hist 0 Lemma 1 →Lemma 1:
- 05:4705:47, 27 October 2016 diff hist +1,387 N Lemma 1 Created page with "This page proves a lemma for the m=13 case of FUNC. ==Lemma 1:== If <math>\mathcal{A}</math> contains 2 size 3 sets with a two element intersection, then <math>\mathcal{A}..."
- 05:0905:09, 27 October 2016 diff hist +12 M=13 case of FUNC No edit summary
- 05:0705:07, 27 October 2016 diff hist +140 M=13 case of FUNC No edit summary
