/sci/ - Science & Math

>>10900816
Not sure if I should post access to my IP. The last few days, mostly set theory stuff motivated by threads here. That's crosschecking with books, SE and the Standford encyclopedia, and cleaning up the corresponding pages.
The latter is very underrated, see e.g.
https://plato.stanford.edu/entries/set-theory-constructive/
https://plato.stanford.edu/entries/set-theory-constructive/incompatible-set-axs.html
https://plato.stanford.edu/entries/set-theory-constructive/axioms-CZF-IZF.html
and internal links therein

But I've been doing that for years and not just on foundations. I actually wanted to browse content to collect some coarse survey on various derivatives in math.