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:
“For the “superior morality” of which we hear so much, we too would desire to be thankful: at the same time, it were but blindness to deny that this “superior morality” is properly rather an “inferior criminality” produced not by greater love of Virtue, but by greater perfection of Police; and of that far subtler and stronger Police, called Public Opinion.”
—Thomas Carlyle (1795–1881)
“No rent-roll nor army-list can dignify skulking and dissimulation: and the first point of courtesy must always be truth, as really all the forms of good-breeding point that way.”
—Ralph Waldo Emerson (1803–1882)