# User contributions

From Polymath1Wiki

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

- 19:57, 18 December 2017 (diff | hist) . . (+1) . . Find set configurations that imply FUNC (→Case 2: {} is not in C) (current)
- 19:14, 3 December 2016 (diff | hist) . . (-190) . . User talk:Tomtom2357 (current)
- 13:40, 3 December 2016 (diff | hist) . . (-1) . . m Lemma 7 (current)
- 17:55, 2 December 2016 (diff | hist) . . (-13) . . Lemma 7 (→Lemma 7:)
- 04:14, 2 December 2016 (diff | hist) . . (+1) . . m Lemma 7.6 (current)
- 04:14, 2 December 2016 (diff | hist) . . (+54) . . m Lemma 7.5 (current)
- 04:13, 2 December 2016 (diff | hist) . .
**(+4,887)** . . N Lemma 7.5 (Finished the lemma) - 03:49, 2 December 2016 (diff | hist) . . (+2) . . Lemma 7.6 (→|K|=5:)
- 03:49, 2 December 2016 (diff | hist) . . (+7) . . Lemma 7.6 (→|K|=4:)
- 03:49, 2 December 2016 (diff | hist) . . (+3) . . Lemma 7.6 (→|K|=3:)
- 02:58, 2 December 2016 (diff | hist) . . (+53) . . Lemma 7.6
- 02:55, 2 December 2016 (diff | hist) . .
**(+2,544)** . . Lemma 7.6 (Finished the lemma) - 00:13, 2 December 2016 (diff | hist) . . (0) . . Lemma 7.6 (→Lemma 7.6:)
- 23: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:12, 1 December 2016 (diff | hist) . . (0) . . Lemma 7 (→Lemma 7:)
- 16:12, 1 December 2016 (diff | hist) . . (+16) . . M=13 case of FUNC (→Lemmas) (current)
- 19:36, 30 November 2016 (diff | hist) . .
**(+859)** . . N Lemma 7 (Created page, split into sections) - 15:41, 12 November 2016 (diff | hist) . .
**(+1,558)** . . M=13 Theorem (→Proof) (current) - 22: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:08, 11 November 2016 (diff | hist) . . (+5) . . M=13 case of FUNC (→Lemmas)
- 21:07, 11 November 2016 (diff | hist) . . (-16) . . M=13 case of FUNC (→Lemmas)
- 20:50, 11 November 2016 (diff | hist) . . (+133) . . M=13 case of FUNC (→Lemmas)
- 20:49, 11 November 2016 (diff | hist) . . (+85) . . Lemma 8 (Finished the lemma) (current)
- 20:47, 11 November 2016 (diff | hist) . .
**(+1,305)** . . Lemma 8 (→|K|=5:) - 20:14, 11 November 2016 (diff | hist) . .
**(+921)** . . Lemma 8 (→|K|=4:) - 01:42, 10 November 2016 (diff | hist) . .
**(+1,147)** . . Lemma 8 (→|K|=3:) - 23:27, 31 October 2016 (diff | hist) . . (+16) . . M=13 case of FUNC (→Lemmas)
- 23: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:42, 31 October 2016 (diff | hist) . . (+78) . . M=13 case of FUNC (→Lemmas)
- 19:44, 31 October 2016 (diff | hist) . . (+16) . . M=13 case of FUNC
- 14:00, 31 October 2016 (diff | hist) . .
**(+799)** . . Lemma 1 (→|K|=3:) (current) - 04:17, 31 October 2016 (diff | hist) . .
**(+1,150)** . . Lemma 1 (→|K|=4:) - 04:01, 31 October 2016 (diff | hist) . . (+217) . . Lemma 1
- 00:50, 31 October 2016 (diff | hist) . .
**(+1,424)** . . Lemma 1 - 22:09, 30 October 2016 (diff | hist) . .
**(+1,133)** . . Lemma 1 - 12:14, 30 October 2016 (diff | hist) . .
**(+998)** . . Lemma 1 - 12:56, 28 October 2016 (diff | hist) . . (+351) . . M=13 case of FUNC (Split proof up into lemmas rather than cases)
- 13:20, 27 October 2016 (diff | hist) . . (0) . . Lemma 1
- 13:02, 27 October 2016 (diff | hist) . . (+295) . . Find set configurations that imply FUNC (Added a corollary)
- 12:48, 27 October 2016 (diff | hist) . . (-148) . . m Lemma 1 (→Lemma 1:)
- 12:47, 27 October 2016 (diff | hist) . . (+13) . . m Find set configurations that imply FUNC (→Case 2: {} is not in C)
- 12:46, 27 October 2016 (diff | hist) . . (+10) . . Find set configurations that imply FUNC (→Case 1: {} is in C:)
- 12:46, 27 October 2016 (diff | hist) . .
**(+4,024)** . . Find set configurations that imply FUNC (Added another lemma) - 12:06, 27 October 2016 (diff | hist) . .
**(+1,207)** . . Lemma 1 (→Lemma 1:) - 11:55, 27 October 2016 (diff | hist) . . (+10) . . Find set configurations that imply FUNC (→Finding the implied abundance given a configuration)
- 11:30, 27 October 2016 (diff | hist) . . (0) . . Lemma 1 (→Lemma 1:)
- 05: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:09, 27 October 2016 (diff | hist) . . (+12) . . M=13 case of FUNC
- 05:07, 27 October 2016 (diff | hist) . . (+140) . . M=13 case of FUNC
- 04:58, 27 October 2016 (diff | hist) . . (-253) . . M=13 case of FUNC (→Case 3: The smallest set has size 5)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)