Kindvall Gorbow, Paul (2018-05-24)
This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory.
The first part of the work on models of set theory consists in establishing a refined version of ...