# User contributions

From Polymath Wiki

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

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