Applying Generic Coding with Help to Uniformizations

DOI10.1016/J.APAL.2023.103244arXiv1708.09513MaRDI QIDQ6290707

Dan Hathaway

Publication date: 30 August 2017

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40) Determinacy principles (03E60)

This page was built for publication: Applying Generic Coding with Help to Uniformizations