716 followers
@andrejbauer @JDHamkins Perhaps that was in reference to *linear* set theories with unrestricted comprehension? As in this work of Terui's. https://t.co/0gnoIVviF4
@andrejbauer @JDHamkins Perhaps that was in reference to *linear* set theories with unrestricted comprehension? As in this work of Terui's. https://t.co/0gnoIVviF4
@tangled_zans @John_C_Burnham @_julesh_ @lambdagrrl anyway, see these: https://t.co/5VfR9Pi2SN https://t.co/br4DvtrJU7