Proving well-orderedness: Difference between revisions
Jump to navigation
Jump to search
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..."
(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...") |
(No difference)
|