Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory
Crossref DOI link: https://doi.org/10.1007/s10817-018-9480-6
Published Online: 2018-10-11
Published Print: 2019-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kirst, Dominik http://orcid.org/0000-0003-4126-6975
Smolka, Gert
Text and Data Mining valid from 2018-10-11
Article History
Received: 26 February 2018
Accepted: 16 August 2018
First Online: 11 October 2018