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

Some months ago (October 2010), in the context of the Workshop on Set Theory and the Philosophy of Mathematics, Professor Donald A. Martin gave a talk entitled "Philosophical issues about the hierarchy of sets".

Abstract: I will discuss some philosophical questions about the cumulative hierarchy of sets, its levels, and their theories. Some examples:

(1) It is sometimes asserted one cannot quantify over everything. A related assertion is that each of our statements about the universe of sets can from a different perspective be seen as a statement about some Va. Thus the class-set distinction is really a relative one. Does this make sense? Is it right?

(2) Is the first order theory of V determinate? Does every sentence have a truth value? Are there levels of the hierarchy whose first order theories are indeterminate? If so, what is the lowest such level? What about L and the constructibility hierarchy?

(3) There are many examples of proofs of a statement about one level of the hierachy that use principles about a higher level. Under what conditions and in what sense do these count as establishing the lower level statement?

I will discuss these questions mainly from a viewpoint that takes mathematics to be about basic mathematical concepts, e.g., those of natural number, real number, and set.

I am highly interested in learning how these questions might be answered (as you may problably know from previous questions of mine here in MO), so I would be grateful if anyone could give any information in this respect, especially for those questions of 1 and 3 (I am afraid it is almost impossible to do justice to 2 in a few lines).

share|improve this question
    
Have you written to Professor Donald A. Martin? –  j.c. Apr 29 '11 at 13:20
1  
@jc Yes, I have, but with no success by now. –  Marc Alcobé García Apr 29 '11 at 20:25
add comment

1 Answer 1

up vote 11 down vote accepted

Of course there are no universally agreed-upon answers to these philosophical questions, and if you are interested in Martin's views specifically, then I suggest that you read his articles. Meanwhile, allow me simply to explain a few of the issues arising in the specific questions you mention.

  • "One cannot quantify over everything." This is a reference to the predicative/impredicative debate in the philosophy of set theory. One of the objections to the replacement and collection axioms is that they are used to describe sets by means of properties of a totality of which they themselves are a member. That is, you define a subset of $B=\{a\in A\mid \varphi(a)\}$, but $\phi(a)$ may be a very complicated property that quantifies over the entire universe, referring to objects and properties of objects, including $B$ itself. But also, it can be a reference to the cumulative view of set theory as building up more and more sets in a process that is never completed, and in this case, it may not be sensible to form sets by means of properties holding in the entire universe, as though it were completed.

  • "Each of our statements about the universe of sets can from a different perspective be seen as a statement about some $V_\alpha$." The Levy reflection theorem shows that for any assertion $\sigma(x)$, there is an ordinal $\alpha$ such that $\sigma(x)$ is true if and only if it is true in $V_\alpha$, for any $x\in V_\alpha$. That is, $\sigma$ is absolute between $V_\alpha$ and $V$. Going a bit beyond this, consider the theory denoted "$V_\delta\prec V$", which asserts, in the language with a constant for $\delta$, that $\forall x\in V_\delta\, [\varphi(x)\iff \varphi^{V_\delta}(x)]$. This is the scheme asserting that $V_\delta$ is an elementary substructure of the universe. Although some set theorists are surprised to hear it, this scheme is equiconsistent with ZFC, and any model $M$ of set theory can be elementarily embedded into a model of this theory. (This is done by a simple compactness argument; one writes down the theory $V_\delta\prec V$ plus the elementary diagram of $M$, and observes that the reflection theory shows that it is finitely consistent.) Finally, note that in a model of $V_\delta\prec V$, every sentence can be viewed as an assertion about $V_\delta$, rather than about $V$, since they have exactly the same theory.

  • "Is the first order theory of $V$ determinate?". This question is asking whether there is a fact of the matter in regard to our set-theoretic questions. For example, does it make sense to say that there is ultimately an answer to the question of whether the Continuum Hypothesis is really true? Or whether large cardinals exist? This question is connected in my mind with issues about whether there is a unique structure that we are investigating when we do set theory---the universe $V$ of all sets---or is there instead a multiverse of possibilities? In other words, is there a final truth of the matter in set theory, or is set theory instead something more like geometry, having a plethora of diverse Euclidean and non-Euclidean worlds? In the slides for my talk at the same conference, I explore the multiverse view in detail.

  • "Are there levels of the hierarchy whose first order theories are indeterminate? What is the lowest such level?" Some set theorists may view questions about the Continuum Hypothesis to be a source of indeterminateness, in the sense that there is no fact of the matter about CH. But CH is a statement expressible in $H_{\omega_2}$, or alternatively in $V_{\omega+2}$. Martin is asking whether we might expect indeterminateness at lower levels. In his talk at the workshop you mention, I recall him saying that he found it unacceptable to think that there would be indeterminateness arising at the level of $V_\omega$, and that arithmetic truth was absolute in some very strong sense.

  • "There are many examples of proofs of a statement about one level of the hierachy that use principles about a higher level." This is referring to the fact that mathematicians routinely use higher level objects in order to make conclusions about lower level objects. For example, one might use infinite objects (such as automorphisms of field extensions) in order to make conclusions about finite objects, or very large function spaces or ultrafilters in order to make conclusions about a lower level object. Part of Martin's point was the philosophical concern that if there is indeterminism about features of the higher level objects, then they might seem unsuited for this purpose.

share|improve this answer
3  
I remember also an argument that he made or considered (and I've heard him make this argument in other forums) that any two instantiations $V$ and $\bar V$ of the full set concept must agree; the idea is that one inductively shows that they agree at every level of the hiearchy, essentially since if they agree up to $V_\alpha$ and each is claiming to have all of the subsets of $V_\alpha$, then they agree up to $V_{\alpha+1}$. –  Joel David Hamkins Apr 30 '11 at 16:28
    
Thank you vey much, Joel. Do you know where could I read more about $V_\delta\prec V$ and its properties? Also, I have googled for Martin's articles and the most recent that I have found is "Multiple Universes of Sets and Indeterminate Truth Values" (2001). –  Marc Alcobé García Apr 30 '11 at 18:07
2  
I use the axiom $V_\delta\prec V$ in my article on the Maximality Principle (J. D. Hamkins, "A simple maximality principle," Journal of Symbolic Logic, vol. 68, pp. 527--550, June 2003), where I give a brief account of it. It is necessary in the forcing construction that is used to obtain the Maximality Principle. Also, I believe that Solomon Feferman has used this axiom in some of his work, in order to provide an alternative weaker foundation for the use of universes in category theory. One can have a whole proper class club of such $\delta$, still just with consistency strength ZFC. –  Joel David Hamkins Apr 30 '11 at 18:52
    
Joel, as usual a very informative and interesting answer. As for your first comment, what do you mean by "full set concept"? –  Asaf Karagila Apr 30 '11 at 19:46
    
I suppose that something counts as an instantiation of the full set concept if its powersets contain every conceivable subset (if this really means something), but also if it contains every conceivable ordinal (again, if this really means something). –  Marc Alcobé García Apr 30 '11 at 20:08
show 4 more comments

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.