Complete existential theory of the postulates for well ordered sets
نویسندگان
چکیده
منابع مشابه
From Well-Quasi-Ordered Sets to Better-Quasi-Ordered Sets
We consider conditions which force a well-quasi-ordered poset (wqo) to be betterquasi-ordered (bqo). In particular we obtain that if a poset P is wqo and the set Sω(P ) of strictly increasing sequences of elements of P is bqo under domination, then P is bqo. As a consequence, we get the same conclusion if Sω(P ) is replaced by J (P ), the collection of non-principal ideals of P , or by AM(P ), ...
متن کاملLimits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کاملPartially Well-Ordered Closed Sets of Permutations
It is known that the \pattern containment" order on permutations is not a partial well-order. Nevertheless, many naturally de ned subsets of permutations are partially well-ordered, in which case they have a strong nite basis property. Several classes are proved to be partially well-ordered under pattern containment. Conversely, a number of new antichains are exhibited that give some insight as...
متن کاملThe Axiom of Choice for Well-Ordered Families and for Familes of Well-Orderable Sets
We show that it is not possible to construct a Fraenkel-Mostowski model in which the axiom of choice for well ordered families of sets and the axiom of choice for sets for well orderable sets are both true, but the axiom of choice is false. We are concerned with the following two consequences of the axiom of choice: C(WO,∞): Every well ordered collection of sets has a choice function. C(∞,WO): ...
متن کاملComplete ordered sets with no infinite antichains
There are several standard constructions by which an arbitrary ordered set P is extended to one in which every subset has an. infimum and a supremuma complete ordered set. The collection I(P) of all initial segments of P ordered by inclusion is one. [A subset I of P is an initial segment if, for x, y E P, x E I whenever x s y and y E I.] I(P) is a complete distributive lattice. AnoWr is the fam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1917
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1917-02936-9