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 cannot be any stronger in our foreign policy—for all the bombs and guns we may heap up in our arsenals—than we are in the spirit which rules inside the country. Foreign policy, like a river, cannot rise above its source.”
—Adlai Stevenson (1900–1965)
“While waiting to get married, several forms of employment were acceptable. Teaching kindergarten was for those girls who stayed in school four years. The rest were secretaries, typists, file clerks, or receptionists in insurance firms or banks, preferably those owned or run by the family, but respectable enough if the boss was an upstanding Christian member of the community.”
—Barbara Howar (b. 1934)