The following pages link to First-order logical duality (Q1935870):
Displaying 15 items.
- The universal theory of first order algebras and various reducts (Q895827) (← links)
- Stone duality for first order logic (Q1105598) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Carnap and the invariance of logical truth (Q1708751) (← links)
- Contextuality and noncommutative geometry in quantum mechanics (Q1720188) (← links)
- Duality as a category-theoretic concept (Q2406918) (← links)
- Topological representation of geometric theories (Q3144866) (← links)
- Algebraic Representation, Dualities and Beyond (Q3299871) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
- Sheaf Representations and Duality in Logic (Q5014593) (← links)
- Why Not Categorical Equivalence? (Q5015983) (← links)
- RECONSTRUCTION OF NON--CATEGORICAL THEORIES (Q5070466) (← links)
- Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} (Q5243125) (← links)
- Duality in Logic and Computation (Q5271035) (← links)
- Formal model theory and higher topology (Q6561655) (← links)