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:
“When the masculine mystique is pulling boys and men out into the world to growl manly noises at one another, the only power with a stronger pull on the male psyche is maternally induced guilt. The guilt is quite necessary for our moral development, but it is often uncomfortable.”
—Frank Pittman (20th century)
“An expense of ends to means is fate;Morganization tyrannizing over character. The menagerie, or forms and powers of the spine, is a book of fate: the bill of the bird, the skull of the snake, determines tyrannically its limits.”
—Ralph Waldo Emerson (1803–1882)