On coherent families of finite-to-one functions

P. Koszmider
DOI: https://doi.org/10.2307/2275329
1993-03-01
Abstract:Abstract We consider the existence of coherent families of finite-to-one functions on countable subsets of an uncountable cardinal κ. The existence of such families for κ implies the existence of a winning 2-tactic for player TWO in the countable-finite game on κ. We prove that coherent families exist on κ = ωn, where n ∈ ω, and that they consistently exist for every cardinal κ. We also prove that iterations of Axiom A forcings with countable supports are Axiom A.
What problem does this paper attempt to address?