2
$\begingroup$

Working in NBG set theory, with AC but without Global Choice, we ask for two proper classes A and B such that A strictly injects in B and B strictly injects in P(A); so Question: In NBG set theory, is it possible to have two distinct proper classes A and B such that A injects in B and B injects in P(A), but P(A) does not inject in B and B does not i ject in A ? Gérard Lang

Improve this question
$\endgroup$

1 Answer 1

Reset to default
1
$\begingroup$

From the answer given by Ali Enayat to my question "Bijective equivalent collections of proper classes in set theory" on 14/04/2013, we see that there exists a model of NBG where the proper class P(On) is such that: (i) On injects into P(On), that itself injects into P(P(On))=V, but (ii) V=P(P(On)) does not inject into P(On) that itself does not inject into On. So that the answer to the question is positive. Gérard Lang

Improve this answer
$\endgroup$
1
  • $\begingroup$ It would help to give the answer in the form A=..., B=.... $\endgroup$
    – user44143
    Commented Sep 10, 2017 at 18:17

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .