On Coherent Families of Finite-to-One Functions
Koszmider, Piotr
J. Symbolic Logic, Tome 58 (1993) no. 1, p. 128-138 / Harvested from Project Euclid
We consider the existence of coherent families of finite-to-one functions on countable subsets of an uncountable cardinal $\kappa$. The existence of such families for $\kappa$ implies the existence of a winning 2-tactic for player TWO in the countable-finite game on $\kappa$. We prove that coherent families exist on $\kappa = \omega_n$, where $n \in \omega$, and that they consistently exist for every cardinal $\kappa$. We also prove that iterations of Axiom A forcings with countable supports are Axiom A.
Publié le : 1993-03-14
Classification: 
@article{1183744181,
     author = {Koszmider, Piotr},
     title = {On Coherent Families of Finite-to-One Functions},
     journal = {J. Symbolic Logic},
     volume = {58},
     number = {1},
     year = {1993},
     pages = { 128-138},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744181}
}
Koszmider, Piotr. On Coherent Families of Finite-to-One Functions. J. Symbolic Logic, Tome 58 (1993) no. 1, pp.  128-138. http://gdmltest.u-ga.fr/item/1183744181/