Keyword:foundations of mathematics

Papers
Generating Custom Set Theories with Non-Set Structured Objects Ciarán Dunne, Joe Wells and Fairouz Kamareddine EasyChair Preprint no. 5663