On the Well Extension of Partial Well Orderings
classification
💻 cs.LO
keywords
wellextensionwell-orderedorderingspartialproveeveryextended
read the original abstract
In this paper, we study the well extension of strict(irreflective) partial well orderings. We first prove that any partially well-ordered structure <A, R> can be extended to a well-ordered one. Then we prove that every linear extension of <A, R> is well-ordered if and only if A has no infinite totally unordered subset under R.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.