Kategoria BISAC: Mathematics >> Set Theory

This book makes a significant inroad into the unexpectedly difficult question of existence of Frechet derivatives of Lipschitz maps of Banach spaces into higher dimensional spaces. Because the question turns out to be closely related to porous sets in Banach spaces, it provides a bridge between descriptive set theory and the classical topic of existence of derivatives of vector-valued Lipschitz functions. The topic is relevant to classical analysis and descriptive set theory on Banach spaces. The book opens several new research directions in this area of geometric nonlinear functional...

This book makes a significant inroad into the unexpectedly difficult question of existence of Frechet derivatives of Lipschitz maps of Banach spaces into higher dimensional spaces. Because the question turns out to be closely related to porous sets in Banach spaces, it provides a bridge between descriptive set theory and the classical topic of existence of derivatives of vector-valued Lipschitz functions. The topic is relevant to classical analysis and descriptive set theory on Banach spaces. The book opens several new research directions in this area of geometric nonlinear functional...

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.

This book is the product of a collaboration stretching the years 2007-10, whose initial fruit was a paper on "Plenum Theory" published in Nous. The work grew out of the author's conviction that standard set theory, which had evolved to meet the needs of mathematics, was not fully adequate to the less abstractly geared and rigidly determine needs of less finalized ranges of inquiry and deliberation.

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.

Fuzzy social choice theory is useful for modeling the uncertainty and imprecision prevalent in social life yet it has been scarcely applied and studied in the social sciences. Filling this gap, Application of Fuzzy Logic to Social Choice Theory provides a comprehensive study of fuzzy social choice theory.

The book explains the concept of a fuzzy maximal subset of a set of alternatives, fuzzy choice functions, the factorization of a fuzzy preference relation into the "union" (conorm) of a strict fuzzy relation and an indifference operator, fuzzy non-Arrowian...

This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice. Charting an exciting new direction in the philosophy of mathematics, Jose Ferreiros uses the crucial idea of a continuum to provide an account of the development of mathematical knowledge that reflects the actual experience of doing math and makes sense of the perceived objectivity of mathematical results.

Describing a historically oriented, agent-based philosophy of mathematics, Ferreiros shows how the mathematical...

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain...

First and foremost, this is a beautiful story about a girl who learns to count. However, most of us have forgotten how we became skilled counters, and few know that in doing so we also learn concepts from higher mathematics. If you are curious to know why you can count or if you want to do some exercises together with children to help them on their way to start counting, then this is the book for you. There is something for everyone in the book and you will enjoy it as an exploring kid or as a caring parent, as well as a seasoned mathematician. This book illustrates and thoroughly explains...

First and foremost, this is a beautiful story about a girl who learns to count. However, most of us have forgotten how we became skilled counters, and few know that in doing so we also learn concepts from higher mathematics. If you are curious to know why you can count or if you want to do some exercises together with children to help them on their way to start counting, then this is the book for you. There is something for everyone in the book and you will enjoy it as an exploring kid or as a caring parent, as well as a seasoned mathematician. The book illustrates and thoroughly explains...