@inbook{ad6112b64f7b445fb880b6891570d50e,
title = "Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge",
abstract = "For every variety of algebras Θ and every algebra H in Θ we consider the category of algebraic sets K Θ (H) in Θ over H. We consider also the category of elementary sets LK Θ (H). The latter category is associated with a geometrical approach to the First Order Logic over algebras. It is also related to the category of elementary knowledge about algebra H. Grounding on these categories we formally introduce and study the intuitive notions of coincidence of algebraic geometries over algebras H 1 and H 2 from Θ, of coincidence of logics over H 1 and H 2, and of coincidence of the corresponding knowledge. This paper is a survey of ideas stimulated by this approach.",
author = "Boris Plotkin and Tatjana Plotkin",
year = "2008",
language = "American English",
isbn = "978-3-540-78127-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer Berlin Heidelberg",
pages = "555--570",
editor = "Arnon Avron and Nachum Dershowitz and Alexander Rabinovich",
booktitle = "Pillars of Computer Science",
}