D
Deleted member 4993
Guest
“His method creates an ambiguity in our universe of sets,” said Hugh Woodin, a set theorist at Harvard University. “It creates this cloud of virtual universes, and how do I know which one I’m in?”
What was virtual and what was real? Which of two conflicting objects, dreamed up by different forcing procedures, should be permitted? It wasn’t clear when or even whether an object, just because it could be conceived of with Cohen’s method, really exists.
To address this problem, mathematicians posed various “forcing axioms” — rules that established the actual existence of specific objects rendered possible by Cohen’s method. “If you can imagine an object to exist, then it does; this is the guiding intuitive principle that leads to forcing axioms,” Magidor explained. In 1988, Magidor, Matthew Foreman and Saharon Shelah took this ethos to its logical conclusion by posing Martin’s maximum, which says that anything you can conceive of using any forcing procedure will be a true mathematical entity, so long as the procedure satisfies a certain consistency condition.
For all the expansiveness of Martin’s maximum, in order to simultaneously permit all those products of forcing (while satisfying that constancy condition), the size of the continuum jumps only to a conservative ℵ2— one cardinal number more than the minimum possible value.
Besides settling the continuum problem, Martin’s maximum has proved to be a powerful tool for exploring the properties of infinite sets. Proponents say it fosters many sweeping statements and general theorems. By contrast, assuming that the continuum has cardinality ℵ1 tends to yield more exceptional cases and roadblocks to proofs — “a paradise of counterexamples,” in Magidor’s words.
Martin’s maximum became massively popular as an extension of ZFC. But then in the 1990s, Woodin proposed another compelling axiom that also kills the continuum hypothesis and pins the continuum at ℵ2 but by a totally different route. Woodin named the axiom (*), pronounced “star,” because it was “like a bright source — a source of structure, a source of light,” he told me.
(*) concerns a model universe of sets that satisfies the nine ZF axioms plus the axiom of determinacy, rather than the axiom of choice. Determinacy and choice logically contradict each other, which is why (*) and Martin’s maximum seemed irreconcilable. But Woodin devised a forcing procedure by which to extend his model mathematical universe into a larger one that is consistent with ZFC, and it’s in this universe that the (*) axiom holds true.
What makes (*) so illuminating is that it lets mathematicians make statements of the form “For all X, there exists Y, such that Z” when referring to properties of sets within the domain. Such statements are powerful modes of mathematical reasoning. One such statement is: “For all sets of ℵ1 reals, there exist reals not in those sets.” This is the negation of the continuum hypothesis. Thus, according to (*), Cantor’s conjecture is false. The fact that (*) lets mathematicians conclude this and assert many other properties of sets of reals makes it an “attractive hypothesis,” Schindler said.
With two highly productive axioms floating around, proponents of forcing faced a disturbing surplus. “Both the forcing axiom [Martin’s maximum] and the (*) axiom are beautiful and feel right and natural,” Schindler said, so “which one do you choose?”
If the axioms contradicted each other, then adopting one would mean sacrificing the other’s nice consequences, and the judgment call might feel arbitrary. “You would have had to come up with some reasons why one of them is true and the other one is false — or maybe both should be false,” Schindler said.
Instead, his new work with Asperó shows that Martin’s maximum++ (a technical variation of Martin’s maximum) implies (*). “If you unify these theories, as we did,” Schindler said, “I would say that you can take it as a case in favor of: Maybe people got something right.”
Asperó and Schindler were young researchers together at an institute in Vienna 20 years ago. Their proof germinated several years later, when Schindler read a manuscript, handwritten as usual, by the set theorist Ronald Jensen. In it, Jensen invented a technique called L-forcing. Schindler was impressed by it and asked a student of his to try to develop it further. Five years later, in 2011, he described L-forcing to Asperó, who was visiting him in Münster. Asperó immediately suggested that they might be able to use the technique to derive (*) from Martin’s maximum++. (continued)
What was virtual and what was real? Which of two conflicting objects, dreamed up by different forcing procedures, should be permitted? It wasn’t clear when or even whether an object, just because it could be conceived of with Cohen’s method, really exists.
To address this problem, mathematicians posed various “forcing axioms” — rules that established the actual existence of specific objects rendered possible by Cohen’s method. “If you can imagine an object to exist, then it does; this is the guiding intuitive principle that leads to forcing axioms,” Magidor explained. In 1988, Magidor, Matthew Foreman and Saharon Shelah took this ethos to its logical conclusion by posing Martin’s maximum, which says that anything you can conceive of using any forcing procedure will be a true mathematical entity, so long as the procedure satisfies a certain consistency condition.
For all the expansiveness of Martin’s maximum, in order to simultaneously permit all those products of forcing (while satisfying that constancy condition), the size of the continuum jumps only to a conservative ℵ2— one cardinal number more than the minimum possible value.
Besides settling the continuum problem, Martin’s maximum has proved to be a powerful tool for exploring the properties of infinite sets. Proponents say it fosters many sweeping statements and general theorems. By contrast, assuming that the continuum has cardinality ℵ1 tends to yield more exceptional cases and roadblocks to proofs — “a paradise of counterexamples,” in Magidor’s words.
Martin’s maximum became massively popular as an extension of ZFC. But then in the 1990s, Woodin proposed another compelling axiom that also kills the continuum hypothesis and pins the continuum at ℵ2 but by a totally different route. Woodin named the axiom (*), pronounced “star,” because it was “like a bright source — a source of structure, a source of light,” he told me.
(*) concerns a model universe of sets that satisfies the nine ZF axioms plus the axiom of determinacy, rather than the axiom of choice. Determinacy and choice logically contradict each other, which is why (*) and Martin’s maximum seemed irreconcilable. But Woodin devised a forcing procedure by which to extend his model mathematical universe into a larger one that is consistent with ZFC, and it’s in this universe that the (*) axiom holds true.
What makes (*) so illuminating is that it lets mathematicians make statements of the form “For all X, there exists Y, such that Z” when referring to properties of sets within the domain. Such statements are powerful modes of mathematical reasoning. One such statement is: “For all sets of ℵ1 reals, there exist reals not in those sets.” This is the negation of the continuum hypothesis. Thus, according to (*), Cantor’s conjecture is false. The fact that (*) lets mathematicians conclude this and assert many other properties of sets of reals makes it an “attractive hypothesis,” Schindler said.
With two highly productive axioms floating around, proponents of forcing faced a disturbing surplus. “Both the forcing axiom [Martin’s maximum] and the (*) axiom are beautiful and feel right and natural,” Schindler said, so “which one do you choose?”
If the axioms contradicted each other, then adopting one would mean sacrificing the other’s nice consequences, and the judgment call might feel arbitrary. “You would have had to come up with some reasons why one of them is true and the other one is false — or maybe both should be false,” Schindler said.
Instead, his new work with Asperó shows that Martin’s maximum++ (a technical variation of Martin’s maximum) implies (*). “If you unify these theories, as we did,” Schindler said, “I would say that you can take it as a case in favor of: Maybe people got something right.”
Asperó and Schindler were young researchers together at an institute in Vienna 20 years ago. Their proof germinated several years later, when Schindler read a manuscript, handwritten as usual, by the set theorist Ronald Jensen. In it, Jensen invented a technique called L-forcing. Schindler was impressed by it and asked a student of his to try to develop it further. Five years later, in 2011, he described L-forcing to Asperó, who was visiting him in Münster. Asperó immediately suggested that they might be able to use the technique to derive (*) from Martin’s maximum++. (continued)