Author: Alexander Kechris
Publisher: Springer Science & Business Media
Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text presents a largely balanced approach to the subject, which combines many elements of the different traditions. It includes a wide variety of examples, more than 400 exercises, and applications, in order to illustrate the general concepts and results of the theory.
Author: Su Gao
Publisher: CRC Press
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.
Author: Pandelis Dodos
Publisher: Springer Science & Business Media
This volume deals with problems in the structure theory of separable infinite-dimensional Banach spaces, with a central focus on universality problems. This topic goes back to the beginnings of the field and appears in Banach's classical monograph. The novelty of the approach lies in the fact that the answers to a number of basic questions are based on techniques from Descriptive Set Theory. Although the book is oriented on proofs of several structural theorems, in the main text readers will also find a detailed exposition of numerous “intermediate” results which are interesting in their own right and have proven to be useful in other areas of Functional Analysis. Moreover, several well-known results in the geometry of Banach spaces are presented from a modern perspective.
Author: Frédéric Bayart,Étienne Matheron
Publisher: Cambridge University Press
The first book to assemble the wide body of theory which has rapidly developed on the dynamics of linear operators. Written for researchers in operator theory, but also accessible to anyone with a reasonable background in functional analysis at the graduate level.
Author: Vasco Brattka,Hannes Diener,Dieter Spreen
Publisher: Walter de Gruyter GmbH & Co KG
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.
Category: Mathematical statistics
Author: Peter G. Hinman
Publisher: A K Peters/CRC Press
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.
recent trends and applications
Author: Alessandro Andretta,II Università di Napoli. Dipartimento di matematica
proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
Author: Matthias Baaz,Sy D. Friedman,Jan Krajíček
Publisher: A K Peters Ltd
A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The remaining articles cover seperate research topics in many areas of mathematical logic, including applications in Computer Science, Proof Theory, Set Theory, Model Theory, Computability Theory, and aspects of Philosophy. This collection will be of interest to philosophical logicians, historians of logic, computer scientists, formal linguists, and mathematicians in the areas of algebra, abstract analysis and topology.
Author: Alexander Raichev
Category: Logic, Symbolic and mathematical
The ... Southeastern Symposium on System Theory
Author: Tennessee Technological University. Dept. of Electrical and Computer Engineering
Publisher: IEEE Computer Society
Category: System theory
Author: Stefan Bold,B Loewe,T Rasch
Infinity can feature in games in various forms: we can play games of infinite length, with infinitely many players, or allow for infinitely many moves or strategies. Games of infinite length have been thoroughly investigated by mathematicians and have played a central role in mathematical logic. However, their applications go far beyond mathematics: they feature prominently in theoretical computer science, philosophical Gedankenexperiments, as limit cases in economical applications, and in many other applications. The conference Foundations of the Formal Sciences V focused on games of infinite length, but was very opn to include other notions of infinity in games as well.
Madrid, August 22-30, 2006
Author: Marta Sanz Solé
Publisher: Amer Mathematical Society
The International Congress of Mathematicians (ICM) is held every four years. It is a major scientific event, bringing together mathematicians from all over the world and demonstrating the vital role that mathematics play in our society. In particular, the Fields Medals are awarded to recognize outstanding mathematical achievement. At the same time, the International Mathematical Union awards the Nevanlinna Prize for work in the field of theoretical computer science. The proceedings of ICM 2006, published as a three-volume set, present an overview of current research in all areas of mathematics and provide a permanent record the congress. The first volume features the works of Fields Medallists and the Nevanlinna Prize winner, the plenary lectures, and the speeches and pictures of the opening and closing ceremonies and award sessions. The other two volumes present the invited lectures, arranged according to their mathematical subject. Information for our distributors: Distributed within the Americas by the American Mathematical Society. All commerical channel discounts apply.
Author: Martin Brokate,Götz Kersting
Der Integralbegriff in seiner Ausprägung durch Henri Lebesgue ist ein grundlegendes Werkzeug in der modernen Analysis, Numerik und Stochastik. Für Lehrveranstaltungen zu diesen Gebieten der Mathematik bereiten die Autoren wesentliche Sachverhalte in kompakter Weise auf. Das Buch liefert Orientierung und Material für verschiedene Varianten zwei- oder vierstündiger Lehrveranstaltungen. In einem ergänzenden Abschnitt werden um den Begriff der Konvexität herum Verbünde zur Funktionalanalysis hergestellt.