Robuta

https://arxiv.org/abs/1702.07947 [1702.07947] The Implicitly Constructible Universe Abstract page for arXiv paper 1702.07947: The Implicitly Constructible Universe 1702 07947 constructible universe