# User contributions

From Polymath1Wiki

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

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