The nonexistence of robust codes for subsets of ω₁

David Asperó

Fundamenta Mathematicae, Tome 185 (2005), p. 215-231 / Harvested from The Polish Digital Mathematics Library

Résumé

Several results are presented concerning the existence or nonexistence, for a subset S of ω₁, of a real r which works as a robust code for S with respect to a given sequence $⟨S_α: α < ω₁⟩$ of pairwise disjoint stationary subsets of ω₁, where “robustness” of r as a code may either mean that $S ∈ L[r,⟨S*_α: α < ω₁⟩]$ whenever each $S*_α$ is equal to $S_α$ modulo nonstationary changes, or may have the weaker meaning that $S ∈ L[r,⟨S_α ∩ C: α < ω₁⟩]$ for every club C ⊆ ω₁. Variants of the above theme are also considered which result when the requirement that S gets exactly coded is replaced by the weaker requirement that some set is coded which is equal to S up to a club, and when sequences of stationary sets are replaced by decoding devices possibly carrying more information (like functions from ω₁ into ω₁).

Détail

Publié le : 2005-01-01

Zbl 1094.03037

EUDML-ID : urn:eudml:doc:282931