Siberian School of Algebra and Logic – serie
Visar alla böcker i serien Siberian School of Algebra and Logic. Handla med fri frakt och snabb leverans.
9 produkter
Definability and Computability
Inbunden, 1996
2406 kr
Lägg i varukorg
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. …
Right-Ordered Groups
Av V.M. Kopytov, N.Ya. Medvedev
Inbunden, 1996
1643 kr
Lägg i varukorg
The notion of right-ordered groups is fundamental in theories of I-groups, ordered groups, torsion-free groups, and the theory of zero-divisors free rings, as well as in theoretical physics. Right-Ordered Groups is the first book to provide a systematic presentation of right-ordered group theory, …
Countable Boolean Algebras and Decidability
Av Sergei S. Goncharov, S. S. Goncharov
Inbunden, 1997
1643 kr
Lägg i varukorg
This book describes the latest Russian research covering the structure and algorithmic properties of Boolean algebras from the algebraic and model-theoretic points of view. A significantly revised version of the author's Countable Boolean Algebras (Nauka, Novosibirsk, 1989), the text presents new …
Finitely Axiomatizable Theories
Inbunden, 1997
2188 kr
Lägg i varukorg
This is the only monograph devoted to the expressibility of finitely axiomatizable theories, a classical subject in mathematical logic. The volume summarizes investigations in the field that have led to much of the current progress, treating systematically all positive results concerning …
Algebraic Theory of Quasivarieties
Inbunden, 1998
1643 kr
Lägg i varukorg
The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes in a fragment of first-order logic-the so-called universal Horn logic. This treatise uniformly presents the principal directions of the theory from an effective algebraic approach …
Constructive Models
Inbunden, 2000
2188 kr
Lägg i varukorg
The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural …
Multi-Valued Fields
Inbunden, 2001
2188 kr
Lägg i varukorg
For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields. Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the …
Multi-Valued Fields
Häftad, 2012
2188 kr
Lägg i varukorg
For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields. Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the …
Constructive Models
Häftad, 2012
2188 kr
Lägg i varukorg
The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural …
