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:
“We were as twinned lambs that did frisk i’ the sun
And bleat the one at th’ other. What we changed
Was innocence for innocence; we knew not
The doctrine of ill-doing, nor dreamed
That any did. Had we pursued that life,
And our weak spirits ne’er been higher reared
With stronger blood, we should have answered heaven
Boldly “Not guilty,” the imposition cleared
Hereditary ours.”
—William Shakespeare (1564–1616)
“The government, which is the supreme authority in states, must be in the hands of one, or of a few, or of the many. The true forms of government, therefore, are those in which the one, the few, or the many, govern with a view to the common interest.”
—Aristotle (384–323 B.C.)