The solution of this problem for a particular set usually involves the classification of the process by which this set may be constructed, i. I will start with a quick definition of descriptive set theory. Moschovakis 89 and kechris 54 are more modern treatments of descriptive set theory. The point is to identify a good way of comparing a and b, in order to state that a b. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. Also the study of the continuum often requires the study of more general spaces. The axioms of set theory of my title are the axioms of zermelofraenkel set theory, usually thought ofas arisingfromthe endeavourtoaxiomatise the cumulative hierarchy concept of set. A relatively recent development in mathematical logic is the use of computers to produce formal proofs of mathematical theorems, using a known informal proof as a starting point. One then understands why the effective theory can be used to obtain classical results. It studies the descriptive complexity of sets of real numbers. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. The progress in past quarter century has blurred the distinction between these areas. The article by guaspari is an introduction to descriptive set theory, a subject that has developed dramatically in the last few years. Philosophy of set theory university of california, irvine.
A preliminary version of the second greek edition of notes on set theory. Such as, sets could be a collection of odd numbers, even numbers, natural numbers, whole numbers, real or complex numbers and all the set of numbers which comes in the number line. In this diagram, the set a the rectangle is partitioned into sets w,x, and y. This approach, to connect such uncountable descriptive set theory with model theory, began in the early 1990s. Classical descriptive set theory graduate texts in. In this rst section, we establish several basic facts about trees which we will later utilize through such reductions. In mathematical logic, descriptive set theory dst is the study of certain classes of. Other topics include infinite games and determinacy, definable equivalence relations and borel reductions between them, polish groups, and effective descriptive set theory. I e ective descriptive set theory was created later by introducing into. Set theory is also the most philosophical of all disciplines in mathematics. Descriptive set theory classi es sets especially sets of reals according to how. What appeals to me most about descriptive set theory is that to study it you must reallyunderstandso many things.
But even more, set theory is the milieu in which mathematics takes place today. Today this concept is being used in almost every branch of mathematics. A polish group is amenable if every continuous action on a compact space admits an invariant borel. There are two other important examples of such spaces which will play. Recursion theory in set theory university of california. Descriptive form of set worksheet answers i a is the set of all vowels in the english alphabet ii b is the set of all odd natural numbers less than or equal to 11 iii c is the set of all square numbers less than 26. The present book covers each of these areas, giving the reader an understanding of the ideas involved.
The lord by wisdom founded the earth, by understanding he established the heavens. Complex issues arise in set theory more than any other area of pure mathematics. Because the fundamentals of set theory are known to all mathemati. Function spaces provide other classical examples of polish spaces. Sets fundamental to set theory is the notion of membership. It has been and is likely to continue to be a a source of fundamental ideas in computer science from theory to practice. More generally, we could consider subsets of any polish space, i. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. Descriptive set theory has been one of the main areas of research in set theory for almost a century. 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. The other is the explosion in applications of descriptive set theory to.
For those of you new to abstract mathematics elementary does not mean simple though much of the material. 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 set theory a solution manual forhrbacek and jech1999 jianfei shen school of economics, the university of new south wales sydney, australia. This is why descriptive set theory studies abstract spaces that are similar to the continuum. Kuratowski 59 and kuratowski and mostowski 60 are excellent references for classical descriptive set theory. Sets are used to define the concepts of relations and functions. Descriptive set theory is the study of definable subsets of polish spaces, where definable is taken to mean from the borel or projective hierarchies. Set theory has experienced a rapid development in recent years, with major advances in forcing, inner models, large cardinals and descriptive set theory. Historically, early developments in mathematical logic and set theory overlapped and in. In fact, it is often most convenient to work in the baire space, the symbol. There are other conceptions of set, but although they have genuine mathematical interest they are not our concern here. I worked my way through halmos naive set theory, and did about of robert vaughts book. This version, posted on august 5, 2014, includes the material covered in 220ab in 202014 and in 220c in spring 2011. Although elementary set theory is wellknown and straightforward, the modern subject, axiomatic set theory, is both conceptually more di. A topological spaces the initial topology is called topology generated by f i i2i.
New directions in descriptive set theory caltech authors. It turns out that numerous existing concepts in descriptive set theory and analysis have intuitive and informative geometric restatements, and the geometric point of view makes. Descriptive set theory is the area of mathematics concerned with the study of the structure of definable sets in polish spaces. We will begin by exploring the axioms of zfc, and then go on to develop a theory of cardinals and ordinals. The venn diagram below should help you get the picture. The first part is a brief exposition of classical descriptive set theory. Learning theory and descriptive set theory article pdf available in journal of logic and computation 31 february 1993 with 41 reads how we measure reads. Classical descriptive set theory alexander kechris springer.
Geometric set theory is the research direction which studies transitive models of set theory with respect to their extensional agreement. 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. 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. Examples include the real line r \displaystyle \mathbb r \mathbb r. B the formal definition presupposes a and b are sets. The study of geometry, sequences, probability, etc. Articles by kanamori and stanley discuss one of the most difficult concepts in contemporary set theory, that of the morass, first created by ronald jensen in 1971 to solve the gaptwo conjecture in model theory. It includes a wide variety of examples, exercises over 400, and. This process nally placed mathematics on a strictly formal foundation.
Descriptive set theory davidmarker fall2002 contents i classicaldescriptivesettheory 2 1 polishspaces 2 2 borelsets 14 3 e. When we partition a set, we break it down into mutually exclusive and exhaustive regions, i. A logic of meaning and synonymy, with fritz hamm, pdf file. The concept of set serves as a fundamental part of the present day mathematics. The classical part of descriptive set theory has been mainly created and developed by the russian school between 1917 and 1945. Halmos was quite painful to work through, because there was little mathematical notation. B for example, if s is the set of all juices in the supermarket, and t is the set of all. Computer science, being a science of the arti cial, has had many of its constructs and ideas inspired by set theory. This defines another important circle of problems dealt with by descriptive set theory, viz. Iset theory icomputability recursion theory although the continuum is our primary concern, a lot of the results hold for more general spaces.
Oxtoby 90 is a good reference for the basic material concerning measure and category on the real line. Inclusion, exclusion, subsets, and supersets set a is said to be a subset of set b iff every element of a is an element of b. Set theory the third millennium edition, revised and. The axioms of set theory, ordinal and cardinal arithmetic, the axiom of foundation, relativisation, absoluteness, and reflection, ordinal definable sets and inner models of set theory, the constructible universe l cohens method of forcing. Set theory is indivisible from logic where computer science has its roots. Let us see the different types of symbols used in mathematics set theory with its meaning and examples. A to say that a is a member element of a, and we write a. A developing set of notes i have used in teaching 220abc, the basic graduate course in mathematical logic at ucla.
Descriptive set theory encyclopedia of mathematics. Descriptive set theory and the structure of sets of. May 29 examples of analytic nonborel sets, introduction to classification problems and the role of invariant descriptive set theory. However, during that period, major contributions to the subject.
Descriptive set theory university of illinois at chicago. They are not guaranteed to be comprehensive of the material covered in the course. The authors present some surprising connections that sets of uniqueness for trigonometic series have with descriptive set theory. Basic set theory a set is a many that allows itself to be thought of as a one. 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. In chapter 2, we define and understand the objects of study of descriptive set theory, the polish spaces. A polish metric space is universal if it contains an isometric copy of any other polish metric space equivalently, of every countable metric space. Descriptive set theory is the study of definable sets in polish i. I later discovered endertons elements of set theory and i rec. This note is an introduction to the zermelofraenkel set theory with choice zfc. Both its foundational role and its particular mathematical features the centrality of axiomatization and the prevalence of. I wrote it in the rm belief that set theory is good not just for set theorists, but for many mathematicians, and that the earlier a student sees the particular point of view that we call modern set theory, the better. In the rst half of the course, we will use techniques from analysis and set theory, as. Set theory is the axiomatization of mathematics, and without ac noone seriously doubts its truth, or at least consistency.
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. Thearithmetichierarchy 27 4 analyticsets 34 5 coanalyticsets 43 6 determinacy 54 7 hyperarithmeticsets 62 ii borelequivalencerelations 73 8. It is designed for a onesemester course in set theory at the advanced undergraduate or beginning. The mathematical theory of sets is both a foundation in some sense for classical mathematics and a branch of mathematics in its own right. Nb note bene it is almost never necessary in a mathematical proof to remember that a function is literally a set of ordered pairs. Questions are bound to come up in any set theory course that cannot be answered mathematically, for example with a formal proof. In mathematical logic, descriptive set theory dst is the study of certain classes of wellbehaved subsets of the real line and other polish spaces. While the present survey is exclusively concerned with applications of combinatorial set theory, some of the most exciting interactions between operator algebras and set theory were purely descriptive. An introduction to classical descriptive set theory. A little set theory never hurt anybody matthew saltzman department of mathematical sciences clemson university draft. Introduction to descriptive set theory, spring 2018 caltech. Introduction to logic and set theory 202014 general course notes december 2, 20 these notes were prepared as an aid to the student.
Nafisha tasnim zaman b1506150 shamin yeaser rahman b15061 sarker humaira. Set theory from cantor to cohen akihiro kanamori set theory is an autonomous and sophisticated. Newest descriptivesettheory questions mathoverflow. Set theory for computer science university of cambridge. August 19, 2019 1 introduction the fundamental ideas of set theory and the algebra of sets are probably the most important concepts across all areas of mathematics other than the algebra of real numbers. It is the study of the structure of definable sets and functions in separable completely metrizable spaces.
We will cite some recent work by slaman, hjorth, and harrington in which recursion theoretic thinking was applied to problems in classical descriptive set theory. Descriptive set theory, second edition, pdf file 3 mb. Set theory if we are interested in elements of a set a that are not contained in a set b, we can write this set as a. Trees the tree a 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. Free set theory books download ebooks online textbooks. Classical descriptive set theory alexander kechris. The language of set theory can be used to define nearly all mathematical objects. Introduction to set theory a solution manual forhrbacek and jech1999 jianfei shen school of economics, the university of new south wales sydney, australia. But it is not too late to contribute, and recursion theoretic additions are still welcome. 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 survey on the research done in 1990s can be found in 34 and a discussion of the motivational background for this work in 33. The rst third of the course covers the basics of set theory.
716 957 804 691 543 770 1254 204 1100 762 169 79 1223 1400 837 639 110 423 327 483 1581 1257 842 1303 266 725 778 799 1215 907 1359 649 976 1504 189 921 262 1421 1033 984 61 83 118 1410 331 1249 973 740 90