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:
“When I am on a stage, I am the focus of thousands of eyes and it gives me strength. I feel that something, some energy, is flowing from the audience into me. I actually feel stronger because of these waves. Now when the play’s done, the eyes taken away, I feel just as if a circuit’s been broken. The power is switched off. I feel all gone and empty inside of me—like a balloon that’s been pricked and the air’s let out.”
—Lynn Fontanne (1887–1983)
“I am not so foolish as to declaim against forms. Forms are as essential as bodies; but to exalt particular forms, to adhere to one form a moment after it is outgrown, is unreasonable, and it is alien to the spirit of Christ.”
—Ralph Waldo Emerson (1803–1882)