Article contents
On coherent families of finite-to-one functions
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1993
References
REFERENCES
- 6
- Cited by