Pages that link to "Item:Q795823"
From MaRDI portal
The following pages link to First-order theories as many-sorted algebras (Q795823):
Displaying 11 items.
- Many-sorted equivalence of shiny and strongly polite theories (Q682380) (← links)
- The universal theory of first order algebras and various reducts (Q895827) (← links)
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets (Q1185017) (← links)
- Equational treatment of first-order logic (Q1344840) (← links)
- Partial algebras, meaning categories and algebraization (Q2368946) (← links)
- Morita equivalence of many-sorted algebraic theories (Q2491817) (← links)
- On the definitional embeddability of some elementary algebraic theories into the first-order predicate calculus (Q2811651) (← links)
- (Q3369100) (← links)
- (Q3380095) (← links)
- First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers) (Q3797176) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)