Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Can you briefly explain why (i)&(iii) imply AC?
Assuming that, there is a way in which every result of ordinary mathematics holds in . Although need not be well-pointed, it is (like every topos) internally well-pointed, and it satisfies the internal axiom of choice (since this is implied by the external axiom of choice), so internally it’s a model of . And one definition of ‘ordinary mathematics’ is whatever can be formalised in .
I don’t know that there’s a reference for this definition of ‘ordinary mathematics’, although there is literature where people tout and say, using various terminology, that essentially all of mathematics can be formalised in it. Ultimately, there is no accepted definition of that term.
In at least one sense the claim is false: for example, it is possible that the “real” satisfies the continuum hypothesis, but by Cohen forcing, one can build a (Grothendieck) topos satisfying your conditions (i) – (iii) in which the continuum hypothesis fails. Thus what is true in the sorts of toposes you are considering is not merely a function of what is true in the “real” set-theoretic universe.
As for “ordinary mathematics”, Friedman [1971] showed that Borel determinacy (a theorem of ZFC) is not provable in Zermelo set theory with choice. It is known that the category of sets in a model of Zermelo set theory with choice is a model of ETCS and hence is an elementary topos satisfying your conditions. Of course, you might protest that Borel determinacy is not “ordinary mathematics”; personally, I am inclined to agree: I don’t even understand what it says! (That probably says more about my undergraduate education than anything important.)
As for being internally well pointed: for all objects , in an elementary topos, the following formula
where and are free variables of type , is true in the internal logic of that topos.
Hey Zhen Lin,
plenty of good replies. (I also liked your recent comment on toposes here on MO a lot!)
Once apon a time we had this idea that we would not be like MO and other sites here and just throw away good replies just like that, but that instead whenever a little gem of insight was obtained, we’d archive it on the nLab. Or even reply by writing something in an nLab article in the first place.The point being that this way the answer is contained better in a wider web of material and more likely to be found by and be useful to others later.
In short, what I am trying to say is: feel invited to write some of the good stuff that you are posting into some nLab entry or other!
@Zhen
the “real” set-theoretic universe
what is that?
Whatever it means in ordinary mathematical practice. It doesn’t have to be ZFC, but it had better support what we do!
So the relevant question (as I see it) about Zhen Lin's ‘“real” set-theoretic universe’ is whether ordinary mathematics depends on the truth of CH etc. (And I would say No, but some set theorists, at least, might disagree.)
1 to 9 of 9