Talk:Axiom of limitation of size

message: I added a new section "Zermelo's models and the axiom of limitation of size" because of my personal experience with the axiom. When I first heard about the axiom, my reaction was: "Why can't there be classes of different sizes? After all, the ordinals form a 'thin' class and the universal class is 'much thicker'." When I learned of Zermelo's models, it became clear why the axiom can be true. 
So I've added a model-theoretic section to complement the current article (which concentrates on the implications of the axiom and its relationship to other axioms). My approach was to write an exposition of Zermelo's work in 3 parts: The first gives the reader an overall view and emphasizes two statements Zermelo proved (which in my exposition are Theorems 1 and 2). A more interested reader may like to see why these theorems are true for a simple model — this is covered in the subsection "The model Vω." This subsection naturally leads to the subsection "The models Vκ where κ is a strongly inaccessible cardinal." Zermelo handled the cases κ = ω and κ is a strongly inaccessible cardinal at the same time. However, Zermelo was writing a research article. I'm thinking of Wikipedia readers, and I realized that by dividing the exposition into 3 parts, each a bit harder than the previous, I'm catering to readers of different math levels and different interest levels. --RJGray (talk) 19:45, 3 February 2013 (UTC)
thread_title:  Added section "Zermelo's models and the axiom of limitation of size" 

message: I have rewritten the lead following the guidelines in WP:LEAD and have added the sections "Formal statement" and "Implications" that use and handle much of what the old lead covered. The beginning of the lead was inspired by the French article on the axiom (see :fr:Axiome de limitation de taille), which starts off by connecting the axiom to limitation of size principle and the paradoxes. I also borrowed two phrases from the French article.
The formal expression of the axiom of limitation of size has been rewritten a little. It reads better on two lines and doesn't shrink the font size of the entire article when printing it (which I found annoying). Also, by specifying that lowercase variables denote sets, "F is onto" can be expressed with "\forall y \exist x \left( x \in A \land (x, y) \in F \right)" rather than "\forall y \bigl[ \exist B \left( y \in B \right) \Rightarrow \exist x \left( x \in A \land (x, y) \in F \right) \bigr]" because the lowercase y ranges over sets. 
I also added some proofs and a new section titled "Limitation of size doctrine." I removed the "See Also" section because all its links appear in the article and WP:ALSO states: "As a general rule, the 'See also' section should not repeat links that appear in the article's body …"
I have given Hallett's arguments that the limitation of size doctrine does not justify the power set axiom. I also mention that he has analyzed the arguments given by Fraenkel and Levy, and has found what he considers flaws in their arguments. I tried to find authors who have found flaws in Hallett's arguments, but could not. After doing searches on Google, in Google Books, and at www.jstor.org, I found four who comment on Hallett's arguments and only one of them makes an (inaccurate) negative comment:
* Robert Bunn states: "The usual limitation of size arguments relating to the "motivation" or justification of the axioms … are subjected to a devastating critique [by Hallett] in the first section of chapter 5. They are circular. The power set axiom is particularly problematic. In summary form the reason is that “There is no reasonable internal criterion of 'extent' or 'size', so the limitation of size conception has to use a notion of relative size. And there is no good reason to suppose that a power set P(a) always remains small with respect to any measure not involving P(x) …" (.)
* Peter Clark states: "If we ask however whether the axioms of say ZFC (Zermelo-Fraenkel theory with choice) satisfy the conception of limitation of size, it is clear that as such they do not. The principle reason is the power set axiom (when combined with the axiom of infinity). … Despite the failure of ZFC to implement the limitation of size idea (or to make it a precise part of formal set theory) Hallett sees it as having an important heuristic role, for if it is assumed that the axioms of infinity, power set and union permit only legitimate sets, then it can be shown that restricted comprehension … and any number of reiterations of it cannot lead out of the domain of legitimate sets." (.)
* Penelope Maddy states: "Advocates of limitation of size suggest that the power set of a given set will not be large because all its members must be subsets of something small. Hallett casts some well-deserved doubt on this last form of justification for the Power Set Axiom …" (.)
* Adam Rieger states: "Hallett also makes much (in Chapter 5) of the technical result that we have very little idea of the size of the power set of ω, arguing that this refutes ZF's claim to embody a 'limitation of size' conception. This, however, seems to depend on thinking of 'limitation of size' in the style of Russell, as 'no sets allowed that are bigger than such-and-such a cardinal'; rather, as I have been trying to convey, the point is that however big, it is P(ω) is still a set, and therefore not as large as the universe." However, as pointed out in this Wikipedia article,  Hallett not only deals with cardinal size, but also considers arguments that treat size in terms of "comprehensiveness" and "extendability." Rieger does not try to justify the power set axiom in terms of limitation of size. Instead, he analyzes how the argument based on the iterative conception is used to support ZF and concludes that this argument is not convincing. Hallett argues that the iterative conception (which he says is a descendant of limitation of size) goes wrong for the same reason that the limitation of size argument goes wrong—namely, in its explanation of the power set axiom. So both Rieger and Hallett find the argument based on the related iterative conception unconvincing. (. Also, Hallett 1984, pp. 214, 221.)
I learned some interesting math and philosophy of set theory (limitation of size doctrine) by doing research for this rewrite. I hope that readers will finding the rewrite informative and interesting. --RJGray (talk) 17:52, 13 January 2017 (UTC)
thread_title:  Rewrite