Pages that link to "Item:Q4981752"
From MaRDI portal
The following pages link to Algebraic logic and logical geometry in arbitrary varieties of algebras (Q4981752):
Displaying 15 items.
- Multi-sorted logic, models, and logical geometry. (Q289767) (← links)
- Multi-sorted logic and logical geometry: some problems. (Q895878) (← links)
- Algebraic geometry in first-order logic (Q1040258) (← links)
- Algebras, projective geometry, mathematical logic, and constructing the world: intersections in the philosophy of mathematics of A. N. Whitehead. (Q1867863) (← links)
- Topologies of pointwise convergence in the first order languages and in affine spaces (Q2046641) (← links)
- Isotypeness of models and knowledge bases equivalence (Q2254092) (← links)
- Logic of differential calculus and the Zoo of geometric structures (Q2957381) (← links)
- (Q4508459) (← links)
- Syntax versus semantics in knowledge bases – I (Q4611332) (← links)
- Action of endomorphism semigroups on definable sets (Q4611342) (← links)
- Characterization of finitely generated groups by types (Q4611343) (← links)
- (Q5215789) (← links)
- Syntax versus semantics in knowledge bases II (Q5239105) (← links)
- On countable isotypic structures (Q6601471) (← links)
- Isotypic equivalence of abelian \(p\)-groups with separable reduced parts (Q6643373) (← links)
