Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory

Dominik Kirst, Gert Smolka

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Fingerprint

Dive into the research topics of 'Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory'. Together they form a unique fingerprint.

Keyphrases

Mathematics