Skip to main content
6 events
when toggle format what by license comment
Oct 30, 2021 at 22:22 history edited KConrad CC BY-SA 4.0
edited body
Jan 18, 2020 at 7:03 history edited Panu Raatikainen CC BY-SA 4.0
deleted 11 characters in body
Jan 18, 2020 at 7:03 comment added Panu Raatikainen "Descriptive set theory" is a field of mathematics related to topology and was initiated by the French semi-intuitionists (Lebesgue, Baire, Borel). It studies sets which possess relatively simple definitions (in contradistinction to the ideas of arbitrary sets and various higher power-sets, which the semi-intuitionists rejected as meaningless) called projective or analytic sets. It is common to count it, in the literature on the foundations of mathematics, the name notwithstanding, as "ordinary mathematics", in contradistinction to set theory.
Jan 16, 2020 at 18:22 comment added Noah Schweber I didn't downvote, but I suspect that this may not meet the "outside set theory" criterion.
S Jan 16, 2020 at 17:03 history answered Panu Raatikainen CC BY-SA 4.0
S Jan 16, 2020 at 17:03 history made wiki Post Made Community Wiki by Panu Raatikainen