The Ultrapower Axiom, Goldberg Gabriel

Автор: Chong Chitat Et Al
Название: Forcing, Iterated Ultrapowers, And Turing Degrees
ISBN: 9814699942 ISBN-13(EAN): 9789814699945
Издательство: World Scientific Publishing
Цена: 11880.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Aim Of This Book Is To Introduce A Graduate Student To Selected Concepts In Condensed Matter Physics For Which The Language Of Field Theory Is Ideally Suited. The Examples Considered In This Book Are Those Of Superfluidity For Weakly Interacting Bosons, Collinear Magnetism, And Superconductivity. Quantum Phase Transitions Are Also Treated In The Context Of Quantum Dissipative Junctions And Interacting Fermions Constrained To One-Dimensional Position Space. The Style Of Presentation Is Sufficiently Detailed And Comprehensive That It Only Presumes Familiarity With Undergraduate Physics.

Автор: Nicolas Clerbout; Shahid Rahman
Название: Linking Game-Theoretical Approaches with Constructive Type Theory
ISBN: 3319190628 ISBN-13(EAN): 9783319190624
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.

Автор: Todorcevic Stevo
Название: Notes On Forcing Axioms
ISBN: 9814571571 ISBN-13(EAN): 9789814571579
Издательство: World Scientific Publishing
Рейтинг:
Цена: 9821.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the set-theoretic forcing technique. It is the first systematic account of applications of the higher forcing axioms with the stress on the technique of building forcing notions rather than on the relationship between different forcing axioms or their consistency strengths.