math
an archive of posts with this tag
| Dec 9, 2025 | Two Alternative Proofs of Analytic Measurability |
|---|---|
| Dec 5, 2025 | Applications of a comeager null set |
| Oct 29, 2023 | Silly proof of nonisomorphic uncountable linear orders using ordertypes of nonstandard models of arithmetic |
| Sep 26, 2023 | Being reals of a model of set theory a special property |
| Apr 17, 2023 | Three funny proofs of the existence of incomparable Turing degrees |
| Sep 2, 2022 | A perfect set of not-eventually-equal reals |
| Jan 20, 2022 | What's difficult about forcing? |
| Aug 23, 2021 | Well-ordering of the reals is not measurable |