{"title":"Siberian School Of Algebra And Logic","description":null,"products":[{"product_id":"definability-and-computability-book-yuri-l-ershov-9780306110399","title":"Definability and Computability","description":"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. The  volume also includes a novel exposition on the foundations of the  theory of admissible sets with urelements, using the Gandy theorem  throughout the theory's development. Other topics discussed are  forcing, Sigma-definability, dynamic logic, and Sigma-predicates of  finite types.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51141403574545,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51141406720273,"sku":"NIN9780306110399","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52336383656209,"sku":"NLS9780306110399","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0306110393.jpg?v=1751291994"},{"product_id":"algebraic-theory-of-quasivarieties-book-viktor-a-gorbunov-9780306110634","title":"Algebraic Theory of Quasivarieties","description":"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 developed by the  author himself. A revolutionary exposition, this influential text  contains a number of results never before published in book form,  featuring in-depth commentary for applications of quasivarieties to  graphs, convex geometries, and formal languages. Key features include  coverage of the Birkhoff-Mal'tsev problem on the structure of lattices  of quasivarieties, helpful exercises, and an extensive list of  references.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52125489889553,"sku":"NLS9780306110634","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52734859477265,"sku":"NIN9780306110634","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780306110634.jpg?v=1757465768"},{"product_id":"right-ordered-groups-book-vm-kopytov-9780306110603","title":"Right-Ordered Groups","description":"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, describing all  known and new results in the field. The volume addresses topics such  as right-ordered groups and order permutation groups, the system of  convex subgroups of a right-ordered group, and free products of  right-ordered groups.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52131383312657,"sku":"NLS9780306110603","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780306110603.jpg?v=1757509997"},{"product_id":"multi-valued-fields-book-yuri-l-ershov-9780306110689","title":"Multi-Valued Fields","description":"For more than 30 years, the author has studied the  model-theoretic aspects of the theory of valued fields and  multi-valued fields.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52147398410513,"sku":"NLS9780306110689","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780306110689.jpg?v=1757600385"},{"product_id":"finitely-axiomatizable-theories-book-mikhail-g-peretyat-kin-9780306110627","title":"Finitely Axiomatizable Theories","description":"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 expressibility. Also included in this unique text  are solutions to both the Vaught-Morely problem and the Hanf problem,  and a number of new natural questions that provide prospects for  further development of the theory.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52347285078289,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52347285668113,"sku":"NLS9780306110627","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780306110627.jpg?v=1758177345"},{"product_id":"constructive-models-book-yuri-l-ershov-9780306110665","title":"Constructive Models","description":"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 numbers and studying relations  between algorithmic and structural properties of these models.    This book is a very readable exposition of the modern theory of  constructive models and describes methods and approaches developed by  representatives of the Siberian school of algebra and logic and some  other researchers (in particular, Nerode and his colleagues). The main  themes are the existence of recursive models and applications to  fields, algebras, and ordered sets (Ershov), the existence of  decidable prime models (Goncharov, Harrington), the existence of  decidable saturated models (Morley), the existence of decidable  homogeneous models (Goncharov and Peretyat'kin), properties of the  Ehrenfeucht theories (Millar, Ash, and Reed), the theory of  algorithmic dimension and conditions of autostability (Goncharov, Ash,  Shore, Khusainov, Ventsov, and others), and the theory of computable  classes of models with various properties.    Future perspectives of the theory of constructive models are also  discussed. Most of the results in the book are presented in monograph  form for the first time.    The theory of constructive models serves as a basis for recursive  mathematics. It is also useful in computer science, in particular, in  the study of programming languages, higher level languages of  specification, abstract data types, and problems of synthesis and  verification of programs. Therefore, the book will be useful for not  only specialists in mathematical logic and the theory of algorithms  but also for scientists interested in the mathematical fundamentals of  computer science.    The authors are eminent specialists in mathematical logic. They haveestablished fundamental results on elementary theories, model theory,  the theory of algorithms, field theory, group theory, applied logic,  computable numberings, the theory of constructive models, and the  theoretical computer science.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52414582784273,"sku":"NLS9780306110665","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780306110665.jpg?v=1758842927"},{"product_id":"countable-boolean-algebras-and-decidability-book-sergei-goncharov-9780306110610","title":"Countable Boolean Algebras and Decidability","description":"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 results as well as a  selection of open questions on Boolean algebras. Other current  features include discussions of the Kottonen algebras in enrichments  by ideals and automorphisms, and the properties of the automorphism  groups.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52425645326609,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425645654289,"sku":"NLS9780306110610","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780306110610.jpg?v=1759155423"},{"product_id":"constructive-models-book-yuri-l-ershov-9781461369325","title":"Constructive Models","description":"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 numbers and studying relations  between algorithmic and structural properties of these models.    This book is a very readable exposition of the modern theory of  constructive models and describes methods and approaches developed by  representatives of the Siberian school of algebra and logic and some  other researchers (in particular, Nerode and his colleagues). The main  themes are the existence of recursive models and applications to  fields, algebras, and ordered sets (Ershov), the existence of  decidable prime models (Goncharov, Harrington), the existence of  decidable saturated models (Morley), the existence of decidable  homogeneous models (Goncharov and Peretyat'kin), properties of the  Ehrenfeucht theories (Millar, Ash, and Reed), the theory of  algorithmic dimension and conditions of autostability (Goncharov, Ash,  Shore, Khusainov, Ventsov, and others), and the theory of computable  classes of models with various properties.    Future perspectives of the theory of constructive models are also  discussed. Most of the results in the book are presented in monograph  form for the first time.    The theory of constructive models serves as a basis for recursive  mathematics. It is also useful in computer science, in particular, in  the study of programming languages, higher level languages of  specification, abstract data types, and problems of synthesis and  verification of programs. Therefore, the book will be useful for not  only specialists in mathematical logic and the theory of algorithms  but also for scientists interested in the mathematical fundamentals of  computer science.    The authors are eminent specialists in mathematical logic. They haveestablished fundamental results on elementary theories, model theory,  the theory of algorithms, field theory, group theory, applied logic,  computable numberings, the theory of constructive models, and the  theoretical computer science.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52426865443089,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52426865836305,"sku":"NLS9781461369325","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461369325.jpg?v=1759159214"},{"product_id":"multi-valued-fields-book-yuri-l-ershov-9781461354895","title":"Multi-Valued Fields","description":"For more than 30 years, the author has studied the  model-theoretic aspects of the theory of valued fields and  multi-valued fields.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52660119372049,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52660120125713,"sku":"NLS9781461354895","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461354895.jpg?v=1762264544"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/siberian-school-of-algebra-and-logic-book-series.oembed","provider":"World of Books ","version":"1.0","type":"link"}