Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set...
Transcript of Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set...
![Page 1: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/1.jpg)
![Page 2: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/2.jpg)
![Page 3: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/3.jpg)
![Page 4: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/4.jpg)
![Page 5: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/5.jpg)
![Page 6: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/6.jpg)
![Page 7: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/7.jpg)
![Page 8: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/8.jpg)
![Page 9: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/9.jpg)
![Page 10: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/10.jpg)
![Page 11: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/11.jpg)
![Page 12: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/12.jpg)
![Page 13: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/13.jpg)
![Page 14: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/14.jpg)
![Page 15: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/15.jpg)
Remark added 2004
Theorem 3.1. can be strengthened. Let S be a (well-termed) local set theory and (E, ≤) a partially ordered S-set. An element m of E is internally maximal if it satisfies
S ∀x∈E [m ≤ x → m = x].
We can then prove the
Theorem. Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, coverable local set theory. Then, in S, any inductive partially ordered set has an internally maximal element. In short, Zorn’s Lemma holds internally in S.
![Page 16: Zorn - Publishpublish.uwo.ca/~jbell/Zorn.pdf · Suppose Zorn’s Lemma holds in the underlying set theory, and let S be a full, well-termed, ... Microsoft Word - Zorn.doc Author:](https://reader036.fdocuments.us/reader036/viewer/2022062600/5a7989507f8b9ab45c8c63e5/html5/thumbnails/16.jpg)
Proof. Suppose (E, ≤) is an inductive partially ordered S-set. Then, by the argument in the proof of Thm. 3.1. of my JSL paper, the partially ordered set E~ of global elements of E has a maximal element m. We claim that m is internally maximal. Since S is coverable, to establish this it suffices to show that, for any S-singleton U in E, we have (*) S ∀x∈U [m ≤ x → m = x]. Defining V to be the S-set {x∈U: m ≤ x}, it is easily seen that (*) is equivalent to (**) S V ⊆ {m}.
1. Now consider V′ = V ∪ {m}. This is a chain in E (recall that V is a singleton), and
so has a supremum v. Clearly S m ≤ v, so the maximality of m gives S m = v. It follows that
(***) S x ∈ V → x ≤ v → x ≤ m.
But since S x ∈ V → m ≤ x, (***) yields
S x ∈ V → x = m,
i.e. (**). This result can also be stated as follows: if Zorn’s Lemma holds in the base topos Set of sets, it continues to hold internally in any localic lopos defined over Set .