California institute of technology stanford university. Outline of lectures by week subject to change extensionality and separation axioms, russells paradox, classes, pairing and union axioms, axiom of infinity, natural numbers, ordinary induction, ordinals parts of jech, ch. Im running things by memory and not by understanding what a contradiction is. Remarks on independence proofs and indirect reference. Kenneth kunen, indescribability and the continuum garland, stephen j. Proofs seem so contrary to how students have done mathematics so far. Introduction to proof theory 3 the study of proof theory is traditionally motivated by the problem of formalizing mathematical proofs. Magnus university at albany, state university of new york preliminary version 0. Georg cantor in the previous chapters, we have often encountered sets, for example, prime numbers form a set, domains in predicate logic form sets as well. Set theory an introduction to independence proofs by k. Definition 2 if are sets, we say that and, that is a b. Copies of the classnotes are on the internet in pdf format as given below. Mat231 transition to higher math proofs involving sets fall 2014 8 11.
These notes for a graduate course in set theory are on their way to be coming a book. Pdf set theory an introduction to independence proofs semantic. Set theory an introduction to independence proofs studies in. Introduction to logic and set theory202014 general course notes december 2, 20 these notes were prepared as an aid to the student. In a booleanvalued model, the truth values of propositions are not limited to true and false, but instead take values in some fixed complete boolean algebra booleanvalued models were introduced by dana scott, robert m. Studies in logic and the foundations of mathematics, volume 102.
The most famous one is cantors continuum hypothesis. Then by the axiom schema of comprehension, there is a set bdf x2vw g. The rst half of the 20th century was a golden age for philosophy of mathematics. Buy set theory an introduction to independence proofs studies in logic and the foundations of mathematics volume. In mathematical logic, a booleanvalued model is a generalization of the ordinary tarskian notion of structure from model theory. Gunther eder 20 history and philosophy of logic 34 1. Kenneth kunen, set theory, an introduction to independence proofs. Studies in logic and the foundations of mathematics. Before the chapters on forcing, there is a fairly long chapter on infi nitary combinatorics. The following statements are known to be undecidable in the system zfc. Chapter 11 consistency and independence in set theory.
The foundations of set theory pages 146 download pdf. Proof involving sets and indexed families of sets by. Weiss university of toronto these notes for a graduate course in set theory cover the axioms of set theory, the natural numbers, the ordinal numbers, relations and orderings, cardinality, the real numbers, the universe, reflection, elementary submodels, and. It assumes no knowledge of logic, and no knowledge of set theory beyond the vague familiarity with curly brackets, union and intersection usually expected of an advanced mathematics. After experimenting, collecting data, creating a hypothesis, and checking that hypothesis. Turner october 22, 2010 1 introduction proofs are perhaps the very heart of mathematics. Even though i am only on the first chapter, i find that it takes me days to fill in the details for a single section and to really internalize what is being said, and even then, that i struggle with the proofs sometimes. Sets we discussed in class how to formally show that one set is a subset of another and how to show two sets are equal. The set containing all positive integers less than 42 i hello the set containing the string hello j bba, bab the set containing the strings bba and bab k. Prices for set theory an introduction to independence. Unlike the other sciences, mathematics adds a nal step to the familiar scienti c method. The proofs of theorems files were prepared in beamer and they contain proofs of results which are particularly lengthy shorter proofs are contained in the. Many statements of mathematics are neither provable nor disprovable from the basic axioms of set theory, they are independent of the axioms.
Proofs many students confronting mathematics beyond elementary calculus for the rst time are stumped at the idea of proofs. Logical expressions for proofs examples of mathematical statements and their proofs the true or false principle. It starts from basic notions, including the zfc axioms, and quickly develops combinatorial notions such as trees, suslins problem, and martins axiom. An introduction to independence proofs is a textbook and reference work in set theory by kenneth kunen. The proof, if you havent seen it before, is quite tricky but never. It started with a philosopher, bertrand russell 18721970, proving that the foundational mathematical theory, set theory, was inconsistent. An introduction to independence proofs, isbn 9780444868398. This book has been reprinted with the cooperation of kyung moon publishers, south korea. Introduction to set theory, second edition revised and expanded, by karel hrbacuk and thomas jech, dekker 1984. But even more, set theory is the milieu in which mathematics takes place today.
An introduction to independence proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. They are not guaranteed to be comprehensive of the material covered in the course. Questions, no matter how basic, will be answered to the best ability of the online. The proofs of theorems files were prepared in beamer and they contain proofs of results which are particularly lengthy shorter proofs are contained in the notes themselves. Negations, contradictions, and counterexamples proof and construction by induction polynomials the literature of mathematics chapter 3 basic set theory sets operations with sets maps between sets composites, the identity map, and. This means that 1,2,3 is a set but 1,1,3 is not because 1 appears twice in the second collection. Set theory an introduction to independence proofs by k kunen. Set theory an introduction to independence proofs paperback. We own set theory an introduction to independence proofs paperback 1983 author kenneth kunen txt, epub, pdf, djvu, doc forms. Prices including delivery for set theory an introduction to independence proofs by kenneth kunen. Buy set theory an introduction to independence proofs studies in logic and the foundations of mathematics by kenneth kunen 1983 on free shipping on qualified orders. Id like to know what were assuming and how to start. An introduction to elementary set theory guram bezhanishvili and eachan landreth 1 introduction in this project we will learn elementary set theory from the original historical sources by two key gures in the development of set theory, georg cantor 18451918 and richard dedekind 18311916.
An introduction to independence proofs baumgartner, james e. Set theory an introduction to independence proofs, volume 102. An introduction to set theory university of toronto. Syllabus for math 151 set theory the text book of this course is k. A book of set theory, first published by dover publications, inc. Continued since each set is a subset of the other, we have established the equality of the two sets so a b c a b \a c. This book has been reprinted with the cooperation of. Introduction to logic and set theory 202014 general course notes december 2, 20 these notes were prepared as an aid to the student. Hello all, i am working on my discrete math homework, and we just started doing very basic proofs. The foundations of set theory x5 extensionality and comprehension x6 relations, functions, and wellordering week 2 x7 ordinals week 3 x9 classes and recursion week 4 x10 cardinals. Though they are all decidable in constructible set theory, by the way. Introduction to independence proofs paperback 1983 author kenneth kunen pdf, then youve come to the right site. In particular, we will use kunens notation almost always. Introduction to set theory notes introduction to set theory, second edition revised and expanded, by karel hrbacuk and thomas jech, dekker 1984 copies of the classnotes are on the internet in pdf format as given below.
I have been given the following statement to prove. The course treats modern set theory and independence results. Set theory \a set is a many that allows itself to be thought of as a one. The rst chapter is an introduction to partial orders and to wellordered sets, with a. An introduction to independence proofs, northholland, 1980. Studies in logic and the foundations of mathematics, vol.
This book is designed for readers who know elementary mathematical logic and axiomatic set theory, and who want to learn more about set theory. There is a total rewrite of the second of these, set theory, college publications, 2011. It is designed for a onesemester course in set theory at the advanced undergraduate or beginning graduate level. Set theory an introduction to independence proofs studies. The purpose of this course is to introduce you to this universe, to help you learn and. Review of set theory michael williams last updated.
Herbet enderton, a mathematical introduction to logic, second edition, academic press, 2001, and kenneth kunen, set theory. For any sentential assignment fthere is a function fmapping the set. This alone assures the subject of a place prominent in human culture. An introduction to independence proofs by kenneth kunen. Purchase set theory an introduction to independence proofs, volume 102 1st edition. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. The book first tackles the foundations of set theory and infinitary combinatorics. Weiss university of toronto these notes for a graduate course in set theory cover the axioms of set theory, the natural numbers, the ordinal numbers, relations and orderings, cardinality, the real numbers, the universe, reflection, elementary submodels, and constructibility. Step of biotsavarts proof not clear, about derivatives. Proofs and concepts the fundamentals of abstract mathematics by dave witte morris and joy morris university of lethbridge incorporating material by p.
1570 588 866 885 794 786 216 136 545 409 1142 1360 559 1307 1325 209 1128 1452 62 401 141 1440 1036 359 871 1189 1340 912 886 754 674 1281 710 522 602 1083 894 649 67