No CrossRef data available.
Article contents
Determinateness of certain almost-Borel games
Published online by Cambridge University Press: 12 March 2014
Abstract
We prove (in ZFC Set Theory) that all infinite games whose winning sets are of the following forms are determined:
(1) (A − S) ∪ B, where A is , , and the game whose winning set is B is “strongly determined” (meaning that all of its subgames are determined).
(2) A Boolean combination of sets and sets smaller than the continuum.
This also enables us to show that strong determinateness is not preserved under complementation, improving a result of Morton Davis which required the continuum hypothesis to prove this fact.
Various open questions related to the above results are discussed. Our main conjecture is that (2) above remains true when is replaced by “Borel”.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1985