Pages that link to "Item:Q4146729"
From MaRDI portal
The following pages link to A lattice of interpretability types of theories (Q4146729):
Displayed 4 items.
- Univalent foundations as structuralist foundations (Q1708879) (← links)
- Remarks and problems on a lattice of equational chapters (Q1821134) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)