Displaying similar documents to “On the decidability of the theory of linear orderings with generalized quantifiers”

Linear extensions of orderings

Vítězslav Novák, Miroslav Novotný (2000)

Czechoslovak Mathematical Journal

Similarity:

A construction is given which makes it possible to find all linear extensions of a given ordered set and, conversely, to find all orderings on a given set with a prescribed linear extension. Further, dense subsets of ordered sets are studied and a procedure is presented which extends a linear extension constructed on a dense subset to the whole set.