Inner Models of Univalence

DOI10.1145/3209108.3209112zbMATH Open1452.03035OpenAlexW2810205615MaRDI QIDQ5145271FDOQ5145271

Authors Thierry Coquand

Publication date 20 January 2021

Published in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3209108.3209112

zbMATH Keywords

univalencedependent type theory

Mathematics Subject Classification ID

Type theory (03B38)

Recommendations

• The category of inner models
• Deconstructing inner model theory
• An outline of inner model theory
• Model-theoretic aspects of unification
• scientific article; zbMATH DE number 4141899
• Inner Model Operators and the Continuum Hypothesis
• Beginning inner model theory
• Unirationality and existence of infinitely transitive models
• Fine structure for tame inner models
• scientific article; zbMATH DE number 1534570

Cited in

(1)

• scientific article; zbMATH DE number 4047708 (Why is no real title available?)

This page was built for publication: Inner Models of Univalence

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