User contributions for Joelbrennan

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

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

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)

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.

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

Navigation menu