Author: Su Gao
Publisher: CRC Press
ISBN: 9781584887942
Category : Mathematics
Languages : en
Pages : 392
Book Description
Presents Results from a Very Active Area of ResearchExploring 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 mathem
Invariant Descriptive Set Theory
Author: Su Gao
Publisher: CRC Press
ISBN: 9781584887942
Category : Mathematics
Languages : en
Pages : 392
Book Description
Presents Results from a Very Active Area of ResearchExploring 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 mathem
Publisher: CRC Press
ISBN: 9781584887942
Category : Mathematics
Languages : en
Pages : 392
Book Description
Presents Results from a Very Active Area of ResearchExploring 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 mathem
The Descriptive Set Theory of Polish Group Actions
Author: Howard Becker
Publisher: Cambridge University Press
ISBN: 0521576059
Category : Mathematics
Languages : en
Pages : 152
Book Description
In this book the authors present their research into the foundations of the theory of Polish groups and the associated orbit equivalence relations. The particular case of locally compact groups has long been studied in many areas of mathematics. Non-locally compact Polish groups occur naturally as groups of symmetries in such areas as logic (especially model theory), ergodic theory, group representations, and operator algebras. Some of the topics covered here are: topological realizations of Borel measurable actions; universal actions; applications to invariant measures; actions of the infinite symmetric group in connection with model theory (logic actions); dichotomies for orbit spaces (including Silver, Glimm-Effros type dichotomies and the topological Vaught conjecture); descriptive complexity of orbit equivalence relations; definable cardinality of orbit spaces.
Publisher: Cambridge University Press
ISBN: 0521576059
Category : Mathematics
Languages : en
Pages : 152
Book Description
In this book the authors present their research into the foundations of the theory of Polish groups and the associated orbit equivalence relations. The particular case of locally compact groups has long been studied in many areas of mathematics. Non-locally compact Polish groups occur naturally as groups of symmetries in such areas as logic (especially model theory), ergodic theory, group representations, and operator algebras. Some of the topics covered here are: topological realizations of Borel measurable actions; universal actions; applications to invariant measures; actions of the infinite symmetric group in connection with model theory (logic actions); dichotomies for orbit spaces (including Silver, Glimm-Effros type dichotomies and the topological Vaught conjecture); descriptive complexity of orbit equivalence relations; definable cardinality of orbit spaces.
Classical Descriptive Set Theory
Author: Alexander Kechris
Publisher: Springer Science & Business Media
ISBN: 1461241901
Category : Mathematics
Languages : en
Pages : 419
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1461241901
Category : Mathematics
Languages : en
Pages : 419
Book Description
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 and the Topological Approach to Model Theory
Author: Douglas Edward Miller
Publisher:
ISBN:
Category :
Languages : en
Pages : 304
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 304
Book Description
Generalized Descriptive Set Theory and Classification Theory
Author: Sy-David Friedman
Publisher: American Mathematical Soc.
ISBN: 0821894757
Category : Mathematics
Languages : en
Pages : 92
Book Description
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where countable is replaced by uncountable. They explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. They also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. The authors' results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.
Publisher: American Mathematical Soc.
ISBN: 0821894757
Category : Mathematics
Languages : en
Pages : 92
Book Description
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where countable is replaced by uncountable. They explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. They also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. The authors' results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.
Descriptive Set Theory
Author: Yiannis N. Moschovakis
Publisher: American Mathematical Society
ISBN: 1470479877
Category : Mathematics
Languages : en
Pages : 518
Book Description
Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and so can be expected to have special properties not enjoyed by arbitrary pointsets. This subject was started by the French analysts at the turn of the 20th century, most prominently Lebesgue, and, initially, was concerned primarily with establishing regularity properties of Borel and Lebesgue measurable functions, and analytic, coanalytic, and projective sets. Its rapid development came to a halt in the late 1930s, primarily because it bumped against problems which were independent of classical axiomatic set theory. The field became very active again in the 1960s, with the introduction of strong set-theoretic hypotheses and methods from logic (especially recursion theory), which revolutionized it. This monograph develops Descriptive Set Theory systematically, from its classical roots to the modern ?effective? theory and the consequences of strong (especially determinacy) hypotheses. The book emphasizes the foundations of the subject, and it sets the stage for the dramatic results (established since the 1980s) relating large cardinals and determinacy or allowing applications of Descriptive Set Theory to classical mathematics. The book includes all the necessary background from (advanced) set theory, logic and recursion theory.
Publisher: American Mathematical Society
ISBN: 1470479877
Category : Mathematics
Languages : en
Pages : 518
Book Description
Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and so can be expected to have special properties not enjoyed by arbitrary pointsets. This subject was started by the French analysts at the turn of the 20th century, most prominently Lebesgue, and, initially, was concerned primarily with establishing regularity properties of Borel and Lebesgue measurable functions, and analytic, coanalytic, and projective sets. Its rapid development came to a halt in the late 1930s, primarily because it bumped against problems which were independent of classical axiomatic set theory. The field became very active again in the 1960s, with the introduction of strong set-theoretic hypotheses and methods from logic (especially recursion theory), which revolutionized it. This monograph develops Descriptive Set Theory systematically, from its classical roots to the modern ?effective? theory and the consequences of strong (especially determinacy) hypotheses. The book emphasizes the foundations of the subject, and it sets the stage for the dramatic results (established since the 1980s) relating large cardinals and determinacy or allowing applications of Descriptive Set Theory to classical mathematics. The book includes all the necessary background from (advanced) set theory, logic and recursion theory.
A Course on Borel Sets
Author: S.M. Srivastava
Publisher: Springer
ISBN: 3642854737
Category : Mathematics
Languages : en
Pages : 271
Book Description
The roots of Borel sets go back to the work of Baire [8]. He was trying to come to grips with the abstract notion of a function introduced by Dirich let and Riemann. According to them, a function was to be an arbitrary correspondence between objects without giving any method or procedure by which the correspondence could be established. Since all the specific functions that one studied were determined by simple analytic expressions, Baire delineated those functions that can be constructed starting from con tinuous functions and iterating the operation 0/ pointwise limit on a se quence 0/ functions. These functions are now known as Baire functions. Lebesgue [65] and Borel [19] continued this work. In [19], Borel sets were defined for the first time. In his paper, Lebesgue made a systematic study of Baire functions and introduced many tools and techniques that are used even today. Among other results, he showed that Borel functions coincide with Baire functions. The study of Borel sets got an impetus from an error in Lebesgue's paper, which was spotted by Souslin. Lebesgue was trying to prove the following: Suppose / : )R2 -- R is a Baire function such that for every x, the equation /(x,y) = 0 has a. unique solution. Then y as a function 0/ x defined by the above equation is Baire.
Publisher: Springer
ISBN: 3642854737
Category : Mathematics
Languages : en
Pages : 271
Book Description
The roots of Borel sets go back to the work of Baire [8]. He was trying to come to grips with the abstract notion of a function introduced by Dirich let and Riemann. According to them, a function was to be an arbitrary correspondence between objects without giving any method or procedure by which the correspondence could be established. Since all the specific functions that one studied were determined by simple analytic expressions, Baire delineated those functions that can be constructed starting from con tinuous functions and iterating the operation 0/ pointwise limit on a se quence 0/ functions. These functions are now known as Baire functions. Lebesgue [65] and Borel [19] continued this work. In [19], Borel sets were defined for the first time. In his paper, Lebesgue made a systematic study of Baire functions and introduced many tools and techniques that are used even today. Among other results, he showed that Borel functions coincide with Baire functions. The study of Borel sets got an impetus from an error in Lebesgue's paper, which was spotted by Souslin. Lebesgue was trying to prove the following: Suppose / : )R2 -- R is a Baire function such that for every x, the equation /(x,y) = 0 has a. unique solution. Then y as a function 0/ x defined by the above equation is Baire.
Labyrinth of Thought
Author: Jose Ferreiros
Publisher: Springer Science & Business Media
ISBN: 9783764357498
Category : Mathematics
Languages : en
Pages : 472
Book Description
"José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced, and engaging. Not only does this book synthesize much previous work and provide fresh insights and points of view, but it also features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics from the early nineteenth century. This takes up Part One of the book. Part Two analyzes the crucial developments in the last quarter of the nineteenth century, above all the work of Cantor, but also Dedekind and the interaction between the two. Lastly, Part Three details the development of set theory up to 1950, taking account of foundational questions and the emergence of the modern axiomatization." (Bulletin of Symbolic Logic)
Publisher: Springer Science & Business Media
ISBN: 9783764357498
Category : Mathematics
Languages : en
Pages : 472
Book Description
"José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced, and engaging. Not only does this book synthesize much previous work and provide fresh insights and points of view, but it also features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics from the early nineteenth century. This takes up Part One of the book. Part Two analyzes the crucial developments in the last quarter of the nineteenth century, above all the work of Cantor, but also Dedekind and the interaction between the two. Lastly, Part Three details the development of set theory up to 1950, taking account of foundational questions and the emergence of the modern axiomatization." (Bulletin of Symbolic Logic)
Infinitary Languages and Descriptive Set Theory
Author: John Patton Burgess
Publisher:
ISBN:
Category :
Languages : en
Pages : 236
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 236
Book Description
Cabal Seminar 77 – 79
Author: A. S. Kechris
Publisher: Springer
ISBN: 3540384227
Category : Mathematics
Languages : en
Pages : 271
Book Description
Publisher: Springer
ISBN: 3540384227
Category : Mathematics
Languages : en
Pages : 271
Book Description