Stronger Forms of Determinacy
Several set-theoretic principles about determinacy stronger than Borel determinacy are studied in descriptive set theory. They are closely related to large cardinal axioms.
The axiom of projective determinacy states that all projective subsets of a Polish space are determined. It is known to be unprovable in ZFC but relatively consistent with it and implied by certain large cardinal axioms. The existence of a measurable cardinal is enough to imply over ZFC that all analytic subsets of Polish spaces are determined.
The axiom of determinacy states that all subsets of all Polish spaces are determined. It is inconsistent with ZFC but equiconsistent with certain large cardinal axioms.
Read more about this topic: Borel Determinacy Theorem
Famous quotes containing the words stronger and/or forms:
“Do you know what Agelisas said, when he was asked why the great city of Lacedomonie was not girded with walls? Because, pointing out the inhabitants and citizens of the city, so expert in military discipline and so strong and well armed: “Here,” he said, “are the walls of the city,” meaning that there is no wall but of bones, and that towns and cities can have no more secure nor stronger wall than the virtue of their citizens and inhabitants.”
—François Rabelais (1494–1553)
“The soul of Man must quicken to creation.
Out of the formless stone, when the artist united himself with stone,
Spring always new forms of life....”
—T.S. (Thomas Stearns)