The category of inner models

DOI10.1023/A:1020818827349MaRDI QIDQ1868169zbMATH OpenOpenAlexFDO

Authors Peter Koepke

Publication date 27 April 2003

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1020818827349

zbMATH Keywords

determinacyelementary embeddinginner modelembedding normal form

Mathematics Subject Classification ID

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

Recommendations

• An outline of inner model theory
• scientific article; zbMATH DE number 956474
• Projectively well-ordered inner models
• Extenders, embedding normal forms, and the Martin-Steel-theorem
• Some applications of coarse inner model theory

Cited in

(6)

• Inner Models of Univalence
• Internal categories in Mal'cev categories
• scientific article; zbMATH DE number 2222242 (Why is no real title available?)
• scientific article; zbMATH DE number 4141899 (Why is no real title available?)
• Naturality and Definability, I
• A model structure on internal categories in simplicial sets

This page was built for publication: The category of inner models

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