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 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 classi es sets especially sets of reals according to how. The progress in past quarter century has blurred the distinction between these areas. Halmos was quite painful to work through, because there was little mathematical notation. Kuratowski 59 and kuratowski and mostowski 60 are excellent references for classical descriptive set theory. This version, posted on august 5, 2014, includes the material covered in 220ab in 202014 and in 220c in spring 2011. 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 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. Today this concept is being used in almost every branch of mathematics.
The rst third of the course covers the basics of set theory. The mathematical theory of sets is both a foundation in some sense for classical mathematics and a branch of mathematics in its own right. The study of geometry, sequences, probability, etc. What appeals to me most about descriptive set theory is that to study it you must reallyunderstandso many things. 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. Function spaces provide other classical examples of polish spaces. Descriptive set theory, second edition, pdf file 3 mb. A logic of meaning and synonymy, with fritz hamm, pdf file. Also the study of the continuum often requires the study of more general spaces. In chapter 2, we define and understand the objects of study of descriptive set theory, the polish spaces. Oxtoby 90 is a good reference for the basic material concerning measure and category on the real line. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. The present book covers each of these areas, giving the reader an understanding of the ideas involved.
It is the study of the structure of definable sets and functions in separable completely metrizable spaces. However, during that period, major contributions to the subject. The first part is a brief exposition of classical descriptive set theory. Set theory from cantor to cohen akihiro kanamori set theory is an autonomous and sophisticated. Descriptive set theory is the study of definable subsets of polish spaces, where definable is taken to mean from the borel or projective hierarchies. There are two other important examples of such spaces which will play. They present many new results concerning the structure of sets of uniqueness and include solutions to some of the classical problems in this area. Descriptive set theory is the area of mathematics concerned with the study of the structure of definable sets in 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. A little set theory never hurt anybody matthew saltzman department of mathematical sciences clemson university draft. New directions in descriptive set theory caltech authors.
Complex issues arise in set theory more than any other area of pure mathematics. Although elementary set theory is wellknown and straightforward, the modern subject, axiomatic set theory, is both conceptually more di. 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. Nafisha tasnim zaman b1506150 shamin yeaser rahman b15061 sarker humaira. It has been and is likely to continue to be a a source of fundamental ideas in computer science from theory to practice. The point is to identify a good way of comparing a and b, in order to state that a b.
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. 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. In mathematical logic, descriptive set theory dst is the study of certain classes of wellbehaved subsets of the real line and other polish spaces. In the rst half of the course, we will use techniques from analysis and set theory, as. B the formal definition presupposes a and b are sets. 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. Newest descriptivesettheory questions mathoverflow. This is why descriptive set theory studies abstract spaces that are similar to the continuum. A developing set of notes i have used in teaching 220abc, the basic graduate course in mathematical logic at ucla. Nb note bene it is almost never necessary in a mathematical proof to remember that a function is literally a set of ordered pairs.
B metric spaces theorem urysohn metrization theorem. 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 of. There are other conceptions of set, but although they have genuine mathematical interest they are not our concern here. Basic set theory a set is a many that allows itself to be thought of as a one.
The other is the explosion in applications of descriptive set theory to. The article by guaspari is an introduction to descriptive set theory, a subject that has developed dramatically in the last few years. Set theory is the axiomatization of mathematics, and without ac noone seriously doubts its truth, or at least consistency. Introduction to logic and set theory 202014 general course notes december 2, 20 these notes were prepared as an aid to the student. Sets fundamental to set theory is the notion of membership. When we partition a set, we break it down into mutually exclusive and exhaustive regions, i. 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. Because the fundamentals of set theory are known to all mathemati. Computer science, being a science of the arti cial, has had many of its constructs and ideas inspired by set theory. Set theory is indivisible from logic where computer science has its roots. Geometric set theory is the research direction which studies transitive models of set theory with respect to their extensional agreement. Descriptive set theory university of illinois at chicago. A preliminary version of the second greek edition of notes on set theory. Set theory the third millennium edition, revised and.
This note is an introduction to the zermelofraenkel set theory with choice zfc. Thearithmetichierarchy 27 4 analyticsets 34 5 coanalyticsets 43 6 determinacy 54 7 hyperarithmeticsets 62 ii borelequivalencerelations 73 8. Recursion theory in set theory university of california. 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. Classical descriptive set theory graduate texts in. 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.
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. Descriptive set theory and the structure of sets of. A to say that a is a member element of a, and we write a. The concept of set serves as a fundamental part of the present day mathematics. It studies the descriptive complexity of sets of real numbers. Questions are bound to come up in any set theory course that cannot be answered mathematically, for example with a formal proof. Examples include the real line r \displaystyle \mathbb r \mathbb r. May 29 examples of analytic nonborel sets, introduction to classification problems and the role of invariant descriptive set theory. Historically, early developments in mathematical logic and set theory overlapped and in. Descriptive set theory is the study of definable sets in polish i.
The classical part of descriptive set theory has been mainly created and developed by the russian school between 1917 and 1945. They are not guaranteed to be comprehensive of the material covered in the course. Introduction to set theory a solution manual forhrbacek and jech1999 jianfei shen school of economics, the university of new south wales sydney, australia. We will begin by exploring the axioms of zfc, and then go on to develop a theory of cardinals and ordinals. Classical descriptive set theory alexander kechris springer. I worked my way through halmos naive set theory, and did about of robert vaughts book. Introduction to descriptive set theory, spring 2018 caltech. The authors present some surprising connections that sets of uniqueness for trigonometic series have with descriptive set theory. More generally, we could consider subsets of any polish space, i. 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. In fact, it is often most convenient to work in the baire space, the symbol. For those of you new to abstract mathematics elementary does not mean simple though much of the material. But it is not too late to contribute, and recursion theoretic additions are still welcome. In this diagram, the set a the rectangle is partitioned into sets w,x, and y.
In this rst section, we establish several basic facts about trees which we will later utilize through such reductions. Both its foundational role and its particular mathematical features the centrality of axiomatization and the prevalence of. 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. 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. Set theory has experienced a rapid development in recent years, with major advances in forcing, inner models, large cardinals and descriptive set theory. Let us see the different types of symbols used in mathematics set theory with its meaning and examples. This approach, to connect such uncountable descriptive set theory with model theory, began in the early 1990s. It is designed for a onesemester course in set theory at the advanced undergraduate or beginning. Philosophy of set theory university of california, irvine. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. I e ective descriptive set theory was created later by introducing into. Descriptive set theory encyclopedia of mathematics. I later discovered endertons elements of set theory and i rec. Moschovakis 89 and kechris 54 are more modern treatments of descriptive set theory.
The venn diagram below should help you get the picture. 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. A topological spaces the initial topology is called topology generated by f i i2i. Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
Set theory is also the most philosophical of all disciplines in mathematics. I will start with a quick definition of descriptive set theory. 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. 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. In mathematical logic, descriptive set theory dst is the study of certain classes of. Sets are used to define the concepts of relations and functions.
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. 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. Classical descriptive set theory alexander kechris.
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. Iset theory icomputability recursion theory although the continuum is our primary concern, a lot of the results hold for more general spaces. The solution of this problem for a particular set usually involves the classification of the process by which this set may be constructed, i. 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. Other topics include infinite games and determinacy, definable equivalence relations and borel reductions between them, polish groups, and effective descriptive set theory.
The lord by wisdom founded the earth, by understanding he established the heavens. B for example, if s is the set of all juices in the supermarket, and t is the set of all. Descriptive set theory has been one of the main areas of research in set theory for almost a century. It includes a wide variety of examples, exercises over 400, and. This process nally placed mathematics on a strictly formal foundation. But even more, set theory is the milieu in which mathematics takes place today. 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. A polish group is amenable if every continuous action on a compact space admits an invariant borel. An introduction to classical descriptive set theory. This defines another important circle of problems dealt with by descriptive set theory, viz. The language of set theory can be used to define nearly all mathematical objects. Free set theory books download ebooks online textbooks. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics.
1327 562 75 758 1036 1444 682 245 643 1161 58 1302 1127 1324 171 181 1457 636 237 1378 892 55 666 1285 1185 855 909 81 625 870 1372 24 158 1280 1257 254 1208 609 1157 1174 1177 265 1060 1262 110 522 1159 1200 1041