Model Theory of Algebra and Arithmetic, L. Pacholski; J Wierzejewski; A.J. Wilkie

Автор: Lou van den Dries; Jochen Koenigsmann; H. Dugald M
Название: Model Theory in Algebra, Analysis and Arithmetic
ISBN: 3642549357 ISBN-13(EAN): 9783642549359
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics.

Автор: C. Berline; K. McAloon; J.-P. Ressayre
Название: Model Theory and Arithmetic
ISBN: 354011159X ISBN-13(EAN): 9783540111597
Издательство: Springer
Рейтинг:
Цена: 5583.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Kanemitsu Shigeru
Название: Number Theory: Arithmetic in Shangri-La
ISBN: 9814452440 ISBN-13(EAN): 9789814452441
Издательство: World Scientific Publishing
Рейтинг:
Цена: 19008.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume is based on the successful 6th China-Japan Seminar on number theory that was held in Shanghai Jiao Tong University in August 2011. It is a compilation of survey papers as well as original works by distinguished researchers in their respective fields. The topics range from traditional analytic number theory -- additive problems, divisor problems, Diophantine equations -- to elliptic curves and automorphic L-functions. It contains new developments in number theory and the topics complement the existing two volumes from the previous seminars which can be found in the same book series.

Автор: M. Goldstein; Valery B. Kudryavtsev; Ivo G. Rosenb
Название: Structural Theory of Automata, Semigroups, and Universal Algebra
ISBN: 140203816X ISBN-13(EAN): 9781402038167
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Semigroups, Automata, Universal Algebra, Varieties

Автор: M. Goldstein; Valery B. Kudryavtsev; Ivo G. Rosenb
Название: Structural Theory of Automata, Semigroups, and Universal Algebra
ISBN: 1402038151 ISBN-13(EAN): 9781402038150
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A result of the NATO ASI summer school held in Montreal in 2003, this book develops semi groups and automata and surveys them. It also places emphasis on the structural theory of automata that studies ways to construct big automata from small ones.

Название: 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.