In other words, a perfect set is a closed set that has no isolated points. Descriptive set theory and model theory third lecture. Pdf this thesis deals with the descriptive set theory and the geometry of banach spaces. In descriptive set theory we mostly study polish spaces such as the baire space, the cantor space, and the reals. Other topics include infinite games and determinacy, definable equivalence relations and borel reductions between them, polish groups, and effective descriptive set theory. Obviously, r itself is perfect, as is any closed interval in r. Past workshops april 7, 2012, at cornell university the sixteenth workshop, which was led by hugh woodin, was on the hod dichotomy. Function spaces provide other classical examples of polish spaces. Examples include the real line, the baire space, the cantor space, and the hilbert cube. Questions about the borel hierarchy, the projective hierarchy, polish spaces, infinite games and determinacy related topics, all fit into this category very well. More generally, we could consider subsets of any polish space, i. The first chapter consists of the study of the descriptive.
Introduction to descriptive set theory department of mathematics. I will start with a quick definition of descriptive set theory. Descriptive set theory university of illinois at chicago. Descriptive set theory has been one of the main areas of research in set theory for almost a century.
Descriptive set theory and uncountable model theory michael c. Notes on descriptive set theory and applications to banach spaces. B the formal definition presupposes a and b are sets. Christian rosendal descriptive set theory and model theory notre dame, june 2016 7 22 examples examples of fra ss e limits q.
Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. Classical descriptive set theory alexander kechris springer. It includes a wide variety of examples, exercises over 400, and. It is not hard to see that for a perfect set p, every neighborhood of a point p 2p contains in. On the development of descriptive set theory unt digital. Christian rosendal descriptive set theory and model theory notre dame, june 2016 4 27 to see this, note that since s 0 is nite, there is some k so that every s 0 2s 0 can be written as a product. Topics covered include corel lattices, universal sets, the operation a, analytic sets, coanalytic sets, and the continuum hypothesis the appendix. In the rst half of the course, we will use techniques from analysis and set theory, as. 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. This thesis deals with the descriptive set theory and the geometry of banach spaces. Recent projects include the study of foundational and set theoretic questions, and the application of the methodology and results of descriptive set theory, in classical real analysis, harmonic analysis, dynamical systems especially ergodic theory and topological dynamics, model theory, and combinatorics. A developing set of notes i have used in teaching 220abc, the basic graduate course in mathematical logic at ucla. Descriptive set theory is the study of definable subsets of polish spaces, where definable is taken to mean from the borel or projective hierarchies.
Kechris 3 coarse geometry of polish groups 4 geometry of automorphism groups christian rosendal descriptive set theory and model theory notre dame, june 2016 2 27. The newer direction is the application of descriptive set theory toward other fields in mathematics. Heuristically, it is a complete separable metric space whose metric has been forgotten. This alone assures the subject of a place prominent in human culture. As well as being one of the primary areas of research in set theory, it has applications to other areas of mathematics such as functional analysis, ergodic theory, the study of operator algebras and group actions, and mathematical logic. Lebesgue to the introduction of projective descriptive set theory. There are two other important examples of such spaces which will play.
Reference request, descriptive set theory mathematics. It is the study of the structure of definable sets and functions in separable completely metrizable spaces. Thus effective descriptive set theory combines descriptive set theory with recursion theory. Department of mathematics university of maryland may 6, 2005 in the early days of the development of model theory it was considered natural and was certainly bene. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. Descriptive set theory davidmarker fall2002 contents i classicaldescriptivesettheory 2 1 polishspaces 2 2 borelsets 14 3 e.
Typical uses of descriptive set theory in analysis are most often through regularity properties of definable sets, like measurability, the property of baire, capacitability, etc. Descriptive set theory and uncountable model theory. Examples of equivalence relations and polish group actions. Beyond being a central part of contemporary set theory, the concepts and results of descriptive set theory are being used in diverse fields of mathematics, such as logic, combinatorics, topology, banach space theory, real and harmonic analysis. Descriptive set theory kurt godel research center universitat wien. Set theory, with an introduction to descriptive set theory. One then understands why the effective theory can be used to obtain classical results. Descriptive set theory is the area of mathematics concerned with the study of the structure of definable sets in polish spaces. With an introduction to descriptive set theory sciencedirect. A to say that a is a member element of a, and we write a. An introduction to descriptive set theory indian statistical institute. Sets fundamental to set theory is the notion of membership. This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Check that d defined in all the above examples is a metric.
What appeals to me most about descriptive set theory is that to study it you must reallyunderstandso many things. Descriptive set theory begins with the study of polish spaces and their borel sets a polish space is a secondcountable topological space that is metrizable with a complete metric. 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. Descriptive set theory has been one of the main areas of research in set theory. Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. A preliminary version of the second greek edition of notes on set theory. In the thesis, the author traces the historical development of descriptive set theory from the work of h. It is much more interesting and relevant in this context, however, to ask whether there is actually a definable such correspondence. A polish group is amenable if every continuous action on a compact space admits an invariant borel. Descriptive set theory has found applications in harmonic analysis, dynamical systems, functional analysis, and various other areas of mathematics. C algebras, classification and descriptive set theory description pdf list of participants in this workshop.
But even more, set theory is the milieu in which mathematics takes place today. Publication date 1980 topics descriptive set theory. A subset of a topological space is borel if it is in the algebra generated by the open sets. The roots of descriptive set theory go back to the work of borel, baire.
Descriptive set theory and harmonic analysis cambridge core. Notes on descriptive set theory and applications to banach. In mathematical logic, descriptive set theory dst is the study of certain classes of wellbehaved subsets of the real line and other polish spaces. Descriptive set theory has important applications in any branch of analysis using measure theory probability theory, optimization, game theory, particularly in theories rich in exceptional sets potential theory, stochastic analysis, hausdorff measure.
Descriptive set theory, american mathematical society in descriptive set theory we try to avoid these pathologies by concentrating on natural while this is a restricted class of sets it includes most of the sets that arise. The present book covers each of these areas, giving the reader an understanding of the ideas involved. Thearithmetichierarchy 27 4 analyticsets 34 5 coanalyticsets 43 6 determinacy 54 7 hyperarithmeticsets 62 ii borelequivalencerelations 73 8. 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. The language of set theory can be used to define nearly all mathematical objects. Notes on axioms of set theory well ordering and ordinal numbers123 1. New directions in descriptive set theory makes essential use of the axiom of choice in establishing a bijection with the reals.
Yiannis n moschovakis this monograph develops descriptive set theory systematically, from its classical roots to the modern effective theory and the consequences of strong especially determinacy hypotheses. An introduction to classical descriptive set theory. Beyond being a central part of contemporary set theory, the concepts and results of descriptive set theory are being used in diverse fields of mathematics, such as logic, combinatorics, topology, banach space theory, real and harmonic analysis, potential theory. We also draw the connection between the stability theoretic complexity of. In the second half, we establish various relatives of the g. In chapter 2, we define and understand the objects of study of descriptive set theory, the polish spaces. The axiom of choice, the lemma of zorn and the hausdor maximal principle 140 appendix. Volume 100, pages iiixii, 1637 1980 download full volume.
In fact, the classical cantor i set is a set of uniqueness. In fact, it is often most convenient to work in the baire space, the symbol. The first chapter consists of the study of the descriptive complexity of the set of banachspaces with the. Descriptive set theory and harmonic analysis 415 this gives kj,i c u c lebesgue measure 0. Classical descriptive set theory graduate texts in.
Effective descriptive set theory is the branch of descriptive set theory dealing with sets of reals having lightface definitions. Notes on descriptive set theory and applications to banach spaces th. The classical part of descriptive set theory has been mainly created and developed by the russian school between 1917 and 1945. Write the following sets in descriptive form i a a, e, i, o, u ii b 1, 3, 5, 7, 9, 11. Classical descriptive set theory indian statistical institute. Descriptive set theory encyclopedia of mathematics. Set theory has experienced a rapid development in recent years, with major advances in forcing, inner models, large cardinals and descriptive set theory. Kuratowski 59 and kuratowski and mostowski 60 are excellent references for classical descriptive set theory. Oxtoby 90 is a good reference for the basic material concerning measure and category on the real line. Lectures notes for an advanced course given in esslli 2010. Descriptive set theory, american mathematical society in descriptive set theory we try to avoid these pathologies by concentrating on natural while this is a restricted class of sets. Topics covered include corel lattices, universal sets, the operation a, analytic sets, coanalytic sets, and the continuum hypothesis the appendix contains a translation of the.
Our aim has been to present some recent work in descriptive set theory and its applications to an area of harmonic analysis. Kechris 3 coarse geometry of polish groups 4 geometry of automorphism groups christian rosendal descriptive set theory and model theory notre dame, june 2016 2 22. The baire category theorem and applications 15 chapter 3. This version, posted on august 5, 2014, includes the material covered in 220ab in. In this rst section, we establish several basic facts about trees which we will later utilize through such reductions.
D by \one can also give a di erent and simpler proof, using a result. A logic of meaning and synonymy, with fritz hamm, pdf file. About descriptive form of set worksheet descriptive form of set worksheet. Pdf results in descriptive set theory on some represented. Newest descriptivesettheory questions mathematics stack. This includes equivalence relation theory, descriptive graph theory, dynamical systems, polish groups, etc. Particular texts are more suited for certain directions. In the rst half, we discuss trees, the corresponding representations of closed sets, borel sets, analytic spaces, injectively analytic spaces, and polish spaces, as well as baire category. Dec 11, 2017 descriptive set theory was originally developed on polish spaces. Buy set theory, with an introduction to descriptive set theory studies in logic and the foundations of mathematics vol 86 on free shipping on qualified orders. Newest descriptivesettheory questions mathoverflow. Descriptive set theory was originally developed on polish spaces. Its main theme is the interplay of large cardinals, inner models, forcing and descriptive set theory. Lecture notes on descriptive set theory jan reimann department of mathematics pennsylvania state university notation u x ball of radius about x u topological closure of u 2 x.
Moschovakis 89 and kechris 54 are more modern treatments of descriptive set theory. Descriptive set theory has found applications in harmonic analysis, dynamical systems. Descriptive set theory and model theory second lecture. There are closed multiplicity sets of lebesgue measure 0 and. Kechris 2 topological rigidity of automorphism groups w a. Descriptive form of set worksheet is much useful to the students who woulds like to practice problems on set theory. Classical descriptive set theory alexander kechris. In fact, it has long been understood that this is not the case.
320 1664 95 978 871 1418 738 147 480 1695 233 248 520 60 1357 1554 1011 57 123 7 1611 1088 1420 1572 785 1336 661 861 1046 1213 498 1123 1481 520 283 509 86 518 861 1091 712 471 105 963 97 543 885 892