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:
“He made all these and more,
Made all we see; and us, in spite: how else?
He could not, Himself, make a second self
To be His mate: as well have made Himself:
He would not make what He mislikes or slights,
An eyesore to Him, or not worth His pains;
But did, in envy, listlessness, or sport,
Make what Himself would fain, in a manner, be—
Weaker in most points, stronger in a few,
Worthy, and yet mere playthings all the while,
Things He admires and mocks too,—”
—Robert Browning (1812–1889)
“From the war of nature, from famine and death, the most exalted object which we are capable of conceiving, namely, the production of the higher animals, directly follows. There is grandeur in this view of life, with its several powers, having been breathed into a few forms or into one; and that, whilst this planet has gone cycling on according to the fixed law of gravity, from so simple a beginning endless forms most beautiful and most wonderful have been, and are being, evolved.”
—Charles Darwin (1809–1882)