# User contributions for Dfeuer

Jump to navigation
Jump to search

- 20:44, 14 October 2013 diff hist +134 N Talk:Fundamental Theorem of Calculus/First Part Created page with "No mention is made of what sort of integral this is. --~~~~"
- 20:00, 17 September 2013 diff hist +316 Talk:Relation Compatible with Group Operation is Reflexive or Antireflexive
- 00:00, 17 September 2013 diff hist +2 Talk:Relation Compatible with Group Operation is Reflexive or Antireflexive
- 21:46, 16 September 2013
diff hist
**+529** N Talk:Relation Compatible with Group Operation is Reflexive or Antireflexive →Both being possible: new section - 21:42, 16 September 2013 diff hist +27 Relation Compatible with Group Operation is Reflexive or Antireflexive
- 04:28, 10 September 2013 diff hist +113 Definition talk:Transitive Closure (Set Theory)/Definition 1 →Deletion request: new section current
- 17:26, 9 September 2013 diff hist +59 Definition:Ideal
- 23:42, 6 September 2013 diff hist +223 N Definition talk:Formal Language Created page with "What is a structure and what does it mean for a structure to contain something? I would assume that in the meta-theory, this is a tuple, no? --~~~~"
- 19:29, 4 September 2013 diff hist +44 m Existence of Radius of Convergence of Complex Power Series
- 19:27, 4 September 2013 diff hist +51 Existence of Radius of Convergence of Complex Power Series
- 19:03, 4 September 2013 diff hist +125 Definition:Limit Superior
- 19:02, 4 September 2013 diff hist +59 Definition:Limit Superior
- 18:58, 4 September 2013 diff hist +49 m Nth Root Test
- 16:44, 4 September 2013 diff hist −25 m Definition:Radius of Convergence/Complex Domain Reverted edits by Dfeuer (talk) to last revision by Prime.mover
- 16:43, 4 September 2013 diff hist +25 m Definition:Radius of Convergence/Complex Domain
- 17:50, 3 September 2013 diff hist −124 Radius of Convergence of Derivative of Complex Power Series
- 19:02, 2 September 2013 diff hist +72 Radius of Convergence of Derivative of Complex Power Series
- 00:31, 8 August 2013 diff hist +368 m User:Dfeuer/Archimedean Totally Ordered Group is Isomorphic to Subgroup of Real Numbers current
- 23:59, 7 August 2013 diff hist +12 m User:Dfeuer/sandbox →Generalized sums current
- 23:58, 7 August 2013 diff hist 0 m User:Dfeuer/Archimedean Totally Ordered Group is Isomorphic to Subgroup of Real Numbers Dfeuer moved page User:Dfeuer/Archimedean Totally Ordered Group is Isomorphic to Real Numbers to User:Dfeuer/Archimedean Totally Ordered Group is Isomorphic to Subgroup of Real Numbers without leaving a redirect
- 21:38, 7 August 2013 diff hist +435 m User:Dfeuer/Archimedean Totally Ordered Group is Isomorphic to Subgroup of Real Numbers
- 21:01, 7 August 2013
diff hist
**+1,273** N User:Dfeuer/Archimedean Totally Ordered Group is Isomorphic to Subgroup of Real Numbers Created page with "== Theorem == Let $(G,+,\le)$ be an Archimedean totally ordered group. Then $G$ is isomorphic (as an ordered group) to some subgroup of $\R$. == Proof == In this proof, ..." - 16:52, 6 August 2013 diff hist +2 m User:Dfeuer/Archimedean Totally Ordered Group is Abelian current
- 16:49, 6 August 2013
diff hist
**+1,562** User:Dfeuer/Archimedean Totally Ordered Group is Abelian - 01:11, 6 August 2013
diff hist
**+1,108** N User:Dfeuer/Archimedean Totally Ordered Group is Abelian/Lemma 2 Created page with "== Theorem == <onlyinclude> Let $G$ be a non-trivial totally ordered group with no smallest strictly positive element. Let $g$ be a strictly positive element of $G$. Let $n ..." current - 00:15, 6 August 2013 diff hist +27 m User:Dfeuer/Archimedean Totally Ordered Group is Abelian/Lemma 1
- 23:52, 5 August 2013
diff hist
**+1,124** N User:Dfeuer/Archimedean Totally Ordered Group is Abelian/Lemma 1 Created page with "== Theorem == Let $G$ be an Definition:Archimedean totally ordered group with a smallest strictly positive element, $\epsilon$. Th..." - 23:06, 5 August 2013 diff hist +159 m User:Dfeuer/Archimedean Totally Ordered Group is Abelian
- 23:05, 5 August 2013 diff hist +145 N User:Dfeuer/Archimedean Totally Ordered Group is Abelian Created page with "== Lemma == {{User:Dfeuer/Archimedean Totally Ordered Group is Abelian/Lemma}}"
- 23:01, 5 August 2013
diff hist
**+829** N User:Dfeuer/Complete Totally Ordered Group is Archimedean Created page with "== Theorem == Let $G$ be a Dedekind-complete totally ordered group. Then $G$ is Definition:Archimede..." - 22:54, 5 August 2013 diff hist +184 User:Dfeuer/sandbox →Generalized sums
- 18:08, 3 August 2013
diff hist
**+503** N User:Dfeuer/Generalized Sums of Positive Elements are Increasing Created page with "== Theorem == Let $(G, +, \le)$ be an abelian totally ordered group. Let $\{x_i : i \in I \}$ be an indexed set of (weakly) positive elements of $G$. Let $J \subseteq I$. ..." current - 16:23, 3 August 2013
diff hist
**+612** User:Dfeuer/sandbox - 15:53, 3 August 2013
diff hist
**+957** User:Dfeuer/Increasing Net Converges to Point iff Supremum - 15:38, 3 August 2013
diff hist
**+624** N User:Dfeuer/Increasing Net Converges to Point iff Supremum Created page with "== Theorem == Let $(D,\preceq)$ be a directed set. Let $(L,\le)$ be a totally ordered set considered under the..." - 21:51, 2 August 2013
diff hist
**+1,837** User talk:Lord Farin →Absolute convergence stuff - 01:14, 2 August 2013 diff hist +29 Kelley's Theorem
- 01:11, 2 August 2013 diff hist +29 Net Convergence Equivalent to Absolute Convergence
- 01:09, 2 August 2013 diff hist +71 m Definition:Moore-Smith Sequence
- 00:50, 2 August 2013 diff hist +165 Positive-Term Generalized Sum Converges iff Supremum
- 00:24, 2 August 2013
diff hist
**+522** User talk:Lord Farin - 00:18, 2 August 2013
diff hist
**+1,942** N Positive-Term Generalized Sum Converges iff Supremum Created page with "{{tidy}} {{proofread}} {{MissingLinks}} == Theorem == Let $(G,\circ,\le)$ be an abelian [[Definition:Totally Ordered Group|totally ordered group]..." - 21:16, 1 August 2013 diff hist +22 User talk:Lord Farin →Absolute convergence stuff
- 21:15, 1 August 2013 diff hist +22 User talk:Lord Farin →Absolute convergence stuff
- 21:08, 1 August 2013 diff hist +156 User talk:Lord Farin →Absolute convergence stuff
- 21:00, 1 August 2013
diff hist
**+952** User talk:Lord Farin →Absolute convergence stuff: new section - 20:22, 1 August 2013 diff hist +326 Talk:Absolutely Convergent Generalized Sum Converges →Free generalization: new section
- 19:44, 1 August 2013
diff hist
**+547** Talk:Absolutely Convergent Generalized Sum Converges - 17:36, 1 August 2013 diff hist +471 Definition talk:Absolutely Convergent Series
- 17:27, 1 August 2013 diff hist +46 Definition:Absolutely Convergent Series