All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 18:28, 5 April 2023 Joelbrennan talk contribs created page 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$. ~~~~")
- 21:59, 17 August 2021 Joelbrennan talk contribs created page Talk:Orbit-Stabilizer Theorem (Created page with "== Unnecessary hypothesis == The hypothesis that $X$ is finite does not seem to be used in either proof. ~~~~")