[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.11518627 [View]
File: 351 KB, 2048x1428, Bildschirmfoto 2020-03-31 um 20.01.55.png [View same] [iqdb] [saucenao] [google]
11518627

>>11512962
I recently did a survey of constructive set theory axioms (BCST, ECST, IKP, CZF, IZF, etc. etc.)

https://gist.github.com/Nikolaj-K/951d44b393a92acc51f915fcb0e31cc2

Navigation
View posts[+24][+48][+96]