Classification Theory, John T. Baldwin

Автор: Edoardo Ballico; Fabrizio Catanese; Ciro Ciliberto
Название: Classification of Irregular Varieties
ISBN: 3540552952 ISBN-13(EAN): 9783540552956
Издательство: Springer
Рейтинг:
Цена: 3487.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the proceedings of a conference on the classification of irregular varieties held in Trento, Italy, 1990. Amongst the topics covered are projective manifolds containing large linear subspaces and rational curves on Fano varieties.

Автор: 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.

Автор: Griffiths Phillip
Название: Rational Homotopy Theory and Differential Forms
ISBN: 1461484677 ISBN-13(EAN): 9781461484677
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Rational Homotopy Theory and Differential Forms

Автор: K. Kunen
Название: Set Theory An Introduction To Independence Proofs,
ISBN: 0444868399 ISBN-13(EAN): 9780444868398
Издательство: Elsevier Science
Рейтинг:
Цена: 8420.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and easy consistency proofs, including relativization, absoluteness, reflection theorems, properties of well-founded sets, and induction and recursion on well-founded relations. The publication examines constructible sets, forcing, and iterated forcing. Topics include Easton forcing, general iterated forcing, Cohen model, forcing with partial functions of larger cardinality, forcing with finite partial functions, and general extensions. The manuscript is a dependable source of information for mathematicians and researchers interested in set theory.

Автор: Steven Roman
Название: An Introduction to the Language of Category Theory
ISBN: 3319419161 ISBN-13(EAN): 9783319419169
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Поставка под заказ.

Описание: The first chapter of the book introduces the definitions of category and functor and discusses diagrams,duality, initial and terminal objects, special types of morphisms, and some special types of categories,particularly comma categories and hom-set categories.

Автор: Rogers, H.
Название: Theory of recursive functions and effective computability /
ISBN: 0262680521 ISBN-13(EAN): 9780262680523
Издательство: MIT Press
Рейтинг:
Цена: 8465.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: (Reprint of the 1967 edition)

Автор: Parrochia Daniel
Название: Towards a General Theory of Classifications
ISBN: 3034806086 ISBN-13(EAN): 9783034806084
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides an original and progressive introduction to the main questions of the theory of classification. It makes connections between previously separate domains of classification theory in applied mathematics, computer science and pure mathematics.