Categoricity results and large model constructions for second-order ZF in dependent type theory (Q2319994)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categoricity results and large model constructions for second-order ZF in dependent type theory |
scientific article |
Statements
Categoricity results and large model constructions for second-order ZF in dependent type theory (English)
0 references
21 August 2019
0 references
dependent type theory
0 references
second-order set theory
0 references
categoricity
0 references
model constructions
0 references
sets-as-trees interpretation
0 references
Coq
0 references
0 references
