User contributions for Tomtom2357
From Polymath Wiki
A user with 213 edits. Account created on 1 August 2013.
1 March 2021
- 13:1113:11, 1 March 2021 diff hist 0 m Lemma 7.6 No edit summary current
18 December 2017
- 20:5720:57, 18 December 2017 diff hist +1 Find set configurations that imply FUNC →Case 2: {} is not in C current
3 December 2016
- 20:1420:14, 3 December 2016 diff hist −190 User talk:Tomtom2357 No edit summary current
- 14:4014:40, 3 December 2016 diff hist −1 m Lemma 7 No edit summary current
2 December 2016
- 18:5518:55, 2 December 2016 diff hist −13 Lemma 7 →Lemma 7:
- 05:1405:14, 2 December 2016 diff hist +1 m Lemma 7.6 No edit summary
- 05:1405:14, 2 December 2016 diff hist +54 m Lemma 7.5 No edit summary current
- 05:1305:13, 2 December 2016 diff hist +4,887 N Lemma 7.5 Finished the lemma
- 04:4904:49, 2 December 2016 diff hist +2 Lemma 7.6 →|K|=5:
- 04:4904:49, 2 December 2016 diff hist +7 Lemma 7.6 →|K|=4:
- 04:4904:49, 2 December 2016 diff hist +3 Lemma 7.6 →|K|=3:
- 03:5803:58, 2 December 2016 diff hist +53 Lemma 7.6 No edit summary
- 03:5503:55, 2 December 2016 diff hist +2,544 Lemma 7.6 Finished the lemma
- 01:1301:13, 2 December 2016 diff hist 0 Lemma 7.6 →Lemma 7.6:
- 00:0700:07, 2 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..."
1 December 2016
- 17:1217:12, 1 December 2016 diff hist 0 Lemma 7 →Lemma 7:
- 17:1217:12, 1 December 2016 diff hist +16 M=13 case of FUNC →Lemmas current
30 November 2016
- 20:3620:36, 30 November 2016 diff hist +859 N Lemma 7 Created page, split into sections
12 November 2016
- 16:4116:41, 12 November 2016 diff hist +1,558 M=13 Theorem →Proof current
11 November 2016
- 23:1123: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..."
- 22:0822:08, 11 November 2016 diff hist +5 M=13 case of FUNC →Lemmas
- 22:0722:07, 11 November 2016 diff hist −16 M=13 case of FUNC →Lemmas
- 21:5021:50, 11 November 2016 diff hist +133 M=13 case of FUNC →Lemmas
- 21:4921:49, 11 November 2016 diff hist +85 Lemma 8 Finished the lemma current
- 21:4721:47, 11 November 2016 diff hist +1,305 Lemma 8 →|K|=5:
- 21:1421:14, 11 November 2016 diff hist +921 Lemma 8 →|K|=4:
10 November 2016
- 02:4202:42, 10 November 2016 diff hist +1,147 Lemma 8 →|K|=3:
1 November 2016
- 00:2700:27, 1 November 2016 diff hist +16 M=13 case of FUNC →Lemmas
- 00:2700:27, 1 November 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}<..."
31 October 2016
- 21:4221:42, 31 October 2016 diff hist +78 M=13 case of FUNC →Lemmas
- 20:4420:44, 31 October 2016 diff hist +16 M=13 case of FUNC No edit summary
- 15:0015:00, 31 October 2016 diff hist +799 Lemma 1 →|K|=3: current
- 05:1705:17, 31 October 2016 diff hist +1,150 Lemma 1 →|K|=4:
- 05:0105:01, 31 October 2016 diff hist +217 Lemma 1 No edit summary
- 01:5001:50, 31 October 2016 diff hist +1,424 Lemma 1 No edit summary
30 October 2016
- 23:0923:09, 30 October 2016 diff hist +1,133 Lemma 1 No edit summary
- 13:1413:14, 30 October 2016 diff hist +998 Lemma 1 No edit summary
28 October 2016
- 13:5613:56, 28 October 2016 diff hist +351 M=13 case of FUNC Split proof up into lemmas rather than cases
27 October 2016
- 14:2014:20, 27 October 2016 diff hist 0 Lemma 1 No edit summary
- 14:0214:02, 27 October 2016 diff hist +295 Find set configurations that imply FUNC Added a corollary
- 13:4813:48, 27 October 2016 diff hist −148 m Lemma 1 →Lemma 1:
- 13:4713:47, 27 October 2016 diff hist +13 m Find set configurations that imply FUNC →Case 2: {} is not in C
- 13:4613:46, 27 October 2016 diff hist +10 Find set configurations that imply FUNC →Case 1: {} is in C:
- 13:4613:46, 27 October 2016 diff hist +4,024 Find set configurations that imply FUNC Added another lemma
- 13:0613:06, 27 October 2016 diff hist +1,207 Lemma 1 →Lemma 1:
- 12:5512:55, 27 October 2016 diff hist +10 Find set configurations that imply FUNC →Finding the implied abundance given a configuration
- 12:3012:30, 27 October 2016 diff hist 0 Lemma 1 →Lemma 1:
- 06:4706: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}..."
- 06:0906:09, 27 October 2016 diff hist +12 M=13 case of FUNC No edit summary
- 06:0706:07, 27 October 2016 diff hist +140 M=13 case of FUNC No edit summary
