sets and singletons

DOI10.2307/2586486zbMath0930.03057OpenAlexW2071908933MaRDI QIDQ4262571

W. Hugh Woodin, Kai Hauser

Publication date: 15 February 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586486

zbMATH Keywords

core modelSacks forcingdeterminacy of gamesperfect treesthird level of the projective hierarchy

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Related Items (1)

The limits of determinacy in second-order arithmetic

This page was built for publication: sets and singletons