Logical properties of morphisms between models of set theory
The developments of algebraic set theory have given its models of settheory good closure properties under certain algebraic operations on thecategories which constitute the models. However, there does not yet seemto exist an established notion of morphism between such models. In thispaper, we develo...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
KTH, Skolan för teknikvetenskap (SCI)
2017
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-210839 |