Pages that link to "Item:Q3347872"
From MaRDI portal
The following pages link to Some Theorems on the Lattice of Local Interpretability Types (Q3347872):
Displaying 5 items.
- An interpretation of Shenoy and Shafer's axioms for local computation (Q911810) (← links)
- Non-covering in the interpretability lattice of equational theories (Q1802249) (← links)
- A lattice of chapters of mathematics (interpretations between theorems [theories]) (Q3472098) (← links)
- Construction of sentences with specific interpretability properties (Q4314798) (← links)
- The Lattice of Interpretability Types of Cantor Varieties (Q5294710) (← links)