Classical Descriptive Set Theory

Author: Alexander Kechris

Publisher: Springer Science & Business Media

ISBN: 1461241901

Category: Mathematics

Page: 404

View: 3191

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.

Invariant Descriptive Set Theory

Author: Su Gao

Publisher: CRC Press

ISBN: 9781584887942

Category: Mathematics

Page: 392

View: 9448

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.

Banach Spaces and Descriptive Set Theory: Selected Topics

Author: Pandelis Dodos

Publisher: Springer Science & Business Media

ISBN: 3642121527

Category: Mathematics

Page: 161

View: 5250

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.

Dynamics of Linear Operators

Author: Frédéric Bayart,Étienne Matheron

Publisher: Cambridge University Press

ISBN: 0521514967

Category: Mathematics

Page: 337

View: 4738

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.

Logic, Computation, Hierarchies

Author: Vasco Brattka,Hannes Diener,Dieter Spreen

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 1614519404

Category: Philosophy

Page: 424

View: 5803

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.

Statistics & Decisions

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Mathematical statistics

Page: N.A

View: 4896

Fundamentals of Mathematical Logic

Author: Peter G. Hinman

Publisher: A K Peters/CRC Press

ISBN: 9781568812625

Category: Mathematics

Page: 896

View: 6595

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.

Set theory

recent trends and applications

Author: Alessandro Andretta,II Università di Napoli. Dipartimento di matematica

Publisher: N.A

ISBN: N.A

Category: Mathematics

Page: 239

View: 4106

Logic Colloquium '01

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

ISBN: N.A

Category: Mathematics

Page: 486

View: 5801

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.

Proceedings

The ... Southeastern Symposium on System Theory

Author: Tennessee Technological University. Dept. of Electrical and Computer Engineering

Publisher: IEEE Computer Society

ISBN: 9780818678738

Category: System theory

Page: 554

View: 1917

Foundations of the Formal Sciences V

Infinite Games

Author: Stefan Bold,B Loewe,T Rasch

Publisher: N.A

ISBN: 9781904987758

Category: Computers

Page: 351

View: 8317

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.

Proceedings of the International Congress of Mathematicians

Madrid, August 22-30, 2006

Author: Marta Sanz Solé

Publisher: Amer Mathematical Society

ISBN: 9783037190227

Category: Mathematics

Page: 4500

View: 8530

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.

Maß und Integral

Author: Martin Brokate,Götz Kersting

Publisher: Springer-Verlag

ISBN: 303460646X

Category: Mathematics

Page: 160

View: 9390

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.