Cette question a été posée par Jan Pax sur la liste de diffusion Foundations of Mathematics . Certainement mais je soupçonne d'après les réponses à cette question que l'on ne sait pas si ⊕ P ⊆ P P (sinon, P P serait une réponse possible à cette question). Si ce n'est pas connu, y a-t-il une séparation Oracle?