Talk:Axiom of projective determinacy

Independence

Article states that PD is undecidable in ZFC, but as far as I know (and consulting the references given) it is merely unknown whether it is consistent with ZFC (but most mathematicians think it is). Don't have a reference to hand on this, though. Fish-Face (talk) 21:36, 3 May 2011 (UTC)[reply]

Depends on what you mean by "known". ZFC+PD has strictly higher consistency strength than ZFC, and therefore it is impossible to prove in ZFC that PD is consistent. (Unless, of course, ZFC is inconsistent, in which case ZFC does prove that ZFC+PD is consistent, and ZFC proves everything else as well).

But it's misleading to say that it's "unknown". It's "known" in the same sense that, say, ZFC itself is "known" to be consistent, or even something like Peano arithmetic is "known" to be consistent. It's not a matter of proof, because that gets you into an infinite regress where you have to justify the reliability of the proof system first. It's more of an empirical fact. --Trovatore (talk) 21:59, 3 May 2011 (UTC)[reply]

And still, the phrase "The axiom is independent of ZFC (assuming that it is consistent with ZFC), unlike the full axiom of determinacy (AD), which contradicts the Axiom of Choice" looks strange for me. PD does not follow from ZFC (and hopefully does not contradict it); AD does contradict (and hopefully does not follow...). The "unlike" is a bit misleading, and "independent (assuming consistency)" is hardly more clear than just "does not follow from" (or "is not a theorem of"). Boris Tsirelson (talk) 12:15, 17 December 2012 (UTC)[reply]

Requested move 11 May 2025

It has been proposed in this section that Axiom of projective determinacy be renamed and moved to Projective determinacy.

A bot will list this discussion on the requested moves current discussions subpage within an hour of this tag being placed. The discussion may be closed 7 days after being opened, if consensus has been reached (see the closing instructions). Please base arguments on article title policy, and keep discussion succinct and civil.

Please use {{subst:requested move}}. Do not use {{requested move/dated}} directly.

Links: current log • target log • direct move

Axiom of projective determinacy → Projective determinacy – PD is a proposition about set theory. It could be taken as an axiom; it could be proved from other axioms; it could be treated as an open question; in some contexts (say in L) it could even be mentioned as a false assertion. There is no obvious reason to emphasize the axiomatic status, particularly given that it has been proved from large cardinals. Trovatore (talk) 20:44, 11 May 2025 (UTC)[reply]