Institution-independent Model Theory, Razvan Diaconescu
Название: Finite Model Theory ISBN: 3540287876 ISBN-13(EAN): 9783540287872 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.
Автор: Hodges Название: Model Theory ISBN: 0521066360 ISBN-13(EAN): 9780521066365 Издательство: Cambridge Academ Рейтинг: Цена: 11563.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide range of other areas such as set theory, geometry, algebra and computer science. This book provides an integrated introduction to model theory for graduate students.
Автор: Marker Название: Model Theory of Fields ISBN: 1107168074 ISBN-13(EAN): 9781107168077 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The model theory of fields is a fascinating subject stretching from Tarski`s work on the decidability of the theories of the real and complex fields to Hrushovksi`s recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory.
Автор: Marker Название: Lectures on Infinitary Model Theory ISBN: 1107181933 ISBN-13(EAN): 9781107181939 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is the first modern introduction to the logic of infinitary languages in forty years, and is aimed at graduate students and researchers in all areas of mathematical logic. Connections between infinitary model theory and other branches of mathematical logic, and applications to algebra and algebraic geometry are both comprehensively explored.
Автор: R.B. Jensen; A. Prestel Название: Set Theory and Model Theory ISBN: 3540108491 ISBN-13(EAN): 9783540108498 Издательство: Springer Рейтинг: Цена: 3487.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Sarbadhikari, Haimanti Srivastava, Shashi Mohan Название: Course on basic model theory ISBN: 981105097X ISBN-13(EAN): 9789811050978 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory.
Автор: C. Berline; K. McAloon; J.-P. Ressayre Название: Model Theory and Arithmetic ISBN: 354011159X ISBN-13(EAN): 9783540111597 Издательство: Springer Рейтинг: Цена: 5583.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru