Unreachability of inductive-like pointclasses in L(R)

DOI10.1017/JSL.2025.10170MaRDI QIDQ6846385zbMATH OpenFDO

Authors Derek Levinson, Itay Neeman, Grigor Sargsyan

Publication date 11 March 2026

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/JSL.2025.10170

zbMATH Keywords

descriptive set theorydeterminacyinner model theory

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Cites work

• A theorem of Woodin on mouse sets
• An outline of inner model theory
• Analytic determinacy and 0^#
• Descriptive set theory
• HOD^L(ℝ) is a Core Model Below Θ
• scientific article; zbMATH DE number 5504385 (Why is no real title available?)
• scientific article; zbMATH DE number 3700822 (Why is no real title available?)
• On the prewellorderings associated with the directed systems of mice
• Partition properties and well-ordered sequences
• Projectively well-ordered inner models
• Set theory. An introduction to independence proofs. 2nd print
• The mouse set theorem just past projective
• The self-iterability of L[E]
• Two Applications of Inner Model Theory to the Study of Sets

This page was built for publication: Unreachability of inductive-like pointclasses in \(L(\mathbb{R})\)

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