Pages that link to "Item:Q895878"
From MaRDI portal
The following pages link to Multi-sorted logic and logical geometry: some problems. (Q895878):
Displayed 17 items.
- Multi-sorted logic, models, and logical geometry. (Q289767) (← links)
- Universal geometrical equivalence of the algebraic structures of common signature (Q1694706) (← links)
- Method of verbal operations and automorphisms of the category of free algebras (Q2093251) (← links)
- Automorphisms of the category of free finitely generated algebras (Q2165604) (← links)
- Algebraic sets of universal algebras and algebraic closure operator (Q2404812) (← links)
- Universal algebraic geometry: syntax and semantics (Q2673104) (← links)
- On the utility of Robinson-Amitsur ultrafilters. III (Q2678440) (← links)
- Automorphic equivalence in the classical varieties of linear algebras (Q4601320) (← links)
- Syntax versus semantics in knowledge bases – I (Q4611332) (← links)
- Characterization of finitely generated groups by types (Q4611343) (← links)
- (Q4691922) (← links)
- Algebraic Logic and Knowledge Bases (Q5015962) (← links)
- Geometrical equivalence and action type geometrical equivalence of group representations (Q5158954) (← links)
- Automorphic equivalence in the varieties of representations of Lie algebras (Q5216230) (← links)
- Geometric view on homogeneous groups (Q5239104) (← links)
- Syntax versus semantics in knowledge bases II (Q5239105) (← links)
- On automorphisms of categories with applications to universal algebraic geometry (Q6089423) (← links)