The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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.