A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. arXiv: 2111.13491 [math.LO], November 2021.
Go to publication
Authors: Kanovei V., Lyubetsky V. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024 About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè |