Isotyped algebras

DOI10.1134/S0081543812070048MaRDI QIDQ744308zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Categories of algebras (08C05) Foundations of algebraic geometry (14A99) Varieties (08B99)

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3165582 (Why is no real title available?)
• scientific article; zbMATH DE number 5713134 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 2174397 (Why is no real title available?)
• scientific article; zbMATH DE number 1827965 (Why is no real title available?)
• Algebraic geometry in first-order logic
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Algebraic geometry over groups. II: Logical foundations
• Algebraic geometry over groups. III: Elements of model theory.
• An essay on free products of groups with amalgamations
• Cylindric algebras. Part II
• Embedding Theorems for Groups
• Engelsche Elemente Noetherscher Gruppen
• Model Theory
• Radical groups
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Some Constructions for Locally Finite Groups
• Some logical invariants of algebras and logical relations between algebras
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties

Cited in

(12)

• Syntax versus semantics in knowledge bases – I
• Syntax versus semantics in knowledge bases II
• Logically automorphically equivalent knowledge bases models
• Isotypic equivalence of abelian \(p\)-groups with separable reduced parts
• Automorphic equivalence in the varieties of representations of Lie algebras
• On countable isotypic structures
• Characterization of finitely generated groups by types
• Universal algebraic geometry: syntax and semantics
• On the elementary geometry of universal algebras and on the equivalence of clones relative to this geometry
• Types of points and algebras
• Algebraic Logic and Knowledge Bases
• On the logical equivalence of functional clones

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)