Isotyped algebras
From MaRDI portal
Publication:744308
DOI10.1134/S0081543812070048zbMATH Open1361.03067OpenAlexW3191950148MaRDI QIDQ744308FDOQ744308
Authors: B. Plotkin 
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) Foundations of algebraic geometry (14A99) Varieties (08B99)
Cites Work
- Title not available (Why is that?)
- Cylindric algebras. Part II
- Model Theory
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Embedding Theorems for Groups
- Algebraic geometry in first-order logic
- Title not available (Why is that?)
- An essay on free products of groups with amalgamations
- Title not available (Why is that?)
- SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
- Engelsche Elemente Noetherscher Gruppen
- Some Constructions for Locally Finite Groups
- Algebraic geometry over groups. III: Elements of model theory.
- Radical groups
- Some logical invariants of algebras and logical relations between algebras
- Title not available (Why is that?)
Cited In (12)
- Types of points and algebras
- Syntax versus semantics in knowledge bases II
- On countable isotypic structures
- Syntax versus semantics in knowledge bases – I
- Characterization of finitely generated groups by types
- Automorphic equivalence in the varieties of representations of Lie algebras
- 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
- Isotypic equivalence of abelian \(p\)-groups with separable reduced parts
- Logically automorphically equivalent knowledge bases models
- Algebraic Logic and Knowledge Bases
This page was built for publication: Isotyped algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q744308)
