TY  - RPRT
TI  - A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe
AU  - Vladimir Kanovei
AU  - Vassily Lyubetsky
PY  - 2021
UR  - https://arxiv.org/abs/2111.13491
ID  - 2111.13491
ER  -