Set Theory - John R
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
How Many Borel Sets Are There? Object. This Series of Exercises Is
How Many Borel Sets are There? Object. This series of exercises is designed to lead to the conclusion that if BR is the σ- algebra of Borel sets in R, then Card(BR) = c := Card(R): This is the conclusion of problem 4. As a bonus, we also get some insight into the \structure" of BR via problem 2. This just scratches the surface. If you still have an itch after all this, you want to talk to a set theorist. This treatment is based on the discussion surrounding [1, Proposition 1.23] and [2, Chap. V x10 #31]. For these problems, you will need to know a bit about well-ordered sets and transfinite induction. I suggest [1, x0.4] where transfinite induction is [1, Proposition 0.15]. Note that by [1, Proposition 0.18], there is an uncountable well ordered set Ω such that for all x 2 Ω, Ix := f y 2 Ω: y < x g is countable. The elements of Ω are called the countable ordinals. We let 1 := inf Ω. If x 2 Ω, then x + 1 := inff y 2 Ω: y > x g is called the immediate successor of x. If there is a z 2 Ω such that z + 1 = x, then z is called the immediate predecessor of x. If x has no immediate predecessor, then x is called a limit ordinal.1 1. Show that Card(Ω) ≤ c. (This follows from [1, Propositions 0.17 and 0.18]. Alternatively, you can use transfinite induction to construct an injective function f :Ω ! R.)2 ANS: Actually, this follows almost immediately from Folland's Proposition 0.17. -
Set Theory, by Thomas Jech, Academic Press, New York, 1978, Xii + 621 Pp., '$53.00
BOOK REVIEWS 775 BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 3, Number 1, July 1980 © 1980 American Mathematical Society 0002-9904/80/0000-0 319/$01.75 Set theory, by Thomas Jech, Academic Press, New York, 1978, xii + 621 pp., '$53.00. "General set theory is pretty trivial stuff really" (Halmos; see [H, p. vi]). At least, with the hindsight afforded by Cantor, Zermelo, and others, it is pretty trivial to do the following. First, write down a list of axioms about sets and membership, enunciating some "obviously true" set-theoretic principles; the most popular Hst today is called ZFC (the Zermelo-Fraenkel axioms with the axiom of Choice). Next, explain how, from ZFC, one may derive all of conventional mathematics, including the general theory of transfinite cardi nals and ordinals. This "trivial" part of set theory is well covered in standard texts, such as [E] or [H]. Jech's book is an introduction to the "nontrivial" part. Now, nontrivial set theory may be roughly divided into two general areas. The first area, classical set theory, is a direct outgrowth of Cantor's work. Cantor set down the basic properties of cardinal numbers. In particular, he showed that if K is a cardinal number, then 2", or exp(/c), is a cardinal strictly larger than K (if A is a set of size K, 2* is the cardinality of the family of all subsets of A). Now starting with a cardinal K, we may form larger cardinals exp(ic), exp2(ic) = exp(exp(fc)), exp3(ic) = exp(exp2(ic)), and in fact this may be continued through the transfinite to form expa(»c) for every ordinal number a. -
Mathematics 144 Set Theory Fall 2012 Version
MATHEMATICS 144 SET THEORY FALL 2012 VERSION Table of Contents I. General considerations.……………………………………………………………………………………………………….1 1. Overview of the course…………………………………………………………………………………………………1 2. Historical background and motivation………………………………………………………….………………4 3. Selected problems………………………………………………………………………………………………………13 I I. Basic concepts. ………………………………………………………………………………………………………………….15 1. Topics from logic…………………………………………………………………………………………………………16 2. Notation and first steps………………………………………………………………………………………………26 3. Simple examples…………………………………………………………………………………………………………30 I I I. Constructions in set theory.………………………………………………………………………………..……….34 1. Boolean algebra operations.……………………………………………………………………………………….34 2. Ordered pairs and Cartesian products……………………………………………………………………… ….40 3. Larger constructions………………………………………………………………………………………………..….42 4. A convenient assumption………………………………………………………………………………………… ….45 I V. Relations and functions ……………………………………………………………………………………………….49 1.Binary relations………………………………………………………………………………………………………… ….49 2. Partial and linear orderings……………………………..………………………………………………… ………… 56 3. Functions…………………………………………………………………………………………………………… ….…….. 61 4. Composite and inverse function.…………………………………………………………………………… …….. 70 5. Constructions involving functions ………………………………………………………………………… ……… 77 6. Order types……………………………………………………………………………………………………… …………… 80 i V. Number systems and set theory …………………………………………………………………………………. 84 1. The Natural Numbers and Integers…………………………………………………………………………….83 2. Finite induction -
Biography Paper – Georg Cantor
Mike Garkie Math 4010 – History of Math UCD Denver 4/1/08 Biography Paper – Georg Cantor Few mathematicians are house-hold names; perhaps only Newton and Euclid would qualify. But there is a second tier of mathematicians, those whose names might not be familiar, but whose discoveries are part of everyday math. Examples here are Napier with logarithms, Cauchy with limits and Georg Cantor (1845 – 1918) with sets. In fact, those who superficially familier with Georg Cantor probably have two impressions of the man: First, as a consequence of thinking about sets, Cantor developed a theory of the actual infinite. And second, that Cantor was a troubled genius, crippled by Freudian conflict and mental illness. The first impression is fundamentally true. Cantor almost single-handedly overturned the Aristotle’s concept of the potential infinite by developing the concept of transfinite numbers. And, even though Bolzano and Frege made significant contributions, “Set theory … is the creation of one person, Georg Cantor.” [4] The second impression is mostly false. Cantor certainly did suffer from mental illness later in his life, but the other emotional baggage assigned to him is mostly due his early biographers, particularly the infamous E.T. Bell in Men Of Mathematics [7]. In the racially charged atmosphere of 1930’s Europe, the sensational story mathematician who turned the idea of infinity on its head and went crazy in the process, probably make for good reading. The drama of the controversy over Cantor’s ideas only added spice. 1 Fortunately, modern scholars have corrected the errors and biases in older biographies. -
Epsilon Substitution for Transfinite Induction
Epsilon Substitution for Transfinite Induction Henry Towsner May 20, 2005 Abstract We apply Mints’ technique for proving the termination of the epsilon substitution method via cut-elimination to the system of Peano Arith- metic with Transfinite Induction given by Arai. 1 Introduction Hilbert introduced the epsilon calculus in [Hilbert, 1970] as a method for proving the consistency of arithmetic and analysis. In place of the usual quantifiers, a symbol is added, allowing terms of the form xφ[x], which are interpreted as “some x such that φ[x] holds, if such a number exists.” When there is no x satisfying φ[x], we allow xφ[x] to take an arbitrary value (usually 0). Then the existential quantifier can be defined by ∃xφ[x] ⇔ φ[xφ[x]] and the universal quantifier by ∀xφ[x] ⇔ φ[x¬φ[x]] Hilbert proposed a method for transforming non-finitistic proofs in this ep- silon calculus into finitistic proofs by assigning numerical values to all the epsilon terms, making the proof entirely combinatorial. The difficulty centers on the critical formulas, axioms of the form φ[t] → φ[xφ[x]] In Hilbert’s method we consider the (finite) list of critical formulas which appear in a proof. Then we define a series of functions, called -substitutions, each providing values for some of the of the epsilon terms appearing in the list. Each of these substitutions will satisfy some, but not necessarily all, of the critical formulas appearing in proof. At each step we take the simplest unsatisfied critical formula and update it so that it becomes true. -
The Logic of Brouwer and Heyting
THE LOGIC OF BROUWER AND HEYTING Joan Rand Moschovakis Intuitionistic logic consists of the principles of reasoning which were used in- formally by L. E. J. Brouwer, formalized by A. Heyting (also partially by V. Glivenko), interpreted by A. Kolmogorov, and studied by G. Gentzen and K. G¨odel during the first third of the twentieth century. Formally, intuitionistic first- order predicate logic is a proper subsystem of classical logic, obtained by replacing the law of excluded middle A ∨¬A by ¬A ⊃ (A ⊃ B); it has infinitely many dis- tinct consistent axiomatic extensions, each necessarily contained in classical logic (which is axiomatically complete). However, intuitionistic second-order logic is inconsistent with classical second-order logic. In terms of expressibility, the intu- itionistic logic and language are richer than the classical; as G¨odel and Gentzen showed, classical first-order arithmetic can be faithfully translated into the nega- tive fragment of intuitionistic arithmetic, establishing proof-theoretical equivalence and clarifying the distinction between the classical and constructive consequences of mathematical axioms. The logic of Brouwer and Heyting is effective. The conclusion of an intuitionistic derivation holds with the same degree of constructivity as the premises. Any proof of a disjunction of two statements can be effectively transformed into a proof of one of the disjuncts, while any proof of an existential statement contains an effec- tive prescription for finding a witness. The negation of a statement is interpreted as asserting that the statement is not merely false but absurd, i.e., leads to a contradiction. Brouwer objected to the general law of excluded middle as claim- ing a priori that every mathematical problem has a solution, and to the general law ¬¬A ⊃ A of double negation as asserting that every consistent mathematical statement holds. -
Guessing Axioms, Invariance and Suslin Trees
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of East Anglia digital repository Guessing Axioms, Invariance and Suslin Trees A thesis submitted to the School of Mathematics of the University of East Anglia in partial fulfilment of the requirements for the degree of Doctor of Philosophy By Alexander Primavesi November 2011 c This copy of the thesis has been supplied on condition that anyone who consults it is understood to recognise that its copyright rests with the author and that use of any information derived there from must be in accordance with current UK Copyright Law. In addition, any quotation or extract must include full attribution. Abstract In this thesis we investigate the properties of a group of axioms known as `Guessing Axioms,' which can be used to extend the standard axiomatisation of set theory, ZFC. In particular, we focus on the axioms called `diamond' and `club,' and ask to what extent properties of the former hold of the latter. A question of I. Juhasz, of whether club implies the existence of a Suslin tree, remains unanswered at the time of writing and motivates a large part of our in- vestigation into diamond and club. We give a positive partial answer to Juhasz's question by defining the principle Superclub and proving that it implies the exis- tence of a Suslin tree, and that it is weaker than diamond and stronger than club (though these implications are not necessarily strict). Conversely, we specify some conditions that a forcing would have to meet if it were to be used to provide a negative answer, or partial answer, to Juhasz's question, and prove several results related to this. -
641 1. P. Erdös and A. H. Stone, Some Remarks on Almost Periodic
1946] DENSITY CHARACTERS 641 BIBLIOGRAPHY 1. P. Erdös and A. H. Stone, Some remarks on almost periodic transformations, Bull. Amer. Math. Soc. vol. 51 (1945) pp. 126-130. 2. W. H. Gottschalk, Powers of homeomorphisms with almost periodic propertiesf Bull. Amer. Math. Soc. vol. 50 (1944) pp. 222-227. UNIVERSITY OF PENNSYLVANIA AND UNIVERSITY OF VIRGINIA A REMARK ON DENSITY CHARACTERS EDWIN HEWITT1 Let X be an arbitrary topological space satisfying the TVseparation axiom [l, Chap. 1, §4, p. 58].2 We recall the following definition [3, p. 329]. DEFINITION 1. The least cardinal number of a dense subset of the space X is said to be the density character of X. It is denoted by the symbol %{X). We denote the cardinal number of a set A by | A |. Pospisil has pointed out [4] that if X is a Hausdorff space, then (1) |X| g 22SW. This inequality is easily established. Let D be a dense subset of the Hausdorff space X such that \D\ =S(-X'). For an arbitrary point pÇ^X and an arbitrary complete neighborhood system Vp at p, let Vp be the family of all sets UC\D, where U^VP. Thus to every point of X, a certain family of subsets of D is assigned. Since X is a Haus dorff space, VpT^Vq whenever p j*£q, and the correspondence assigning each point p to the family <DP is one-to-one. Since X is in one-to-one correspondence with a sub-hierarchy of the hierarchy of all families of subsets of D, the inequality (1) follows. -
The Iterative Conception of Set
The Iterative Conception of Set Thomas Forster Centre for Mathematical Sciences Wilberforce Road Cambridge, CB3 0WB, U.K. September 4, 2009 Contents 1 The Cumulative Hierarchy 2 2 The Two-Constructor case 5 2.1 Set Equality in the Two-Constructor Case . 6 3 More Wands 9 3.1 Second-order categoricity .................... 9 3.2 Equality . 10 3.3 Restricted quantifiers . 10 3.4 Forcing . 11 4 Objections 11 4.1 Sets Constituted by their Members . 12 4.2 The End of Time . 12 4.2.1 What is it an argument against? . 13 4.3 How Many Wands? . 13 5 Church-Oswald models 14 5.1 The Significance of the Church-Oswald Interpretation . 16 5.2 Forti-Honsell Antifoundation . 16 6 Envoi: Why considering the two-wand construction might be helpful 17 1 Abstract The two expressions “The cumulative hierarchy” and “The iterative con- ception of sets” are usually taken to be synonymous. However the second is more general than the first, in that there are recursive procedures that generate some illfounded sets in addition to wellfounded sets. The inter- esting question is whether or not the arguments in favour of the more restrictive version—the cumulative hierarchy—were all along arguments for the more general version. The phrase “The iterative conception of sets” conjures up a picture of a particular set-theoretic universe—the cumulative hierarchy—and the constant conjunction of phrase-with-picture is so reliable that people tend to think that the cumulative hierarchy is all there is to the iterative conception of sets: if you conceive sets iteratively then the result is the cumulative hierarchy. -
Mice with Finitely Many Woodin Cardinals from Optimal Determinacy Hypotheses
MICE WITH FINITELY MANY WOODIN CARDINALS FROM OPTIMAL DETERMINACY HYPOTHESES SANDRA MULLER,¨ RALF SCHINDLER, AND W. HUGH WOODIN Abstract We prove the following result which is due to the third author. 1 1 Let n ≥ 1. If Πn determinacy and Πn+1 determinacy both hold true and 1 # there is no Σn+2-definable !1-sequence of pairwise distinct reals, then Mn 1 exists and is !1-iterable. The proof yields that Πn+1 determinacy implies # that Mn (x) exists and is !1-iterable for all reals x. A consequence is the Determinacy Transfer Theorem for arbitrary n ≥ 1, 1 (n) 2 1 namely the statement that Πn+1 determinacy implies a (< ! − Π1) de- terminacy. Contents Abstract 1 Preface 2 Overview 4 1. Introduction 6 1.1. Games and Determinacy 6 1.2. Inner Model Theory 7 1.3. Mice with Finitely Many Woodin Cardinals 9 1.4. Mice and Determinacy 14 2. A Model with Woodin Cardinals from Determinacy Hypotheses 15 2.1. Introduction 15 2.2. Preliminaries 16 2.3. OD-Determinacy for an Initial Segment of Mn−1 32 2.4. Applications 40 2.5. A Proper Class Inner Model with n Woodin Cardinals 44 3. Proving Iterability 49 First author formerly known as Sandra Uhlenbrock. The first author gratefully ac- knowledges her non-material and financial support from the \Deutsche Telekom Stiftung". The material in this paper is part of the first author's Ph.D. thesis written under the su- pervision of the second author. 1 2 SANDRA MULLER,¨ RALF SCHINDLER, AND W. HUGH WOODIN 3.1. -
The Axiom of Infinity and the Natural Numbers
Axiom of Infinity Natural Numbers Axiomatic Systems The Axiom of Infinity and The Natural Numbers Bernd Schroder¨ logo1 Bernd Schroder¨ Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers 1. The axioms that we have introduced so far provide for a rich theory. 2. But they do not guarantee the existence of infinite sets. 3. In fact, the superstructure over the empty set is a model that satisfies all the axioms so far and which does not contain any infinite sets. (Remember that the superstructure itself is not a set in the model.) Axiom of Infinity Natural Numbers Axiomatic Systems Infinite Sets logo1 Bernd Schroder¨ Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers 2. But they do not guarantee the existence of infinite sets. 3. In fact, the superstructure over the empty set is a model that satisfies all the axioms so far and which does not contain any infinite sets. (Remember that the superstructure itself is not a set in the model.) Axiom of Infinity Natural Numbers Axiomatic Systems Infinite Sets 1. The axioms that we have introduced so far provide for a rich theory. logo1 Bernd Schroder¨ Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers 3. In fact, the superstructure over the empty set is a model that satisfies all the axioms so far and which does not contain any infinite sets. (Remember that the superstructure itself is not a set in the model.) Axiom of Infinity Natural Numbers Axiomatic Systems Infinite Sets 1. -
Arxiv:1901.02074V1 [Math.LO] 4 Jan 2019 a Xoskona Lrecrias Ih Eal Ogv Entv a Definitive a Give T to of Able Basis Be the Might Cardinals” [17]
GENERIC LARGE CARDINALS AS AXIOMS MONROE ESKEW Abstract. We argue against Foreman’s proposal to settle the continuum hy- pothesis and other classical independent questions via the adoption of generic large cardinal axioms. Shortly after proving that the set of all real numbers has a strictly larger car- dinality than the set of integers, Cantor conjectured his Continuum Hypothesis (CH): that there is no set of a size strictly in between that of the integers and the real numbers [1]. A resolution of CH was the first problem on Hilbert’s famous list presented in 1900 [19]. G¨odel made a major advance by constructing a model of the Zermelo-Frankel (ZF) axioms for set theory in which the Axiom of Choice and CH both hold, starting from a model of ZF. This showed that the axiom system ZF, if consistent on its own, could not disprove Choice, and that ZF with Choice (ZFC), a system which suffices to formalize the methods of ordinary mathematics, could not disprove CH [16]. It remained unknown at the time whether models of ZFC could be found in which CH was false, but G¨odel began to suspect that this was possible, and hence that CH could not be settled on the basis of the normal methods of mathematics. G¨odel remained hopeful, however, that new mathemati- cal axioms known as “large cardinals” might be able to give a definitive answer on CH [17]. The independence of CH from ZFC was finally solved by Cohen’s invention of the method of forcing [2]. Cohen’s method showed that ZFC could not prove CH either, and in fact could not put any kind of bound on the possible number of cardinals between the sizes of the integers and the reals.