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

Kenneth Kunen in his “The Foundations of Mathematics” writes:

  1. ‘Set theory is the study of models of ZFC’ (p. 7)
  2. ‘Set theory is the theory of everything’ (p. 14)

With (1) Kunen is pointing to a change in the intended use of the axioms of ZFC: ‘there are two different uses of the word “axioms”: as “statements of faith” and as “definitional axioms”.’ (p. 6).

With (2) he means ‘set theory is all-important. That is

  • All abstract mathematical concepts are set-theoretic.
  • All concrete mathematical objects are specific sets.’ (p. 14)

According to (1), to be a set is to be any of the individuals of the universe of a particular model of ZFC, just like being a numeral (standard or not) is being any of the individuals of the universe of a particular model of PA (here I am using Shoenfield’s terminology in “Mathematical Logic”, p. 18).

But, according to (2), models are sets too, as any other objects dealt with in the metatheory.

What's more, models of set theory are defined in terms of relative interpretations of set theory into itself, a syntactical concept. (See Kunen’s “Set Theory. An Introduction to Independence Proofs”, p. 141), which makes the whole thing a bit more confusing.

The view of the axioms of set theory as "definitional axioms" is appealing. And more in regard of (2) since then they pretend to define all that there is. The study of models of set theory has an intrinsic interest, but why reduce the study of set theory to it? Or stated another way, why abandoning the old view?

I would like to know if set theorists do stick to one view or another or shift comfortably between both at need, and the reasons they have to do so.

share|improve this question
1  
Community wiki? –  Kiochi Jun 20 '10 at 18:15
2  
I don't think this has a good answer. Compare with: What do you have in mind when you look at the ring of integers? –  François G. Dorais Jun 20 '10 at 20:18
5  
Rainbows and sunshine. –  Harry Gindi Jun 20 '10 at 20:58
2  
I would just like to make a statement: set theory is not the foundation of the mathematics I do, and neither are the mathematical objects I study sets in the sense of classical set theory. There, I feel better now. –  Andrej Bauer Jun 20 '10 at 21:26
2  
Come now, François -- no question is as bad as the "integers" question! –  Pete L. Clark Jun 21 '10 at 0:12

2 Answers 2

up vote 4 down vote accepted

I highly recommend reading Andrej Bauer's excellent answer to an earlier question along the same lines. To summarize the situation in a few words: the fact that set theory is anterior to model theory does not preclude the model theoretic study of set theoretic structures. The reason for that is the same as why we can study the ring Z even though integers are conceptually anterior to abstract algebra.


I will attempt to answer your revised question as I understand it.

First, it is important to note that set theorists only rarely work with general models of ZFC, so it would be unfair to reduce set theory to the model theory of ZFC. Indeed, set theorists almost exclusively work with well-founded models of (fragments of) ZFC. In fact, the models that set theorists consider are usually of the form (M,∈) where M is a set and ∈ is the true membership relation. While model theoretic ideas play a very important role in set theory, this is very different from how a model theorist would approach models of a given theory.

Second, the language commonly used by set theorists is designed to accomodate multiple philosophical views and focus on the mathematical ideas. When dealing with forcing, set theorist often use a lingo popularized by Baumgartner. In this lingo, one talks of the generic extension V[G] as an object of the same level and equally tangible as the set theoretic universe V. This is easily translated in the multiverse view, but it is just as easy to think of this as no more than a linguistic convenience: set theorists who prefer working with countable transitive models à la Kunen can mentally replace V by such a model M and interpret the words as those of an inhabitant of M; set theorists who prefer working with boolean valued models à la Jech can simply interpret the generic filter G as a convenient abstraction; set theorists who prefer the formal approach can translate the lingo into purely syntactic arguments; etc. In my case, none of these translations ever take place, but I do hold the possibilities in a safe place for comfort.

In conclusion, my advice is to focus on the mathematics and use models as tools just like any other mathematical object.

share|improve this answer
    
I have restated my question to make clear I have no problem with that, but with the idea that set theory is only the study of models of set theory. –  Marc Alcobé García Jun 21 '10 at 13:03
    
This answer is much closer to my expectations. I did not know about set theorist's lingo and its translations (it looks like this would have been helpful). Is there some reference (or a collection of them) about it? Or should I work it out myself form the standard literature on the subject? I'd be grateful if you could you expand a bit on how the approches of set theorists and model theorists diverge. Thanks a lot. –  Marc Alcobé García Jun 22 '10 at 8:29
    
I have found another Andrej's answer to another question that suits fine the kind of views I was asking for: mathoverflow.net/questions/25227/… –  Marc Alcobé García Jun 22 '10 at 10:35
    
In relation to the previous comment. Why should the existence of "just one mathematical universe" entail the rejection of model theory as a fiction? –  Marc Alcobé García Jun 22 '10 at 19:39
    
It's better to ask Andrej directly. –  François G. Dorais Jun 22 '10 at 20:12

I think the more fundamental question to ask is why set theorists insist that the axioms of set theory be strictly first-order in nature (*). I claim that you can't really explain the motivations of set theorists until you address this phenomenon.

In light of this near-universal assumption, I think it is fair to say that:

  • First-order logic is the foundation of set theory (which is in turn the foundation of other things)

  • The axioms selected for set theory are those which enable as much model theory as possible, without risking inconsistency.

The fact that one can then turn around and use model theory to study set theory itself is a major bonus, but not really a part of the foundations argument. I've heard some quasi-mystical tales about sets existing in some alternate universe out there, but I feel far more comfortable using "it lets me do model theory and hasn't led to contradictions" as a justification for the axioms.

(*) Excluding, for example, second-order quantification, the logic $L_{\omega_1,\omega}$ of countable conjunctions, or the "exists uncountably many" quantifier.

share|improve this answer
2  
Infinitary logics are often useful in model theory (e.g. Scott sentences). The issue with full second-order semantics and the "uncountably many" quantifier is that they only shift the problem. With first-order semantics, the truth definition for a structure only depends on quantifying over that structure. With stronger semantics, it can require quantifying over sets in the metatheory. For example, because we know that "is countable" is not absolute in the usual sense, it is much harder to justify as "logical" a semantics that itself references countability. –  Carl Mummert Jun 20 '10 at 21:13
    
I agree completely, but this just shifts the problem to what "in the usual sense" means. Generally, "in the usual sense" means "in first order logic", which is a circularity! It doesn't really make sense to say that non-first-order logics aren't "logical" because they let you define things which aren't first-order properties -- that should be expected! There's a hidden assumption here which equates "logical" and "first-order" which should be more explicit. By the way, my gravatar icon is a photograph of the person who discovered that countability of a model is not a first-order property. –  Adam Jun 21 '10 at 1:08
    
You may be interested in "The Road to Modern Logic-An Interpretation" by Jose Ferreiros ( jstor.org/pss/2687794 ) which directly addresses your point. –  Carl Mummert Jun 21 '10 at 2:40

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.