A Higher Structure Identity Principle

MaRDI QIDQ6283598zbMATH OpenFDO

Authors Dimitris Tsementzis

Publication date 24 February 2017

Mathematics Subject Classification ID

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

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.

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)