Premium
A parametrised choice principle and Martin's conjecture on Blackwell determinacy
Author(s) -
Löwe Benedikt
Publication year - 2006
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200410059
Subject(s) - determinacy , axiom , mathematics , conjecture , mathematical economics , axiom of choice , equivalence (formal languages) , zermelo–fraenkel set theory , pure mathematics , set theory , mathematical analysis , computer science , set (abstract data type) , geometry , programming language
Abstract We define a parametrised choice principle PCP which (under the assumption of the Axiom of Blackwell Determinacy) is equivalent to the Axiom of Determinacy. PCP describes the difference between these two axioms and could serve as a means of proving Martin's conjecture on the equivalence of these axioms. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)