SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS

DOI10.1073/pnas.59.3.708zbMath0186.25302OpenAlexW1979996376MaRDI QIDQ5580117

Yiannis N. Moschovakis, J. W. Addison

Publication date: 1968

Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1073/pnas.59.3.708

zbMATH Keywords

operations research

Related Items

Models of set theory in which the separation theorem fails ⋮ The axiom of determinateness and reduction principles in the analytical hierarchy ⋮ The axiom of determinacy and the modern development of descriptive set theory ⋮ A multiplication operation for the hierarchy of norms ⋮ The unique existential quantifier ⋮ Uniformization in a playful universe ⋮ Axiom of comparable choice and uniformizability of projective classes ⋮ On projective ordinals ⋮ Ordinal solution of open games and analytic sets ⋮ On characterizing Spector classes ⋮ Believing the axioms. II ⋮ A global wellordering of norms defined via Blackwell games ⋮ Some measure theoretic results in effective descriptive set theory ⋮ Theories of Rogers semilattices of analytical numberings ⋮ Computable numberings of families of infinite sets ⋮ The Theory of Countable Analytical Sets ⋮ A measure representation theorem for strong partition cardinals ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC