Anti-Chains of Mappings from omega^omega on some BQO
Détails
ID Serval
serval:BIB_FA2CB02AE2CF
Type
Non publié: un document ayant un auteur et un titre, mais non publié.
Collection
Publications
Institution
Titre
Anti-Chains of Mappings from omega^omega on some BQO
Langue
anglais
Notes
temporary version, to be submitted
Résumé
Issue: Let (P,<) be some BQO. Louveau and Saint-Raymond showed that the following structure (F, <_F) is also a BQO: F={φ: from ωω into P: φ is Borel with countable image} with the usual topology on ωω and the discrete topology on the BQO P; and φ <_F ψ iff there exists some continuous function h: from ωω to ωω such that for all x ∈ ωω φ(x) < ψ(h(x)). The following proposition answers the question of the relation between cardinalities of anti-chains of P and anti-chains of F: 1) Every anti-chain in P has cardinality 1 ⇒ every anti-chain in F has cardinality 1. 2) There exists an anti-chain in P of cardinality 2, but no element of P is incomparable with two different elements ⇒ every anti-chain in F has cardinality at most 2. 3) There exists an element in P which is incomparable with two different elements ⇒ there exists anti-chains of any cardinality in F.
Création de la notice
23/01/2008 19:40
Dernière modification de la notice
20/08/2019 16:25