A Failure of \Pi^1_{n+3}-Reduction in the Presence of \Sigma^1_{n+3}-Separation

MaRDI QIDQ6462215zbMATH OpenFDO

Authors Stefan Hoffelner

Publication date 5 December 2023

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

This page was built for publication: A Failure of $\Pi^1_{n+3}$-Reduction in the Presence of $\Sigma^1_{n+3}$-Separation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6462215)