User contributions for Joelbrennan
Jump to navigation
Jump to search
5 April 2023
- 18:2818:28, 5 April 2023 diff hist +537 N Talk:Intersection of Two Ordinals is Ordinal Created page with "== Proof not quite complete, and can be generalized == The proof isn't quite complete; it is using Definition 3 of an ordinal (implicitly) to conclude, however this definition doesn't just require elements to be equal to their initial segments, but also that the set be well-ordered. There is also no reason the proof can't be generalized to the intersection of a family of ordinals $\bigcap_{i \in I} A_i$. ~~~~"
- 18:2218:22, 5 April 2023 diff hist +12 Intersection of Two Ordinals is Ordinal Added {{Expand}} tag as proof is not quite complete.
- 18:1618:16, 5 April 2023 diff hist −6 Definition:Ordinal/Definition 3 Correction. The {ExtractTheorem} tag might want to be removed now because I believe it's a remnant from previous versions of the page.
- 17:4317:43, 5 April 2023 diff hist +44 Ordinal Membership is Trichotomy/Proof 1 Correction
17 August 2021
- 21:5921:59, 17 August 2021 diff hist +199 N Talk:Orbit-Stabilizer Theorem Created page with "== Unnecessary hypothesis == The hypothesis that $X$ is finite does not seem to be used in either proof. ~~~~" current
23 July 2021
- 23:3323:33, 23 July 2021 diff hist +79 Sum of Reciprocals of Even Powers of Integers Alternating in Sign No edit summary
7 October 2020
- 21:1321:13, 7 October 2020 diff hist +289 Definition:Differentiable Mapping/Real-Valued Function/Point/Definition 2 added {{questionable}} tag because there is a mistake in the definition (type mismatch)
- 21:1121:11, 7 October 2020 diff hist +317 Definition:Differentiable Mapping/Real-Valued Function/Point/Definition 1 added {{questionable}} tag because there is a mistake in the definition (type mismatch)
14 May 2019
- 13:2013:20, 14 May 2019 diff hist −88 m Definition:Irreducible Element of Ring i had already resolved this issue but forgot to remove {{}} from the code
- 13:1913:19, 14 May 2019 diff hist −130 Definition:Irreducible Element of Ring I have simply changed ", i.e. ..." to ". That is, ...". Hopefully this is satisfactory.
6 May 2019
- 15:0715:07, 6 May 2019 diff hist −29 m Definition:Irreducible Element of Ring again, these are the same definition so I have merged them
- 15:0415:04, 6 May 2019 diff hist −29 m Definition:Irreducible Element of Ring these are not two different definitions, so i have merged them
19 April 2019
- 17:5917:59, 19 April 2019 diff hist +3 m Axiom of Choice implies Zorn's Lemma/Proof 1 No edit summary
- 17:5117:51, 19 April 2019 diff hist −1 m Axiom of Choice implies Zorn's Lemma/Proof 1 No edit summary
- 17:4417:44, 19 April 2019 diff hist +4 m Axiom of Choice implies Zorn's Lemma/Proof 1 No edit summary
- 15:5815:58, 19 April 2019 diff hist +467 N Talk:Axiom of Choice implies Zorn's Lemma/Proof 2 unclear notation
- 15:5115:51, 19 April 2019 diff hist −1 m Axiom of Choice implies Zorn's Lemma/Proof 1 No edit summary