Автор: Sven Ove Hansson Название: Descriptor Revision ISBN: 3319530607 ISBN-13(EAN): 9783319530604 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. It also explores sentential revision and demonstrates how local and global operations of revision by a sentence can be derived as a special case of descriptor revision.
This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models.
Автор: Nuno Venturinha Название: Description of Situations ISBN: 3030001539 ISBN-13(EAN): 9783030001537 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book approaches classic epistemological problems from a contextualist perspective. The author takes as his point of departure the fact that we are situated beings, more specifically that every single moment in our lives is already given within the framework of a specific context in the midst of which we understand ourselves and what surrounds us.In the process of his investigation, the author explores, in a fresh way, the works of key thinkers in epistemology. These include Bernard Bolzano, Ren? Descartes, Gottlob Frege, Edmund Husserl, Immanuel Kant and Ludwig Wittgenstein, but also contemporary authors such as Stewart Cohen, Keith DeRose, David Lewis, Duncan Pritchard, Ernest Sosa and Charles Travis. Some of the topics covered are attributions of knowledge, the correspondence theory of truth, objectivity and subjectivity, possible worlds, primary and secondary evidence, scepticism, transcendentalism and relativism. The book also introduces a new contextualist thought-experiment for dealing with moral questions.Contextualism has received a great deal of attention in contemporary epistemology. It has the potential to resolve a number of issues that traditional epistemological approaches cannot address. In particular, a contextualist view opens the way to an understanding of those cognitive processes that require situational information to be fully grasped. However, contextualism poses serious difficulties in regard to epistemic invariance. This book offers readers an innovative approach to some fundamental questions in this field.
Автор: Gao, Su Название: Invariant Descriptive Set Theory ISBN: 0367386968 ISBN-13(EAN): 9780367386962 Издательство: Taylor&Francis Рейтинг: Цена: 9798.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Presents Results from a Very Active Area of Research
Exploring an active area of mathematics that studies the complexity of equivalence relations and classification problems, Invariant Descriptive Set Theory presents an introduction to the basic concepts, methods, and results of this theory. It brings together techniques from various areas of mathematics, such as algebra, topology, and logic, which have diverse applications to other fields.
After reviewing classical and effective descriptive set theory, the text studies Polish groups and their actions. It then covers Borel reducibility results on Borel, orbit, and general definable equivalence relations. The author also provides proofs for numerous fundamental results, such as the Glimm-Effros dichotomy, the Burgess trichotomy theorem, and the Hjorth turbulence theorem. The next part describes connections with the countable model theory of infinitary logic, along with Scott analysis and the isomorphism relation on natural classes of countable models, such as graphs, trees, and groups. The book concludes with applications to classification problems and many benchmark equivalence relations.
By illustrating the relevance of invariant descriptive set theory to other fields of mathematics, this self-contained book encourages readers to further explore this very active area of research.
Автор: Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Ya Название: Description Logic, Theory Combination, and All That ISBN: 3030221016 ISBN-13(EAN): 9783030221010 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.
Автор: Pandelis Dodos Название: Banach Spaces and Descriptive Set Theory: Selected Topics ISBN: 3642121527 ISBN-13(EAN): 9783642121524 Издательство: Springer Рейтинг: Цена: 4884.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Basic Concepts.- The Standard Borel Space of All Separable Banach Spaces.- The ?2 Baire Sum.- Amalgamated Spaces.- Zippin's Embedding Theorem.- The Bourgain-Pisier Construction.- Strongly Bounded Classes of Banach Spaces.
Описание: This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.
Автор: Juan Carlos Ferrando Название: Descriptive Topology and Functional Analysis II ISBN: 3030173755 ISBN-13(EAN): 9783030173753 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is the result of a meeting on Topology and Functional Analysis, and is dedicated to Professor Manuel L?pez-Pellicer's mathematical research. Covering topics in descriptive topology and functional analysis, including topological groups and Banach space theory, fuzzy topology, differentiability and renorming, tensor products of Banach spaces and aspects of Cp-theory, this volume is particularly useful to young researchers wanting to learn about the latest developments in these areas.
Автор: Skrzypczak Название: Descriptive Set Theoretic Methods in Automata Theory ISBN: 3662529467 ISBN-13(EAN): 9783662529461 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in this theory from the point of view of topology.'…the thesis of Micha? Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas.” Thomas Colcombet.
Автор: Miller Название: Descriptive Set Theory and Forcing ISBN: 1107168066 ISBN-13(EAN): 9781107168060 Издательство: Cambridge Academ Рейтинг: Цена: 18216.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These notes develop the theory of descriptive sets, leading up to a new proof of Louveau`s separation theorem for analytic sets. A first course in mathematical logic and set theory is assumed, making this book suitable for advanced students and researchers.
Автор: Alexander Kechris Название: Classical Descriptive Set Theory ISBN: 1461286921 ISBN-13(EAN): 9781461286929 Издательство: Springer Рейтинг: Цена: 8378.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. It includes a wide variety of examples, exercises (over 400), and applications, in order to illustrate the general concepts and results of the theory. This text provides a first basic course in classical descriptive set theory and covers material with which mathematicians interested in the subject for its own sake or those that wish to use it in their field should be familiar. Over the years, researchers in diverse areas of mathematics, such as logic and set theory, analysis, topology, probability theory, etc., have brought to the subject of descriptive set theory their own intuitions, concepts, terminology and notation.
Автор: Imre Rusza Название: Modal Logic with Descriptions ISBN: 9048182662 ISBN-13(EAN): 9789048182664 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book deals with the processes behind cycles of the phosphate and nitrogen compounds in sediment and the phosphate equilibria between the sediment and the overlying water. The chapters of this book probe the chemicals involved in considerable detail, and offer the complete understanding needed to remediate or prevent pollution problems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
