Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In his book On Numbers and Games (pg. 38) John Horton Conway makes the following remark, "But the collection of all gaps is not even a Proper Class, being an illegal object in most set theories." Is it true that the collection of all gaps is an "illegal object" in most set theories, and in what set theories is this collection not an illegal object? Conway's system No seems to handle gaps quite nicely, even without an axiomatization of set theory.

share|improve this question

3 Answers 3

up vote 8 down vote accepted

The gaps in $No$ are discussed in some detail in the Postscript to my paper “The Absolute Arithmetic Continuum and its Peircean Counterpart,” in New Essays on Peirce’s Mathematical Philosophy, edited by Matthew Moore, Open Court Press, 2010, pp. 235-282, which may be downloaded from http://www.ohio.edu/people/ehrlich/. There are $ 2^{\aleph_{On}}$ such gaps. Of these, $2^{\aleph_{On}}$ have character $(On,On^{*}).$

These are the gaps that lie within the various Archimedean classes of $No$, i.e. the subclasses of $No$ consisting of all elements that are Archimedean equivalent to one another. There are $\aleph_{On}$ additional gaps, each of which has character $(\alpha, On^{* })$ or character $ (On,\alpha^{*} )$, for some regular initial ordinal $\alpha$. Roughly speaking, these gaps lie between Archimedean classes.

Whereas in NBG one can discuss an individual gap in $No$, the class of all such gaps is not a legal class of NBG. It is, however, a legal class of Ackermann’s set theory (with the axiom of foundation for sets), which is a conservative extension of both ZFC and NBG (which I take to include global choice). Good discussions of Ackermann’s theory may be found in:

Fraenkel, Abraham A., Bar-Hillel, Yehoshua, and Lévy, Azriel: 1973, Foundations of Set Theory (Second Revised Edition), North-Holland Publishing Company, Amsterdam.

Lévy, Azriel: 1976, “The Role of Classes in Set Theory,” in Sets and Classes, edited by G.H. Müller, North-Holland Publishing Company, Amsterdam, pp. 173-215.

Lévy, Azriel and Vaught, Robert: 1961, “Principles of Partial Reflection in the Set Ttheories of Zermelo and Ackermann,” Pacific Journal of Mathematics 11, pp. 1045-1062.

Lévy, Azriel: 1959, “On Ackermann’s Set Theory,” The Journal of Symbolic Logic 24, pp. 154-166.

Reinhardt, William: 1970, “Ackermann’s Set Theory Equals ZF,” Annals of Mathematical Logic 2, pp. 189-259.

By the way, if one wants to work with Conway’s original construction, where each surreal number is a proper class, one may do so in Ackermann’s theory without appealing to “Scott’s trick,” which was referred to in one of the earlier responses. In fact, as Conway himself notes, appealing to Scott’s trick destroys the symmetry of his construction. If one wants to work in NBG, I think it is better to employ one of the two alternative constructions of $No$ introduced by the present author. One is a generalization of the von Neumann ordinal construction and the other is a generalization of the Dedekind cut construction based on the cuts of Cuesta Dutari. The first is discussed in my paper “The Absolute Arithmetic Continuum and the Unification of All Numbers Great and Small”, The Bulletin of Symbolic Logic 18 (1) 2012, pp. 1-45, and the other was introduced in my “An Alternative Construction of Conway’s Ordered Field No,” Algebra Universalis 25, (1988), pp. 7-16 ( Errata, 25 (1988), p. 233). Both papers may be downloaded from the above-mentioned site.

share|improve this answer
    
@Professor Ehrlich: I have been reading your above-mentioned paper and find it very interesting. If one defines No in Ackermann set theory (or in Levy theory), will the versions of No definable in models of ZFC be subfields of No? –  Thomas Benjamin Aug 31 '12 at 8:09

The surreal numbers form a proper class (and even this is non-trivial, as each surreal number is defined as an equivalence class; however, Scott's trick can be used to present each surreal number by a set, the set of elements of the equivalence class of minimal rank). It follows that each gap in the surreal numbers is a pair of classes, and it is not clear to me whether these gaps can be coded by sets. Probably not in general. (You can identify each gap by its lower part, which gets rid of the pair of classes but still leaves you with a single class. Also, this is not a problem as there are ways to form a pair of two classes which is again a class.) The collection of all gaps is an object that consists of pairs of classes or just classes if you do it more cleverly. So it is a class of classes, if you wish. This is something that cannot be dealt with in ZFC. There are specific cases where it is possible to talk about a class of classes, but not in general.

If I remember correctly, there was some discussion here on mathoverflow where it was pointed out that Harvey Friedman and other people have looked into set theories that can handle classes of classes and so on, but I have no reference for this right now. But how does No handle gaps? Note that even though No is defined by recursively filling something like Dedekind cuts, the construction is indexed by ordinals and at no stage of the construction you are dealing with all the surreal numbers. In each step you are handling things that look like gaps, but know only a set of surreal numbers.

share|improve this answer
    
@Stefan: Thanks. Since you know a thing or two about forcing, does No contain all reals defined by forcing 'constructions' of generic extensions of some model M of, say ZFC? I ask this question because, at least as I understand it, (to use the example of forcing not-CH) when M is a countable transitive model of ZFC, one uses the sets of natural numbers not contained in M to form the generic sets of M[G] and in analogy to this, No might contain generic sets for models of ZFC in a naturalistic account of forcing –  Thomas Benjamin Aug 28 '12 at 6:58
    
I asked this question of Professor Hamkins on boolesrings but he does not think this is the case since different models of ZFC can have different models of No (?--I hope I have not misinterpreted his answer). However, since Professor Conway has successfully defined No without recourse to axiomatic systems of set theory No seems to exist 'outside' these axiomatic systems and the models that interpret and realize them which again suggests that No might contain all the 'generic reals' various accounts of forcing (especially the naturalistic account of forcing) needs to form M[G]. –  Thomas Benjamin Aug 28 '12 at 7:18
    
@Thomas: Concerning your first comment: If $M$ is a countable transitive model of set theory, then it contains all natural numbers. Do you mean real numbers? Some forcing extensions are obtained by adding new real numbers, but some are not. –  Stefan Geschke Aug 28 '12 at 8:24
    
Regarding your second comment, Conway defines No without explicit recourse to some axiomatic framework because this is the way mathematics is done and understood by most people. This can lead to problems such as Russell's Paradox, but we feel that we know now how to avoid this kind of problem. But it is possible to carry out Conway's construction in ZFC. And if you do that, the class No clearly depends on the model that you are in. And if you are working in a small model of ZFC, how can you access things that are outside this model? –  Stefan Geschke Aug 28 '12 at 8:34
    
@Stefan: I was referring to P(N), the power set of N which of course can be put in 1-1 correspondence with the reals (the way I worded that part of the sentence was very ambiguous--sorry). As regards my second comment, since it refers to the naturalistic account of forcing, I guess your question would translate into 'How can you access things that are outside the set theoretic universe?'. My point would be, do you have to translate all set theoretic notions into some axiomatic theory for the set theoretic notions in question to be valid? –  Thomas Benjamin Aug 29 '12 at 3:23

In NBG and similar set theories with classes, gaps are genuine objects of the theory. The collection of all gaps is not a class, but it is definable by a first-order formula, so you can work with it in the theory in much the same way as one works with definable classes in ZFC.

share|improve this answer
    
If the collection of all gaps is not a class, is there another artifact in NGB that comprises classes much the same way as classes comprise sets ? –  Ralph Aug 27 '12 at 15:14
2  
@Ralph: Collections of classes are not objects of the theory, they can only be manipulated indirectly by treating them as shorthands for their defining formulas. –  Emil Jeřábek Aug 27 '12 at 15:24
    
Continuu=ing Emil's comment: Collections of classes can be dealt with in NGB in the same way as classes are handled in ZFC. –  Stefan Geschke Aug 28 '12 at 8:16

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.