Determinacy in the Chang model

DOI10.1090/PROC/17305MaRDI QIDQ6843276zbMATH OpenFDO

Authors Takehiko Gappo, Grigor Sargsyan

Publication date 17 March 2026

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/PROC/17305

zbMATH Keywords

Chang modeldeterminacyHod pairinner model theory

Mathematics Subject Classification ID

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

Cites work

• A Comparison Process for Mouse Pairs
• Covering with Chang models over derived models
• Extensions of the Axiom of Determinacy
• scientific article; zbMATH DE number 2121504 (Why is no real title available?)
• On supercompactness of _1
• On the derived models of self-iterable universes
• The derived model theorem
• The extender algebra and Σ21-absoluteness
• The sharp for the Chang model is small

This page was built for publication: Determinacy in the Chang model

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