DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE

DOI10.1017/jsl.2018.18OpenAlexW2912333221MaRDI QIDQ4628672

Dominik Adolf, Grigor Sargsyan

Publication date: 15 March 2019

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

Full work available at URL: https://doi.org/10.1017/jsl.2018.18

zbMATH Keywords

micederived modelsSolovay sequence

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Determinacy in L(ℝ, μ)
• Hod mice and the Mouse Set Conjecture
• An Outline of Inner Model Theory
• Local K^c constructions

This page was built for publication: DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE