A Higher Structure Identity Principle

arXiv1702.07776MaRDI QIDQ6283598FDOQ6283598

Authors: Dimitris Tsementzis 

Publication date: 24 February 2017

Abstract: We prove a Structure Identity Principle for theories defined on types of $h$-level 3 by defining a general notion of saturation for a large class of structures definable in the Univalent Foundations.

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Algebraic logic (03G99) Model theory (03C99)

This page was built for publication: A Higher Structure Identity Principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6283598)