# User contributions

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

- 01:43, 20 January 2018 (diff | hist) . . (+6) . . General topology (error correction) (current)
- 23:24, 18 April 2017 (diff | hist) . . (-75) . . Funcoid bases/Failed condition (current)
- 22:25, 18 April 2017 (diff | hist) . . (+1) . . m Funcoid bases/Disproof (punctuation typo) (current)
- 22:25, 18 April 2017 (diff | hist) . . (+70) . . Funcoid bases/Disproof (more detailed proof)
- 22:20, 18 April 2017 (diff | hist) . . (+95) . . Funcoid bases/Disproof
- 20:44, 18 April 2017 (diff | hist) . . (+6) . . Funcoid bases/Disproof (math typo)
- 19:48, 18 April 2017 (diff | hist) . . (+17) . . Funcoid bases/Disproof
- 19:39, 18 April 2017 (diff | hist) . . (+15) . . Funcoid bases/Disproof
- 19:38, 18 April 2017 (diff | hist) . . (+20) . . Funcoid bases/Disproof
- 19:28, 18 April 2017 (diff | hist) . . (+1) . . Funcoid bases/Disproof
- 19:28, 18 April 2017 (diff | hist) . . (+18) . . Funcoid bases/Disproof
- 19:28, 18 April 2017 (diff | hist) . . (+107) . . Funcoid bases/Disproof
- 19:25, 18 April 2017 (diff | hist) . . (+117) . . Funcoid bases (current)
- 19:23, 18 April 2017 (diff | hist) . . (-60) . . Funcoid bases/Disproof
- 19:23, 18 April 2017
(diff | hist) . .
**(+1,378)** . . N Funcoid bases/Disproof (Created page with "<b>Proposition</b> 2 does not imply 3. <b>Proof</b> Take $S_0 = \operatorname{up} 1^{\mathsf{FCD}}$ (where $1^{\mathsf{FCD}}$ signifies the diagonal of some infinite set) and...") - 19:21, 18 April 2017 (diff | hist) . . (+69) . . Funcoid bases
- 19:04, 18 April 2017 (diff | hist) . . (+180) . . Funcoid bases/Failed condition
- 16:11, 18 April 2017 (diff | hist) . . (0) . . m Funcoid bases
- 16:06, 18 April 2017 (diff | hist) . . (-73) . . Funcoid bases
- 16:05, 18 April 2017
(diff | hist) . .
**(+753)** . . N Funcoid bases/Failed condition (Created page with "The following condition: 4. $S$ is an upper set and $S\cap\Gamma$ is a filter on the boolean lattice $\Gamma$ (defined in the chapter "Funcoids are filters" of the book). wa...") - 08:20, 18 April 2017 (diff | hist) . . (-7) . . Funcoid bases
- 21:51, 16 April 2017 (diff | hist) . . (+191) . . Funcoid bases
- 21:46, 16 April 2017 (diff | hist) . . (+124) . . Funcoid bases
- 21:44, 16 April 2017 (diff | hist) . . (+187) . . Funcoid bases
- 20:58, 15 April 2017 (diff | hist) . . (+2) . . Funcoid bases (math typo)
- 20:29, 15 April 2017 (diff | hist) . . (+48) . . Funcoid bases/Proving existence of funcoid through lattice Gamma (current)
- 20:29, 15 April 2017 (diff | hist) . . (+116) . . Funcoid bases/Proving existence of funcoid through lattice Gamma
- 20:39, 13 April 2017 (diff | hist) . . (+7) . . Funcoid bases/Proving existence of funcoid through lattice Gamma
- 20:39, 13 April 2017 (diff | hist) . . (+66) . . Funcoid bases/Proving existence of funcoid through lattice Gamma
- 20:38, 13 April 2017 (diff | hist) . . (+105) . . Funcoid bases/Proving existence of funcoid through lattice Gamma
- 20:25, 13 April 2017
(diff | hist) . .
**(+858)** . . N Funcoid bases/Basic results (Created page with "That $S$ is an upper set follows from every three supposedly equivalent conditions of the main conjecture. Thus we can assume that $S$ is an upper set while proving the conjec...") (current) - 20:21, 13 April 2017 (diff | hist) . . (+33) . . Funcoid bases
- 11:34, 13 April 2017 (diff | hist) . . (+84) . . Funcoid bases/Proving existence of funcoid through lattice Gamma
- 11:31, 13 April 2017
(diff | hist) . .
**(+944)** . . N Funcoid bases/Proving existence of funcoid through lattice Gamma (Created page with "Denote $S' = S \cap \Gamma$. It's easy to show that $S'$ is a filter on $\Gamma$ (in my book it's proved that $\Gamma$ is a sublattice of $\mathsf{FCD}$). For every ultrafilt...") - 11:27, 13 April 2017 (diff | hist) . . (+70) . . Funcoid bases
- 11:15, 13 April 2017 (diff | hist) . . (+34) . . Funcoid bases/Reduce to meets of applying funcoids to ultrafilters (current)
- 11:14, 13 April 2017 (diff | hist) . . (+34) . . Funcoid bases/Another reduce to ultrafilters (current)
- 09:05, 13 April 2017 (diff | hist) . . (+5) . . m Funcoid bases
- 08:57, 13 April 2017
(diff | hist) . .
**(+1,874)** . . N Funcoid bases/Another reduce to ultrafilters (Created page with "<b>Statement</b> If $\forall X_0, \ldots, X_n \in S : \operatorname{up} (X_0 \sqcap^{\mathsf{FCD}} \ldots \sqcap^{\mathsf{FCD}} X_n) \subseteq S$ (for every natural $n$), then...") - 08:49, 13 April 2017 (diff | hist) . . (+70) . . Funcoid bases
- 19:48, 11 April 2017 (diff | hist) . . (+319) . . Funcoid bases/Reduce to meets of applying funcoids to ultrafilters
- 19:29, 11 April 2017
(diff | hist) . .
**(+1,509)** . . Funcoid bases/Reduce to meets of applying funcoids to ultrafilters - 19:14, 11 April 2017 (diff | hist) . . (-2) . . Funcoid bases/Reduce to meets of applying funcoids to ultrafilters (math typo)
- 19:14, 11 April 2017 (diff | hist) . . (+2) . . Funcoid bases/Reduce to meets of applying funcoids to ultrafilters (Undo revision 75 by Victor Porton (talk))
- 19:14, 11 April 2017 (diff | hist) . . (-2) . . Funcoid bases/Reduce to meets of applying funcoids to ultrafilters (math typo)
- 19:08, 11 April 2017 (diff | hist) . . (-2) . . Funcoid bases/Reduce to meets of applying funcoids to ultrafilters (math typo)
- 18:32, 11 April 2017 (diff | hist) . . (+59) . . Funcoid bases/Reduce to meets of applying funcoids to ultrafilters
- 18:31, 11 April 2017 (diff | hist) . . (+10) . . Funcoid bases/Reduce to meets of applying funcoids to ultrafilters
- 18:31, 11 April 2017 (diff | hist) . . (-74) . . Funcoid bases/Reduce to meets of applying funcoids to ultrafilters
- 18:30, 11 April 2017
(diff | hist) . .
**(+2,768)** . . N Funcoid bases/Reduce to meets of applying funcoids to ultrafilters (Created page with "The idea behind this proof is to reduce behavior of funcoids $\langle f\rangle$ with better known behavior of filters $\langle f\rangle x$ for an arbitrary ultrafilter $x$ (I...")

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