Isotyped algebras
From MaRDI portal
Publication:744308
DOI10.1134/S0081543812070048zbMath1361.03067OpenAlexW3191950148MaRDI QIDQ744308
Publication date: 7 October 2014
Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0081543812070048
Other algebras related to logic (03G25) Categories of algebras (08C05) Varieties (08B99) Foundations of algebraic geometry (14A99)
Related Items (10)
On the elementary geometry of universal algebras and on the equivalence of clones relative to this geometry ⋮ On the logical equivalence of functional clones ⋮ Universal algebraic geometry: syntax and semantics ⋮ Syntax versus semantics in knowledge bases – I ⋮ Characterization of finitely generated groups by types ⋮ Types of points and algebras ⋮ Logically automorphically equivalent knowledge bases models ⋮ Automorphic equivalence in the varieties of representations of Lie algebras ⋮ Syntax versus semantics in knowledge bases II ⋮ Algebraic Logic and Knowledge Bases
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic geometry over groups. III: Elements of model theory.
- Engelsche Elemente Noetherscher Gruppen
- Algebraic geometry in first-order logic
- Cylindric algebras. Part II
- Algebraic geometry over groups. I: Algebraic sets and ideal theory
- Algebraic geometry over groups. II: Logical foundations
- Varieties of algebras and algebraic varieties. Categories of algebraic varieties
- Some logical invariants of algebras and logical relations between algebras
- Some Constructions for Locally Finite Groups
- Model Theory
- Radical groups
- SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
- Embedding Theorems for Groups
- An essay on free products of groups with amalgamations
This page was built for publication: Isotyped algebras