Forcing For Mathematicians Nik Weaver Download
Forcing For Mathematicians Nik Weaver Download
https://ebookbell.com/product/forcing-for-mathematicians-nik-
weaver-4917914
Inverse Problems And Zero Forcing For Graphs Leslie Hogben Jephian Ch
Lin
https://ebookbell.com/product/inverse-problems-and-zero-forcing-for-
graphs-leslie-hogben-jephian-ch-lin-46868004
https://ebookbell.com/product/a-chess-opening-repertoire-for-blitz-
rapid-sharp-surprising-and-forcing-lines-for-black-and-white-ebook-
evgeny-sveshnikov-22152448
Forcing The Spring Inside The Fight For Marriage Equality First
Edition Jo Becker
https://ebookbell.com/product/forcing-the-spring-inside-the-fight-for-
marriage-equality-first-edition-jo-becker-4683076
Forcing The Spring Inside The Fight For Marriage Equality Becker Jo
https://ebookbell.com/product/forcing-the-spring-inside-the-fight-for-
marriage-equality-becker-jo-7607298
Flexible Forming For Fluid Architecture 1st Ed 2021 Arno Pronk
https://ebookbell.com/product/flexible-forming-for-fluid-
architecture-1st-ed-2021-arno-pronk-35084616
https://ebookbell.com/product/fold-forming-for-jewellers-and-
metalsmiths-louise-mary-muttitt-7401892
https://ebookbell.com/product/electromagnetic-metal-forming-for-
advanced-processing-technologies-1st-edition-yuriy-batygin-6989884
https://ebookbell.com/product/forging-links-for-health-research-
perspectives-from-the-council-on-health-research-for-development-
victor-neufeld-nancy-johnson-international-development-research-
centre-staff-51335692
https://ebookbell.com/product/resorbable-fiberforming-polymers-for-
biotextile-applications-1st-edition-chirag-r-gajjar-4931614
FORCING FOR
MATHEMATICIANS
Nik Weaver
Washington University in St. Louis, USA
World Scientific
NEW JERSEY • LONDON • SINGAPORE • BEIJING • SHANGHAI • HONG KONG • TA I P E I • CHENNAI
For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance
Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy
is not required from the publisher.
Printed in Singapore
December 3, 2013 1:3 World Scientific Book - 9in x 6in forc
v
May 2, 2013 14:6 BC: 8831 - Probability and Statistical Theory PST˙ws
Preface
This book was written for mathematicians who want to learn the basic
machinery of forcing. No background in logic is assumed, beyond the facil-
ity with formal syntax which should be second nature to any well-trained
mathematician.
As a student I found this subject confusing, so I have tried to explain
it in a way that I imagine would have made it easier for me to grasp. At
a technical level forcing is no more complex than any other serious math-
ematical topic; the difficulty is more a matter of needing to pay attention
to subtle distinctions which might seem pedantic but are actually very im-
portant, such as the distinction between an axiom and an axiom scheme,
or between reasoning in the target theory and reasoning in the metatheory.
In other expositions this last point is often clarified only after the basic
theory has been developed, almost as an afterthought. I felt that some
mystification could be avoided by getting metatheoretic issues off the table
at the start.
I have altered some standard definitions (most profitably, the definition
of a P -name) in order to simplify the presentation. You’re welcome.
A unique feature of the book is its emphasis on applications outside of
set theory which were previously only available in the primary literature.
Independence results raise deep philosophical questions about the na-
ture of mathematics. I have strong views on this subject and I felt it would
be disingenuous not to mention them; however, I have confined my remarks
on this topic to Chapter 30, so they can easily be ignored by readers who
are not interested in such discussions.
This work was partially supported by NSF grant DMS-1067726.
Nik Weaver
vii
May 2, 2013 14:6 BC: 8831 - Probability and Statistical Theory PST˙ws
Contents
Preface vii
1. Peano Arithmetic 1
3. Well-Ordered Sets 9
4. Ordinals 13
5. Cardinals 17
6. Relativization 21
7. Reflection 25
8. Forcing Notions 29
9. Generic Extensions 33
12. Forcing CH 45
13. Forcing ¬ CH 49
ix
December 3, 2013 1:3 World Scientific Book - 9in x 6in forc
15. Self-Homeomorphisms of βN \ N, I* 57
Exercises 123
Notes 129
Bibliography 133
Notation Index 137
Subject Index 139
December 3, 2013 1:3 World Scientific Book - 9in x 6in forc
Chapter 1
Peano Arithmetic
(5) Given a line and a point not on that line, at most one line can be drawn
through the given point that is parallel to the given line.
How do we know this? The parallel postulate is consistent with the other
four axioms because all five statements hold in the standard Euclidean
plane. Its negation is consistent with the other four axioms because the
first four axioms hold in a hyperbolic plane (taking “lines” to be geodesics),
but the parallel postulate fails. Thus, we may assume either the parallel
postulate or its negation without fear of contradiction.
No doubt the reader is already familiar to some degree with this example
and is not about to raise any objections to the conclusion we just reached.
1
December 3, 2013 1:3 World Scientific Book - 9in x 6in forc
But there is room for criticism. The problem is that Euclid’s “axioms”
are stated in an informal manner that apparently presupposes an intuitive
grasp of the flat plane they are intended to describe. In fact they hardly
qualify as axioms in the modern sense. To be fair, Euclid does preface
his axioms with informal “definitions” of the terms appearing in them, but
several of these are also quite vague (e.g., “a line is a breadthless length”)
and again presuppose some implicit knowledge of the subject matter.
Thus, there is a legitimate question as to whether it is completely clear
that this implicit knowledge assumed by Euclid is compatible with the hy-
perbolic plane example. I do not wish to argue this point, only to emphasize
the desirability of setting up a purely formal axiomatic system equipped
with a precise symbolic language and well-defined rules of inference. If the
system is ambiguous in any way then we cannot consider consistency and
independence to be rigorous mathematical concepts.
Peano arithmetic, usually abbreviated PA, is a good example of a formal
axiomatic system. It is simple enough to be described in detail. These
details don’t matter so much for us, but seeing them once may help give
the reader a clearer sense of the way axiomatic systems work.
The language of PA is specified as follows. We start with an infinite
list of variables x, y, . . .; a constant symbol 0; symbols for the addition,
multiplication, and successor operations (+, ·, ′ ); and parentheses. The
variables are to be thought of as ranging over the natural numbers, and the
successor symbol as representing the operation of adding 1. A term is any
grammatical expression built up from these components, e.g., something
like 0′′ + x · y ′ (with parentheses omitted here for the sake of readability),
and an atomic formula is a statement of the form t1 = t2 where t1 and t2 are
terms. Finally, a formula is any statement built up from atomic formulas
using parentheses and the logical symbols ¬ (not), → (implies), and ∀ (for
all).
For the sake of economy, we can limit ourselves to these three logical
symbols and regard expressions involving the symbols ∨ (or), ∧ (and), ↔
(if and only if), and ∃ (there exists) as abbreviating longer expressions
involving only ¬, →, and ∀. For instance, φ ∨ ψ is equivalent to ¬φ → ψ.
Thus statements like “x is prime” can be rendered symbolically, say as
¬(x = 0′ ) ∧ (∀y)(∀z)[x = y · z → (y = 0′ ∨ z = 0′ )],
and then translated into a form that uses only ¬, →, and ∀. Evidently, this
simple language is flexible enough to express a large variety of elementary
number-theoretic assertions: every number is a sum of four squares, there
is a prime pair greater than any number, etc.
December 3, 2013 1:3 World Scientific Book - 9in x 6in forc
Peano Arithmetic 3
L1 φ → (ψ → φ)
L2 [φ → (ψ → θ)] → [(φ → ψ) → (φ → θ)]
L3 (¬ψ → ¬φ) → (φ → ψ).
Properly speaking, the preceding are not axioms but axiom schemes, mean-
ing that they are to be thought of as templates which can be used to gen-
erate infinitely many axioms by replacing φ, ψ, and θ with any formulas.
Also falling under the rubric of “logical axioms” are two schemes pertaining
to quantification,
L4 (∀x)(φ → ψ) → (φ → (∀x)ψ),
L5 (∀x)φ(x) → φ(t),
where φ is any formula and t is any term that can be substituted for x in
φ(x) without any of its variables becoming quantified. (This restriction on
t prevents disasters like (∀x)(∃y)(y = x) → (∃y)(y = y ′ ).)
Next, we have equality axioms which describe basic properties of equal-
ity. The axioms
E1 x=x
E2 x=y→y=x
E3 x = y → (y = z → x = z)
E4 x = y → x′ = y ′
suffice here. Axioms analogous to E4 for the other operations + and · need
not be added separately because they can be proven, within PA, from E4.
Finally, PA includes the non-logical axioms
(1) ¬(0 = x′ )
(2) x′ = y ′ → x = y
(3) x+0= x
(4) x + y ′ = (x + y)′
(5) x·0 =0
(6) x · y′ = x · y + x
(7) φ(0) → [(∀x)(φ(x) → φ(x′ )) → (∀x)φ(x)]
December 3, 2013 1:3 World Scientific Book - 9in x 6in forc
which represent truths specific to arithmetic. These are all single axioms
except for the induction scheme (7), in which φ can be any formula.
The formal system is completed by specifying three rules of inference:
I1 from φ and φ → ψ, infer ψ
I2 from φ, infer (∀x)φ
I3 from φ, infer φ̃
which are also presented schematically; in the last scheme φ̃ can be any
formula obtained from φ by renaming variables. (This last scheme is neces-
sary because earlier axioms were stated in terms of the particular variables
x, y, and z.) A theorem of PA is any formula which is either an axiom
or can be derived from finitely many axioms by the application of finitely
many rules of inference.
Peano arithmetic attains a perfect degree of precision. It would not be
terribly difficult to write a computer program that would mechanically print
out all the theorems provable in PA. The question whether some formula
in the language of arithmetic is or is not a theorem is completely precise.
Although the Peano axioms are simple, they are quite powerful. Loosely
speaking, all “ordinary” reasoning in elementary number theory can be
formalized in PA. Indeed, we might define elementary number theory to be
that part of number theory which can be formally codified in PA.
There are arithmetical assertions which are known to be independent
of PA, although it is not so easy to come up with examples. The existence
of such assertions goes back to Gödel, though we now know of simpler
examples than the ones he constructed. But this topic falls outside our
purview.
The details of how one actually formalizes reasoning in PA need not con-
cern us here. It may be a valuable skill to be able to convert human-readable
proofs into the machine language of a formal system, but developing that
skill is not our purpose. So we will simply ask the reader to accept that
elementary reasoning about numbers can be carried out in PA. More infor-
mation on formalization of proofs can be found in any good introduction
to mathematical logic.
December 3, 2013 1:3 World Scientific Book - 9in x 6in forc
Chapter 2
The standard formal system for reasoning about sets is ZFC, Zermelo-
Fraenkel set theory with the axiom of choice. This is a pure set theory,
meaning that there are no objects besides sets. Every element of a set is
another set.
The formal language of set theory is even simpler than the language
of arithmetic. We have an infinite list of variables x, y, . . ., and the only
atomic formulas are those of the form x ∈ y or x = y, with any variables in
place of x and y. There are no “terms” other than individual variables. As
in arithmetic, arbitrary formulas are built up from atomic formulas using
¬, →, and ∀, and we justify the informal use of other logical symbols by
reducing them to these symbols. The logical axiom schemes of ZFC are
the same schemes L1-L5 used in PA, although the actual axioms generated
by these schemes are different, because the pool of formulas available to be
substituted into the templates is different. We need two equality axioms,
x = y → (x ∈ z → y ∈ z) and x = y → (z ∈ x → z ∈ y). The rules of
inference for ZFC are generated by the same schemes I1-I3 used in PA.
The non-logical axioms of ZFC consist of seven individual axioms and
two schemes. We will state them informally, but it would not be hard to
translate them into the formal language of set theory. (It might not be
obvious how to express the notion of a function, which appears in axiom
(7). We can do this by regarding a function as a set of ordered pairs and
then using Kuratowski’s trick of encoding the ordered pair hx, yi as the set
{{x}, {x, y}}.)
Zermelo-Fraenkel axioms
(1) Extensionality. Two sets are equal if they have the same elements.
(2) Pairing. For all x and y there exists a set whose elements are x and y.
5
Another Random Document on
Scribd Without Any Related Topics
TO WALTER SCOTT, ESQ., EDINBURGH.
Ingram Hertford.
Walter Scott.
Walter Scott.
(Copy—Enclosure.)
Walter Scott.
Walter Scott.
Ever yours,
Walter Scott.
To avoid returning to the affair of the laureateship, I have placed
together such letters concerning it as appeared important. I regret
to say that, had I adhered to the chronological order of Scott's
correspondence, ten out of every twelve letters between the date of
his application to the Duke of Buccleuch, and his removal to
Edinburgh on the 12th of November, would have continued to tell
the same story of pecuniary difficulty, urgent and almost daily
applications for new advances to the Ballantynes, and endeavors,
more or less successful, but in no case effectually so, to relieve the
pressure on the bookselling firm by sales of its heavy stock to the
great publishing houses of Edinburgh and London. Whatever success
these endeavors met with, appears to have been due either directly
or indirectly to Mr. Constable; who did a great deal more than
prudence would have warranted, in taking on himself the results of
its unhappy adventures,—and, by his sagacious advice, enabled the
distressed partners to procure similar assistance at the hands of
others, who did not partake his own feelings of personal kindness
and sympathy. "I regret to learn," Scott writes to him on the 16th
October, "that there is great danger of your exertions in our favor,
which once promised so fairly, proving finally abortive, or at least
being too tardy in their operation to work out our relief. If anything
more can be honorably and properly done to avoid a most
unpleasant shock, I shall be most willing to do it; if not—God's will
be done! There will be enough of property, including my private
fortune, to pay every claim; and I have not used prosperity so ill, as
greatly to fear adversity. But these things we will talk over at
meeting; meanwhile believe me, with a sincere sense of your
kindness and friendly views, very truly yours, W. S."—I have no wish
to quote more largely from the letters which passed during this crisis
between Scott and his partners. The pith and substance of his, to
John Ballantyne at least, seems to be summed up in one brief
postscript: "For God's sake treat me as a man, and not as a milch-
cow!"
I did not answer your very kind letter, my dear Morritt, until I
could put your friendly heart to rest upon the report you have
heard, which I could not do entirely until this term of Martinmas
was passed. I have the pleasure to say that there is no truth
whatever in the Ballantynes' reported bankruptcy. They have had
severe difficulties for the last four months to make their
resources balance the demands upon them, and I, having the
price of Rokeby, and other monies in their hands, have had
considerable reason for apprehension, and no slight degree of
plague and trouble. They have, however, been so well supported,
that I have got out of hot water upon their account. They are
winding up their bookselling concern with great regularity, and
are to abide hereafter by the printing-office, which, with its
stock, etc., will revert to them fairly.
Walter Scott.
"September 2, 1813.
Again:—
"Monday evening.
Dear Tom,—I observe what you say as to Mr. ****; and as you
may often be exposed to similar requests, which it would be
difficult to parry, you can sign such letters of introduction as
relate to persons whom you do not delight to honor short, T.
Scott; by which abridgment of your name I shall understand to
limit my civilities.
It is proper to mention that, in the very agony of these
perplexities, the unfortunate Maturin received from him a timely
succor of £50, rendered doubly acceptable by the kind and judicious
letter of advice in which it was enclosed; and I have before me
ample evidence that his benevolence had been extended to other
struggling brothers of the trade, even when he must often have had
actual difficulty to meet the immediate expenditure of his own
family. All this, however, will not surprise the reader.
All this is beautiful to witness: the indoor work does not please
me so well, though I am aware that, to those who are to inhabit
an old castle, it becomes often a matter of necessity to make
alterations by which its tone and character are changed for the
worse. Thus a noble gallery, which ran the whole length of the
front, is converted into bedrooms—very comfortable, indeed, but
not quite so magnificent; and as grim a dungeon as ever knave
or honest man was confined in, is in some danger of being
humbled into a wine-cellar. It is almost impossible to draw your
breath, when you recollect that this, so many feet under-ground,
and totally bereft of air and light, was built for the imprisonment
of human beings, whether guilty, suspected, or merely
unfortunate. Certainly, if our frames are not so hardy, our hearts
are softer than those of our forefathers, although probably a few
years of domestic war, or feudal oppression, would bring us back
to the same case-hardening both in body and sentiment.
Walter Scott.
W. Scott.
Walter Scott.
"bade spare
The house of Pindarus, when temple and tower
Went to the ground."[42]
Your pinasters are coming up gallantly in the nursery-bed at
Abbotsford. I trust to pay the whole establishment a Christmas
visit, which will be, as Robinson Crusoe says of his glass of rum,
"to mine exceeding refreshment." All Edinburgh have been on
tiptoe to see Madame de Staël, but she is now not likely to honor
us with a visit, at which I cannot prevail on myself to be very
sorry; for as I tired of some of her works, I am afraid I should
disgrace my taste by tiring of the authoress too. All my little
people are very well, learning, with great pain and diligence,
much which they will have forgotten altogether, or nearly so, in
the course of twelve years hence: but the habit of learning is
something in itself, even when the lessons are forgotten.
I must not omit to tell you that a friend of mine, with whom
that metal is more plenty than with me, has given me some gold
mohurs to be converted into a ring for enchasing King Charles's
hair; but this is not to be done until I get to London, and get a
very handsome pattern. Ever, most truly and sincerely, yours,
W. Scott.
ebookbell.com