All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 05:09, 26 March 2024 CreeperBomb talk contribs deleted redirect Proving well-orderedness by overwriting (Deleted to make way for move from "User talk:Proving well-orderedness")
- 20:26, 25 March 2024 Cobsonwabag talk contribs moved page Proving well-orderedness to User talk:Proving well-orderedness
- 20:20, 11 July 2023 Yto talk contribs created page Proving well-orderedness (Created page with "Proving that an ordered set is well-ordered can be very challenging. The methods that can be used to do this vary depending on the type of ordered set. There are of course cases when none of this applies, but mainly in the context of pure apeirology, it often does apply. <h1>Proving totality</h1> As one of the two conditions for an order to be a well-order is that it is a total order, proving totality is a significant part of the proof of well-orderedness. In arbitraril...")