User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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...")
- 18:21, 11 April 2017 (diff | hist) . . (+1) . . m Funcoid bases
- 18:21, 11 April 2017 (diff | hist) . . (+133) . . Funcoid bases
- 18:18, 11 April 2017 (diff | hist) . . (+175) . . Funcoid bases
- 18:17, 11 April 2017 (diff | hist) . . (-36) . . Algebraic general topology (current)
- 18:08, 11 April 2017 (diff | hist) . . (+4) . . m Funcoid bases
- 18:07, 11 April 2017 (diff | hist) . . (+1) . . m Funcoid bases
- 18:05, 11 April 2017 (diff | hist) . . (+25) . . Funcoid bases
- 17:59, 11 April 2017 (diff | hist) . . (-2) . . Funcoid bases
- 17:59, 11 April 2017 (diff | hist) . . (+47) . . Funcoid bases
- 17:56, 11 April 2017 (diff | hist) . . (+1,708) . . N Research in the middle (Created page with "A usage of this site is to publish research-in-the-middle: rough research ideas (such as proof ideas), negative results, incomplete calculations, etc. We will follow general...") (current)
- 17:55, 11 April 2017 (diff | hist) . . (+4) . . Main Page
- 17:54, 11 April 2017 (diff | hist) . . (+162) . . N Category:Algebraic general topology (Created page with "This is a list of mathematical issues related to Algebraic general topology. Please read Algebraic general topology before attempting to understand this.") (current)
- 17:51, 11 April 2017 (diff | hist) . . (+1) . . m Funcoid bases (punctuation)
- 17:50, 11 April 2017 (diff | hist) . . (0) . . m Funcoid bases (a link corrected)
- 17:47, 11 April 2017 (diff | hist) . . (+92) . . Funcoid bases
- 17:46, 11 April 2017 (diff | hist) . . (+796) . . N Funcoid bases (Created page with "This page presents Victor Porton's conjectures about funcoid bases and related stuff as first defined in [http://www.mathematics21.org/binaries/addo...")
- 17:42, 11 April 2017 (diff | hist) . . (+126) . . Main Page (→Research in the middle)
- 17:41, 11 April 2017 (diff | hist) . . (+933) . . Main Page
- 17:39, 11 April 2017 (diff | hist) . . (+1) . . Algebraic general topology
- 17:38, 11 April 2017 (diff | hist) . . (+44) . . Algebraic general topology
- 17:38, 11 April 2017 (diff | hist) . . (+774) . . N Algebraic general topology (Created page with "'''Algebraic general topology''' is a research project (and a free book) started by Victor Porton's. You can enter into the topic by reading [http://ww...")
- 17:30, 11 April 2017 (diff | hist) . . (+186) . . Main Page (research in the middle)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
