## A Short Excursion to Cantor’s Paradise

What follows is a (possibly quite imperfect, but if so it’s only my fault) translation of Joan Bagaria’s popular exposition, originally written in Catalan, *Una petita excursió al paradís de Cantor*, posted here with the author’s permission.

### A Short Excursion to Cantor’s Paradise

Joan Bagaria

**1. Introduction.**

On 4 June 1925, at a meeting of the Mathematical Society of Westphalia in honor of Karl Weierstrass, David Hilbert (1862-1943) gave his famous lecture *On the infinite*. In it, after recalling the crucial role of Weierstrass in the elimination of the vague ideas derived from the notion of infinitessimal and the consequent creation of a solid foundation for the calculus, he reminds that the *infinite* still plays a key role in mathematical analysis. Indeed, the infinite already appears in the definition of real numbers as infinite convergent sequences of rational numbers, and in the very notion of the set of real numbers. For Hilbert, to complete the foundation of mathematical analysis it is necessary to clarify the notion of actual infinity. In fact, Hilbert says:

*The definitive clarification of the* nature of the infinite*, instead of pertaining just to the sphere of specialized scientific interests, is needed for the* dignity of the human intellect itself.

In mathematical analysis the infinite appears as a limit notion, that is, the *potential infinite*. But this is not the real infinite, the infinite that we have when we consider, for example, the totality of natural numbers, or the totality of points of a line as a given and complete object. This is what we call the *actual infinite*. The mathematical discipline that deals with the actual infinite is set theory, which has its origins in the theory of transfinite numbers of Georg Cantor (1845-1918). This theory is, says Hilbert:

*…the most admirable flower of the mathematical intellect and in general one of the highest achievements of purely rational human activity*.

Here we are going to explore some of the most fascinating features of set theory. We will start with its origins in Cantor’s work, and its axiomatic formulation of Zermelo-Fraenkel with the axiom of choice. We will see how all mathematical objects: numbers, functions, groups, topological spaces, etc. are, in fact, sets, and how all mathematical activity of theorem proving can be reduced, formally, to making deductions in first-order logic from the axioms of set theory. This way set theory constitutes the standard model of mathematics. This allows us to make metamathematics, that is, to study mathematically mathematics itself. Set theory is, primarily, a theory of the infinite sets. We will thus see how far the succession of Cantor’s infinite numbers, the alephs, can go, from the first infinite number , which measures the quantity of natural numbers, to the large cardinals: the inaccessible, measurable, strong, Woodin, supercompact, etc. We will show how theorems about the real numbers can be proved by playing infinite games, and how the existence or not of large cardinals determines what can or cannot be proved. We will also see how apparently paradoxical situations can take place in mathematics, for example, how a sphere can be broken in 5 pieces and, after joining them back, have two spheres equal to the previous one. We will explain how objects can be added to the mathematical universe by Cohen’s forcing method and, this way, prove that something cannot be proved. As an example, we will explain why the famous Cantor’s Continuum Hypothesis, formulated in 1878, has not been resolved yet and why we do not know how many real numbers there are.

**2. The origin of set theory. Cantor.**

In 1874, Cantor proved that the set of algebraic real numbers is countable, that is, bijectable with . The algebraic real numbers are the real solutions of the equations with the form:

where the coefficients are integers. Given an equation like the previous one, let its *index* be the natural number

It is clear that for every there is only a finite number of equations of index . For example there is only one equation of index : , which has as a solution. Four equations of index : , , and , which have as solutions , and , etc. Therefore, we can enumerate all algebraic numbers according to the index of the equation of which they are solutions, and, for a single equation, in increasing order.

Hence, the sets of natural numbers, integers, rational and algebraic numbers, are all countable and, consequently, mutually bijectable.

On the other hand, and surprisingly, Cantor showed that the set of points in the interval cannot be enumerated. Let us see a simple proof: suppose that and were bijectable. Each of has a binary representation, that is, a function such that

Since each of has at most two different binary representations, we would have a bijection . Now let such that

iff

Then, for every . But this is impossible, because every function belongs to the range of .

Cantor also proved that , , and even are mutually bijectable and with . *I see it, but I don’t believe it!* Cantor wrote. All these sets are, hence, nondenumerable.

This way, Cantor, for the first time in history, discovered that there were at least two kinds of infinity: the countable infinite, and the uncountable infinite.

From 1878 to 1883 Cantor published a series of works that constitute the origin of set theory. In them he introduces the notion of transfinite, or infinite, ordinal. When we count with natural numbers, what we do is assign a number to each object we are counting, and we do this in an ordered way, respecting the order of natural numbers. When we finish counting, we obtain one number, the last one, that tells us how many objects we have. But by counting we are also ordering the objects that we count according to the order of natural numbers. Therefore, the natural numbers are at the same time cardinal numbers, that is, they denote a quantity, and ordinal numbers, that is, they denote order. But if we want to count real numbers, we will have exhausted all natural numbers before counting them all. Nothing precludes, however, from introducing ordinal infinite numbers and continue counting. For this, we need an ordinal number indicating the order that is obtained when natural numbers are finished. Cantor called this number . Ordinal numbers start then, according to Cantor, like this:

etc.

We now have available more ordinals to continue counting after the natural numbers have been exhausted. An important observation, however, must be made: in the case of infinite numbers the notion of ordinal and cardinal do not coincide. For example, and are different ordinals, but the same cardinal corresponds to both of them: and are both denumerable, in the sense that if we have two sets and such that has elements and has , then and are bijectable with . Actually, each one of the infinite ordinals we have described is countable and, therefore, the same cardinal, the cardinal of , which Cantor represented by , corresponds to them.

Cantor called *numbers of the second class* those infinite ordinal numbers obtained from by means of the processes of adding one unit and passing to the limit, and such that the set of all their predecessors is a countable set. All of the infinite ordinals described above are numbers of the second class.

Cantor discovered, however, that the set of numbers of the second class is not countable and that, in fact, the cardinal that corresponds to it is the next infinite cardinal, . Thus we have the first two infinite cardinals: , which is the cardinal of and coincides with the ordinal , and , which is the cardinal of the set of numbers of the second class.

This process can be repeated over and over again, that is, we can consider the ordinal corresponding to the set of ordinals of the second class, that Cantor represented by , and we can define the ordinals of the third class as those obtained by the processes of adding one unit and passing to the limit, and such that the set of their predecessors is of cardinality , that is, bijectable with the set of numbers of the second class. To the set of ordinals of the third class corresponds the next infinite cardinal , etc. This way are obtained the transfinite cardinals:

where for each ordinal we have a cardinal .

In 1885 Cantor suffered his first mental crisis, due mostly to the attacks of Leopold Kronecker (1823-1891) to the new theory of sets, and to his attempts to forestall the publication of Cantor’s works. To this crisis also contributed, doubtlessly, Cantor’s unsuccessful endeavor to resolve the *Continuum Hypothesis*, a hypothesis he had formulated as soon as 1878, and which says that every infinite set of real numbers is either enumerable or bijectable with the continuum . As a previous step, Cantor had conjectured and tried to prove that every set, and particularly the set of real numbers, can be well-ordered, that is, it can be totally ordered in such a way that every non-empty subset has a minimal element. This is known as the *Well-Ordering Principle*. Every well-ordered set can be counted, that is, it can be put in one-to-one correspondence with an initial segment of the ordinal numbers. If we accept this principle, the Continuum Hypothesis says that the set of ordinals less than is bijectable with the set of real numbers or, in other words, that the cardinality of is the least possible, that is, . Hilbert put the Continuum Hypothesis in the first place of his famous list of problems of 1900.

**3. The paradoxes.**

In 1895 Cantor published the first volume of his work *Contributions to the founding of the theory of transfinite numbers*, and the second in 1897, where he develops the general theory of sets and expounds all the theory of transfinite ordinals and cardinals. But the same year 1897 Cesare Burali-Forti (1861-1931) published a paradox of the theory of sets, a paradox that Cantor had also discovered. It appears at considering the set ON of all ordinals. To this set corresponds an ordinal number which should be a member of ON and at the same time greater than all the members of ON. In a letter to Dedekind in 1899, Cantor solves the paradox by making a distinction between what he calls consistent multiplicities, which are sets, and inconsistent multiplicities, like the class of all ordinals, which lead to inconsistencies or paradoxes if they are considered as a set.

That the notion of arbitrary set was problematic was revealed in 1902 by the famous paradox of Bertrand Russell (1872-1970): Let be the set of all sets which are not member of themselves. Then, if belongs to , it does not belong to , and if it does not belong to , then belongs to . The conclusion is that cannot then be a set.

It follows that the set of all ordinals, the set of all sets that are not members of themselves, or the universal set, or the set of all sets, do not exist!

Clearly, then, it was necessary to establish in a precise manner which are the criteria of formation of arbitrary sets. An axiomatization of the theory of sets was needed in order to avoid the paradoxes or contradictions derived from considering inconsistent multiplicities as sets. *No one shall drive us out of the paradise which Cantor has created for us*, said Hilbert in his 1925 conference.

**4. The axiomatic theory of sets.**

The first axiomatization of the theory of sets was due to Ernst Zermelo (1871-1953) and published in 1908. Zermelo had already proved Cantor’s Well-Ordering Principle using what is now known as the *Axiom of Choice*, an axiom which, actually, is equivalent to the Well-Ordering Principle.

Zermelo’s axiomatization was subsequently enhanced by A. Thoralf Skolem (1867-1963) and A. Abraham H. Fraenkel (1891-1965) and has become what is known as the theory of sets of Zermelo-Fraenkel (ZF) with the Axiom of Choice, or ZFC.

The axioms of ZFC can be seen as a description of of the universe of all pure sets. This universe forms a well-ordered and cumulative hierarchy, indexed by the ordinal numbers, starting with 0. That is, let

, the empty set.

, the set of all subsets of .

, the union of all , less than , if is a limit ordinal.

The universe of all sets is the union of all :

.

The axioms of ZFC are the following:

(1) **Extensionality.** If two sets have the same elements, they are equal.

(2) **Power Set.** Given a set , there is a set which has as members all the subsets of .

(3) **Union.** Given a set , there is a set which has as members all the members of the members of .

(4) **Infinity.** There is an infinite set.

(5) **Axiom of Substitution.** Every definable function which has a set as its domain, has also a set as its range.

(6) **Regularity.** Every set belongs to .

(7) **Axiom of Choice (AC).** The Well-Ordering Principle, that is, every set can be well-ordered.

The axioms of ZFC are specially designed to build . For example, the axiom of substitution serves to be able to continue in the limit stages, that is, to put together in one set all the , less than , in order to be able to apply the union axiom and this way obtain . In ZFC, the ordinals are identified, according to the definition of John Von Neumann (1903-1957), with the set of all their predecessors. So, , , …, , …, , , etc. The cardinal numbers are those ordinals that are not bijectable with any of their elements. So, , , …, , …, , etc. AC states that every set can be well-ordered and, therefore, is bijectable with a cardinal.

In axiomatic set theory, these axioms are formulated in a precise way, using the formal language of first-order logic with one non-logical symbol only, the symbol , which represents the membership relation. For example, in this formal language, the axiom of extensionality is written like this:

This formalization is particularly necessary to be able to formulate correctly the axioms of substitution, since we need to precise first what we mean by *definable*. What we understand is: * definable by a formula of the formal language*. Thus, we have an infinity of axioms of substitution, one for each formula of the formal language.

**5. Set theory and the foundation of mathematics.**

ZFC enables not only to develop all the theory of transfinite numbers of Cantor, but also, as a theory maximally general and abstract, based in the fundamental notion of arbitrary set, to develop all of classical mathematics. This means that all mathematical objects can be seen as sets, and that all mathematical theorems can be proved from ZFC by means of the usual logical derivation rules, which in turn are formalizable in the formal language of set theory.

The natural numbers are the finite ordinals. The binary relations in a set are identified with sets of ordered pairs of members of that set. For example, the relation of divisibility between natural numbers is identified with the set of all ordered pairs of natural numbers such that divides . The ordered pair is nothing more than the set . The integers are built as equivalence classes of ordered pairs of natural numbers, and the rationals as equivalence classes of ordered pairs of integers. The real numbers are just Dedekind cuts, which are non-empty sets of rationals bounded and closed under predecessors. The -ary functions are only a special kind of -ary relations where we identify the function with the set of ordered -tuples such that . A topological space is merely a set with a topology, which is a set of subsets of closed under arbitrary unions and finite intersections, etc.

Let us take any classical theorem, for example, Bolzano’s theorem which says that if are real numbers, is continuous, and , then there is a such that . We have just observed that all mathematical objects appearing in this theorem can be seen as sets, and the basic properties of these objects can be proved formally from ZFC, for example, the continuity of real numbers. Hence, the usual proof of the theorem can be seen as a formal proof, through the application of the rules of first-order logic, starting from ZFC. Of course, to write a complete proof using the formal language is both difficult and unwise for practical reasons, since the proof would be not only extremely long but also intuitively incomprehensible. What matters here, however, is to see that this is, in principle, possible.

The fact that all classical mathematics can be formulated and developed within the ZFC axiomatic set theory makes possible metamathematics, that is, the mathematical study of mathematics itself. Questions as proving mathematically the possibility or impossibility to prove or not a mathematical statement make now full sense, if we understand by mathematical statement a formal statement of set theory and as a mathematical proof a formal proof from ZFC.

**6. Undecidable statements. Gödel’s incompleteness theorems.**

Let be a mathematical statement. We can ask ourselves whether is true or not. But in mathematics, *true* means *provable*. The truth of a statement is established by means of a proof from basic principles or axioms. How can we, then, know if is provable? If there exists a proof of , then we will have to find it. But, what if it does not exist? How could we know that there is no proof of ? One way would be finding a proof of the negation of . This would tell us that there cannot be any proof of , unless mathematics was inconsistent! But, what if the negation of was not provable either? Then would be *undecidable* or *independent* of the axioms.

Gödel proved in 1931 his famous incompleteness theorems. The first of them says that in any consistent formal system allowing to develop basic arithmetic there are undecidable statements, statements such that neither they nor their negations are provable in the system. In particular, there are statements in the formal language of set theory that are neither provable nor refutable from the axioms of ZFC, assuming, of course, that ZFC is consistent.

Is ZFC consistent? The second Gödel’s incompleteness theorem, even more surprising than the first one, tells us that in any consistent formal system allowing to develop basic arithmetic, one undecidable statement is just the one that states the system’s own consistency. That means that if ZFC is consistent, then we cannot prove its consistency from the axioms of ZFC. The statement that asserts the consistency of ZFC, let us call it CON(ZFC), is the statement:

* is not provable in ZFC*

This is an arithmetic statement, since it says that the succession of symbols is not the last step of any proof from ZFC, and symbols, statements and proofs alike can be easily codified by finite sequences of natural numbers. The conclusion is then that, in any axiomatic formal theory that contains ZFC and is consistent, there will always be undecidable arithmetic statements.

ZFC is nowadays accepted as the standard formal system in which mathematics is developed. This means that a mathematical statement is a theorem, it is *true*, if it is provable in ZFC. But what happens with undecidable statements? If all undecidable statements where of the kind of CON(ZFC), this would not worry us much, since they do not seem to affect directly the kind of mathematical problems one usually considers. But, for better or worse, this is not the case. As we will see below, there are many natural mathematical statements that are not decidable in ZFC.

Given a mathematical statement, we have, hence, three possibilities: that it is provable in ZFC, that its negation is provable in ZFC or that it is undecidable in ZFC. But, how could we manage to see that a mathematical statement is undecidable? This is possible due to the fact that ZFC is a first-order formal theory, and that Godel’s first-order logic completeness theorem tells us that to see that a statement is not provable in ZFC we only need to find a *model* of ZFC where is false. A model of ZFC is an ordered pair where is a non-empty set, is a binary relation in , and all the axioms of ZFC are true in , interpreting the elements of as sets and as the membership relation. So, if we could find models and of ZFC such that is true in and false in , this would mean that is undecidable.

Note that one consequence of Gödel’s second incompleteness theorem is that it is not possible to prove in ZFC the existence of a model of ZFC, for the existence of a model of ZFC is equivalent to the consistency of ZFC. Hence, when we talk about models of ZFC we are assuming that ZFC is consistent. The completeness theorem states, precisely, that ZFC is consistent if and only if it has a model.

One of the most surprising results of the mathematics of the 20th century is that Cantor’s Continuum Hypothesis is undecidable.

**7. The Continuum Hypothesis I.**

Let us recall that the Continuum Hypothesis says that every infinite set of real numbers is either enumerable or bijectable with . In ZFC, since we have the Well-Ordering principle as an axiom, the Continuum Hypothesis is equivalent to state that the cardinality of is .

In 1938, Gödel constructed a model of ZFC where the Continuum Hypothesis is valid. This is the so called *Gödel’s Constructible Universe* and is represented by the letter . is constructed like , but just as to pass from to we took *all* the subsets of , now to pass from to we only take those subsets of that are *definable* in . To construct we do not need to make use of the Axiom of Choice (AC), but once constructed it can be verified that AC is valid in . This shows, then, that if ZF is consistent, then ZFC is also consistent, and that, hence, we can make use of AC without fear of introducing any contradiction in ZF. That the Continuum Hypothesis is valid in is due to the fact that to only belong the strictly necessary sets, and, hence, being the smallest possible model of ZFC, in it the cardinality of is the smallest possible, .

Since the Continuum Hypothesis is valid in , and is a model of ZFC, this means that it cannot be proved in ZFC the negation of the Continuum Hypothesis, for if this was possible, then the Continuum Hypothesis would be false in all models of ZFC.

After Gödel’s result, and in view of the various fruitless attempts to prove the Continuum Hypothesis in ZFC, the idea that maybe it was undecidable started to gain traction. What was necessary was to find a way to construct a model of ZFC where the Continuum Hypothesis was false. This was attained 25 years later by Paul J. Cohen (1934-2007) by means of a revolutionary method, *forcing*, for which the Fields Medal was awarded to him.

**8. Forcing.**

The *forcing* technique, invented by Cohen, is an extraordinarily flexible method of construction of models of ZFC. It allows to construct models with the most diverse properties and with a great control over the statements that will end up being true in the model that is being constructed, showing thus the consistency and undecidability of many mathematical statements.

Similarly to how we pass from a field to an algebraic extension , for example, from the field of rationals to the field , we pass from a model of ZFC to a *forcing* extension . Despite the analogy, however, the differences are enormous. The *forcing* method is of an extraordinary sophistication and technical complexity, in which combinatorial or topological, logical and metamathematical aspects alike intervene.

To give a brief idea, let us consider the case in which we want to obtain, starting from a model , a forcing extension where the Continuum Hypothesis is false. We will have to add to at least new real numbers. The first problem that we meet is that, since is a model of ZFC, we cannot prove in ZFC that there are any real numbers that are not yet in . Where are we going to take those new reals we want to add from? To simplify the problem, let us suppose by now that we want to add only one new real, and to simplify it even more, that what we want to add is the binary representation, that is, an infinite sequence of zeroes and ones. The idea is to work with the set of finite approximations to the infinite sequence of zeroes and ones that we want to add. Ordering the finite sequences in a natural way what we have is the full binary tree, and the infinite sequence that we want to add is just an infinite branch of that tree. The question is to find a branch that does not belong to . This is going to happen if that branch is what is called *generic* over , which means that it intersects all open dense subsets of the binary tree, with the order topology, that belong to . But how could we find a generic branch over ? The answer is that there are going to be if is countable! But how could be countable if it is a model of ZFC, and in ZFC we have shown that there are uncountable sets, like the set of real numbers? The answer is given by the Löwenheim–Skolem theorem, which says that for every model of ZFC there is another one which is countable and satisfies exactly the same statements. Hence, we can assume that is countable, and take a branch of the binary tree that is generic over . The resulting model continues to be a model of ZFC and contains the same ordinals as . To verify all of this is not trivial at all, and to be able to do it one needs the *forcing* relation, represented by , between the approximations to the generic branch and the formulas of the language of set theory with names for the elements of the generic extension . The *Forcing Theorem* says that a statement is valid in if and only if there is a finite approximation such that . But to make the Continuum Hypothesis fail, we need to add at least new generic branches over . This is done in a similar way, but simultaneously with copies of the full binary tree. There is one last difficulty, and it is that we have to make sure that when we add the new branches, the cardinal of will continue to be the of the generic extension. It could happen, and in fact it happens very frequently, that some cardinals of the model M are not yet cardinals of the generic extension. Fortunately, in this case it does not happen due to the topological properties of the binary tree. But to verify this, one needs once again to make us of the forcing relation .

The Continuum Hypothesis is valid in Gödel’s model , and is not valid in Cohen’s model. That is, it is independent of ZFC.

The *forcing* technique allows to add to a countable model of ZFC practically any kind of object. Moreover, it can be iterated, thus obtaining subsequent generic extensions. This way models of ZFC with very diverse properties can be constructed, allowing to prove the independence of ZFC of a large number of mathematical statements. The host of independence results obtained by means of forcing in the seventies and the seventies revealed the limitations of ZFC to give answers to many fundamental mathematical questions. It was necessary, then, to find new axioms which, added to ZFC, would allow to resolve all these questions.

**9. Large cardinals.**

As we have already seen at the beginning, the universe of all sets is defined as the union of the transfinite sequence of the . We have yet seen that cannot be a set, for then Russell’s paradox appears. But if was a set, then a cardinal, , would correspond to it, which in fact would coincide with the -th cardinal, . Moreover, would be a model of ZFC. Obviously we cannot prove in ZFC that there is a with these properties, for then, since is a model of ZFC, we would have proved in ZFC that ZFC has a model and that, therefore, it is consistent, and we have seen that this is impossible by Gödel’s second incompleteness theorem. Why do not we, then, add to ZFC the axiom that says that there is a cardinal which is the -th cardinal and such that is a model of ZFC?

This axiom was propounded in 1930 by Wacław Sierpiński (1882-1969) and Alfred Tarski (1902-1983), and is the first of the *large cardinal axioms*. A cardinal with the mentioned properties is called *inaccessible*.

Other axioms of existence of large cardinals, much more powerful than the inaccessibles, subsequently appeared all along the 20th century. The most important of them, the *measurable cardinals*, were also discovered in 1930 by Stanisław Ulam (1909-1984) (discoverer too, on the other hand, of the ignition method of the hydrogen bomb) as a consequence of his works on extensions of the Lebesgue measure.

**10. Measurable sets.**

Let us recall that a set of real numbers is Borel if it can be obtained from the open sets by taking complements and countable intersections. Let us recall, also, that a set of real numbers has measure zero, or is null, when for every there is a sequence of open intervals such that and . is *Lebesgue measurable* if it is almost a Borel set, that is, if it differs from a Borel set by a measure zero set. To every measurable set corresponds a number , its measure, which is translation invariant and -additive, that is, the measure of a countable union of measurable and pairwise disjoint sets is the sum of the measures of those sets. Moreover, the measure of an interval is its length.

In ZFC, the existence of sets of real numbers which are not Lebesgue measurable is provable. For example, the set discovered in 1905 by Giuseppe Vitali (1875-1932): let a maximal subset of with the property that for any different , is not rational. The existence of is guaranteed by the axiom of choice. In order to see that is not measurable, for every rational , consider the set . All these sets are pairwise disjoint. Let the union of all the , where is a rational in the interval latex A$ cannot have measure zero, for then would have measure zero, and this is impossible because . On the other hand, cannot have positive measure, for then would have infinite measure, and this cannot happen since .

Trivially, all Borel sets are measurable, and in 1917 Lusin proved that all continuous images of Borel sets, the so called *analytic sets*, are also measurable. Since if a set is measurable, then so is its complement, all complements of analytic sets, the so called *coanalytic sets*, are also measurable. The natural question is then if the continuous images of coanalytic sets, the so called sets, are also measurable. But the answer is undecidable in ZFC! In there are sets that are not measurable, and with *forcing* one can construct models where all sets are measurable.

The existence of sets that are not Lebesgue measurable is due to the fact that the Lebesgue measure is translation invariant. In fact, there can be no measure which extends the Lebesgue measure, is -additive and translation invariant and which measures all the sets of real numbers. The question if there might be any measure which extends the Lebesgue measure, -additive and which measures all subsets of some set , is known as *the measure problem*. Ulam proved in 1930, that if there existed a set with such a measure, then either the cardinity of would be immense or there would exist a cardinal called *measurable*, which is inaccessible, and in fact much more than inaccessible, it is the -th inaccessible, etc. The existence of measurable cardinals is, therefore, not provable in ZFC, even if we add the axiom of existence of inaccessible cardinals.

**11. More large cardinals.**

After the independence results arising from the invention of *forcing*, it was attempted to see if large cardinal axioms allowed to decide some of the questions undecidable in ZFC. Soon it was seen that large cardinal axioms did not allow to say anything new about the cardinality of , and thus did not resolve the Continuum Hypothesis. However, surprisingly, Robert M. Solovay proved in 1969 that if there is a measurable cardinal, then all sets of reals are Lebesgue measurable. What is surprising is that measurable cardinals, so far away from the real numbers in , have so much influence over the basic properties of real numbers.

In the seventies new large cardinal axioms were discovered, even much stronger than the axiom of the existence of measurable cardinals. Curiously, the existence of a measurable cardinal is equivalent to the existence of an elementary embedding (different from identity) of in the subuniverse . That is, a function

which respects every statement, i. e. if is a set and is a property definable in the formal language of set theory, then has the property in if and only if has the property in . The measurable cardinal is the so called *critical point* of the embedding, that is the first ordinal such that . A famous result of Kenneth Kunen in 1971 says that there cannot be any elementary embedding of into . But demanding that should be very similar to stronger and stronger large cardinal axioms are obtained. For example, if we demand that for each ordinal there is an elementary embedding with critical point and with , is a so called *strong* cardinal. If we demand that for each there is an elementary embedding with critical point and with every sequence of length of elements of contained in , is a so called *supercompact* cardinal, etc. The existence of a supercompact entails the existence of many smaller strong cardinals, and the existence of a strong cardinal the existence of many smaller measurable cardinals.

Which effects have the existence of very large cardinals, like the supercompact, on questions like the Lebesgue measurability of sets of real numbers?

**12. The Banach-Tarski Paradox.**

In 1924, Stefan Banach (1892-1945) and Alfred Tarski, based on a theorem of Felix Hausdorff (1862-1943) from 1914, proved the following theorem, known as the Banach-Tarski Paradox:

*There is a partition of the unit ball of , in 5 pieces , and there are isometries such that*

In other words, it is possible to partition the unit ball in 5 pieces in such a way that after reassembling them we have two balls equal to the original (!). Actually, given any two bounded sets and with non-empty interior, of the three-dimensional space , can be partitioned in a finite number of pieces and reassembled by rigid moves in such a way that they form .

How is it possible that this can be done? Is this not clearly false? The reason why this can be done is that not all pieces are Lebesgue measurable! In the definition of the pieces AC is used in an essential way. The Banach-Tarski theorem is possibly the most anti-intuitive consequence of AC. Yet, this axiom continues to have a fundamental, and (almost) universally accepted by the mathematical community, role. A big part of current mathematics would be impossible without the axiom of choice. The anti-intuitive consequences of AC are due to the fact that the axiom states the existence of sets that are not explicitly definable. For example, it states that there is a well-order of , but, which is this order, is there any way to define it? AC allows us to partition in non-measurable pieces. But how are these pieces? Can they be explicitly defined? As we are going to see, the answer is no, if supercompact cardinals exist!

**13. Determinacy.**

An efficient way of proving that a set of real numbers has a certain property is by playing infinite games. Given , we can play the following *game* associated to : there are two players Adam and Eve, who play alternatively . Adam plays , then Eve plays , next Adam plays , and so on. A game looks like this:

At the end of the game, the players have produced an infinite sequence of zeroes and ones. Adam wins the game if

and otherwise Eve wins.

The game is *determined* if one of the players has a winning strategy. That is, if there is a function that assigns or to each finite sequence of zeroes and ones, in such a way that if one of the players, let us say Eve, plays according to this function, always playing in the k-th turn, then she wins the game independently of what Adam plays. We say that the set is determined if the game associated with A is determined.

In ZFC it can be proved that there are non-determined sets. But Donald Martin proved in 1975 that every Borel set is determined, and if a measurable cardinal exists, then every analytic set is determined.

**14. Projective sets and descriptive set theory.**

The *projective* sets of real numbers are those obtained from Borel sets by taking complements and continous images. The analytic, coanalytic and sets are, hence, projective. The projective sets form a hierarchy of increasing complexity, in terms of the number of necessary steps to obtain them from the Borel sets. The study of the properties of projective sets, like their Lebesgue measurability, constitutes the core of the so called *descriptive set theory*. If we want to prove that the sets of real numbers have a certain property we can do it by first proving it for the Borel sets, then for the analytic, then for the conanalytic, then for the , etc. up till proving it for all of the projective sets. Since all sets of real numbers appearing normally in mathematical practice are projective, the ability to prove that they have certain properties is of great interest. Moreover, all results about projective sets of real numbers have an immediate translation to projective sets in any polish space (separable and completely metrizable), like , , separable Banach spaces, etc.

In the sixties and seventies a number of results were proved showing that practically any kind of property shared by all Borel sets, is also shared by all projective sets, assuming that all projective sets are determined. Hence, the determinacy of projective sets, although not provable in ZFC, constitutes an excellent candidate as a new axiom of set theory, since it resolves practically any question about the properties of projective sets. For example, if every projective set is determined, then all projective sets are Lebesgue measurable, there is no projective well-order of the real numbers, and if they are not enumerable, then they are bijectable with .

The axiom that says that all projective sets are determined is known by the name of *Projective Determinacy* (PD). PD implies, then, that there is no projective counterexample to the Continuum Hypothesis, that every projective set is Lebesgue measurable, and, therefore, that the pieces in which the sphere in the Banach-Tarski theorem is partitioned cannot all of them be projective. PD is considered as an axiom at the same time natural and extremely useful to resolve questions about the projective sets. Actually, W. Hugh Woodin has proved that, in some sense, PD answers all the questions about projective sets.

One of the greatest and most surprising recent developments in set theory has been proving that PD follows from the existence of large cardinals. Donald Martin and John Steel proved in 1988 that if there are infinitely many Woodin cardinals, which are between the strong and the supercompact, then PD is valid. Furthermore, W. Hugh Woodin proved that if there are infinitely many Woodin cardinals with a measurable above them all, then not only the projective sets, but all the sets of reals which are definable from real numbers and ordinals are determined. And he also proved that the existence of infinite Woodin cardinals is a necessary hypothesis to obtain the consistency of PD. These results show that large cardinal axioms, at least the existence of infinitely many Woodin cardinals, are axioms both natural and reasonable, which decide most of the questions relative to definable set of real numbers.

Despite the enormous success of large cardinal axioms to decide questions about the definable sets of real numbers, and many other questions in other areas of mathematics, there are many fundamental questions that large cardinal axioms cannot resolve. The most important of them is the Continuum Hypothesis.

**15. Forcing axioms.**

Besides the Continuum Hypothesis and the measure problem, another key problem for the development of set theory has been *Suslin’s Hypothesis*. Cantor had proved that any linear order which is dense, without extreme points, separable and complete is isomorphic to the real line. Mikhail Y. Suslin (1894-1919) conjectured that if instead of assuming that is separable we assume that it is ccc, that is, that any disjoint collection of open intervals of is countable, then is also isomorphic to . Ronald Jensen proved in 1968 that Suslin’s Hypothesis fails in . On the other hand, Robert M. Solovay and Stanley Tennenbaum constructed in 1971 a model with forcing where Suslin’s Hypothesis is valid, showing, thus, that it is undecidable in ZFC.

Based on the construction of the model of Solovay and Tennenbaum where Suslin’s Hypothesis is valid, Donald A. Martin isolated a new principle known as *Martin’s Axiom* (MA). This principle is equivalent to the following natural generalization of the *Baire Category Theorem*, and says that:

*In every space which is compact, Hausdorff and ccc, the intersection of open dense subsets is dense.*

It can easily be seen that MA implies the negation of the Continuum Hypothesis. MA has been used with great success to resolve many questions undecidable in ZFC. For example, it implies Suslin’s Hypothesis and that every set of real numbers is Lebesgue measurable. Even so, MA has been considered as a useful principle to prove that certain statements were consistent with ZFC, but not as an axiom.

As a culmination of a number of stronger and stronger generalizations of MA introduced in the seventies and eighties, Matthew Foreman, Menachem Magidor and Saharon Shelah discovered in 1988 the strongest possible version of MA, the so called Martin’s Maximum Axiom (MM), and proved that it was consistent with ZFC assuming that the existence of a supercompact cardinal was also consistent. MM is formulated like MA but for spaces which have a property called of preservation of stationary sets. The most surprising and interesting is that they proved that MM implies that the cardinality of is !

The question is: to what extent MA and MM are natural axioms of set theory and not only principles useful to obtain results of consistency with ZFC? For a start, they do not seem at all evident or natural principles, in the same sense as large cardinal axioms do.

**16. Generic absoluteness.**

The *forcing* method allows to construct extensions of countable models. The extensions that are obtained depend on a partial ordering , which is the partial order of the approximations to the new, or generic, object that we want to add. But we can also consider forcing, or generic, extensions of . Clearly, these are *ideal* extensions, since all sets are already in . Given a partial order , we can define the *Boolean Model* , which represents the model obtained if there was a generic extension of obtained by means of .

Given an infinite cardinal , let the set of all sets hereditarily of cardinality less than , that is, the set of all sets such that , the elements of , the elements of elements of , etc. all of them have cardinality less than . Hence, is the set of all hereditarily finite sets, and, therefore, . is the set of all hereditarily countable sets. We always have , but not the other way round. If is inaccessible, then . The also form a cumulative hierarchy, in the same way as the do, and the union of all the is .

There always is a certain degree of absoluteness between and . For example, by the Levy-Shoenfield Absoluteness Theorem we have that given an existential statement talking about sets in , if it could be made valid in a generic extension, then it would also be valid in . In other words, if by forcing we could make valid a statement that says that there is a set with certain properties which depend exclusively of sets in , then such a set already exists.

Recall that the axiom of existence of an inaccessible cardinal says that if the construction of could be continued yet one more step beyond all ordinals, then the cardinal that would be obtained, which would be an inaccessible, exists. Generalizing in a similar fashion the Levy-Shoenfield absoluteness theorem, we would say that every existential statement talking about sets in and valid in , is also valid in . That is, if by means of forcing we could make valid a statement that says that there is a set with certain properties which depend exclusively of sets in , then such a set already exists. Let us represent this assertion by

This generalization would then be a new natural axiom of set theory, if it was consistent. Unfortunately, it is not, unless we restrict the kind of generic extensions.

Now, it turns out that MA is equivalent to for every which is ccc, that is, for every in which every set of pairwise incompatible elements is countable. Therefore, MA is indeed a natural axiom of set theory. If we formulate the axiom corresponding to MM, that is, for every with the stationary set preservation property, then we obtain the so-called *Bounded Martin’s Maximum Axiom* (BMM).

BMM is consistent with ZFC, assuming that the existence of a supercompact cardinal is consistent. In contrast to MM, BMM is a natural axiom of set theory, of a similar kind to large cardinal axioms, but which, unlike those, decides many questions that large cardinal axioms do not resolve. As a culmination of a number of results by W. Hugh Woodin and David Asperó, Stevo Todorčević proved, only some months ago, that BMM implies that the cardinality of is . This is a remarkable result, since, for the first time, a natural extension of ZFC decides the cardinality of the continuum.

**17. The Continuum Hypothesis II.**

To conclude, we will briefly mention, and very informally, some recent results by Woodin.

The first result says that if there is a proper class of Woodin cardinals, that is, if for every ordinal there is a higher Woodin cardinal, then the theory of is generically absolute. This means that we cannot change the theory of the real numbers with forcing, and implies, for example, that every definable set of real numbers is Lebesgue measurable.

The second result says that there is an axiom, called , which is a generalization of BMM, that *practically* decides every question about , in such a way that the theory of is generically absolute. The axiom is the equivalent to PD, but for . The axiom implies that the cardinality of the continuum is .

Finally, Woodin proved in 2000 that if there is there is a proper class of Woodin cardinals, then any axiom which decides *practically every question about * in such a way that the theory of is generically absolute, necessarily must imply the negation of the Continuum Hypothesis.

The notion of *practically every question about *, to be precisely formulated, requires the introduction of a new logic, the so-called Woodin’s -logic$. The most important problem pending to be resolved about the Continuum Hypothesis is the so-called -conjecture. The formulation of this conjecture is of a highly technical character. The conclusion is if the -conjecture is true, then any set theory compatible with the existence of large cardinals and which makes the theory of generically absolute, must necessarily imply the negation of the Continuum Hypothesis.

Hence, if the -conjecture is true, then the Continuum Hypothesis is, in a very natural sense, false. The theories: ZFC plus the Continuum Hypothesis and ZFC plus its negation are not equally reasonable. Woodin’s results show that, in the presence of large cardinals, if we accept the Continuum hypothesis, then we cannot answer many questions about , and, henceforth, about sets of real numbers.

**18. Concluding remarks.**

In this little excursion to Cantor’s paradise, we have seen that set theory has experienced through the twentieth century an extraordinary development. What started as a mathematical theory of transfinite numbers, has evolved to constitute a general theory of infinite sets and a foundation for all mathematics. The techniques developed by set theory, like *forcing*, infinite combinatorics, the theory of large cardinals, etc. have turned it into a discipline of high complexity and beauty, with fascinating results which stimulate and at the same time defy imagination. 125 years after its formulation by Cantor, and 103 years after Hilber put it in the first place of his list, of problems for the twentieth century, the Continuum Hypothesis will keep on being, undoubtedly, one of the most important problems of the mathematics of the twenty-first century.

The reflection about fundamental mathematical questions has generated the theory of sets as we know it today. The very fact that it has been possible to unify all classical mathematics into one single maximally general theory, is a remarkable milestone. But, beyond any of this, the richness, originality and power of the ideas generated in set theory, make them applicable to almost all the areas of mathematics. With increasing frequency, *forcing*, large cardinals, axioms of determinacy, descriptive set theory, infinitary combinatorics, etc. find applications in the resolution of problems that had been open for many years in areas such as Topology, Algebra, Real and Complex Analysis, Functional Analysis, Measure Theory, etc. In the twenty-first century, the ideas recently introduced by Shelah, Todorcevic and, most importantly, Woodin, among others, not only will contribute to the resolution of many mathematical problems, already known or new ones that will emerge, but also will enhance substantially, as set theory has already done through the twentieth century, our understanding of the mathematical universe.