Cabal Seminar 77-79: Proceedings, Caltech-UCLA Logic Seminar 1977-79

A. S. Kechris analytic operation analytic sets argument Assume Axiom of Determinacy boldface pointclass Borel capacitary operation capacity Coding Lemma cofinality construction Corollary countable define Definition descriptive set theory determinacy e-splitting example finite function Harrington-Kechris hence homogeneous homogeneous tree hyperimmune-free hyperprojective implies inductive initial segment Jockusch K-analytic Kechris Lemma measurable cardinal metrisable space minimal degree monotone Moschovakis 1980 multicapacity normal ultrafilter numbers ordinal game pointclass closed pointsets Polish space prewellordering property projective-like hierarchy proof prove recursive regular cardinal result S₁ S₂ scale property sequence Solovay Souslin cardinal Spector pointclass strong partition property subset subtree Suppose tree ultrafilter unbounded universally capacitable w₁ Wadge wellfounded relation wellordered unions winning strategy Y. N. Moschovakis α α αε