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:
“O, my offense is rank, it smells to heaven;
It hath the primal eldest curse upon ‘t,
A brother’s murder. Pray can I not,
Though inclination be as sharp as will;
My stronger guilt defeats my strong intent,
And like a man to double business bound
I stand in pause where I shall first begin,
And both neglect. What if this cursed hand
Were thicker than itself with brother’s blood,
Is there not rain enough in the sweet heavens
To wash it white as snow?”
—William Shakespeare (1564–1616)
“The idea which man forms of beauty imprints itself throughout his attire, rumples or stiffens his garments, rounds off or aligns his gestures, and, finally, even subtly penetrates the features of his face.”
—Charles Baudelaire (1821–1867)