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:
“Your Christians, whom one persecutes in vain, have something in them that surpasses the human. They lead a life of such innocence, that the heavens owe them some recognition: that they arise the stronger the more they are beaten down is hardly the result of common virtues.”
—Pierre Corneille (1606–1684)
“The poet’s eye, in a fine frenzy rolling,
Doth glance from heaven to earth, from earth to heaven;
And as imagination bodies forth
The forms of things unknown, the poet’s pen
Turns them to shapes, and gives to airy nothing
A local habitation and a name.”
—William Shakespeare (1564–1616)