Dec 7, 2024 $\Pi^1_1$ set has a perfect subset if and only if it has nonconstructible element 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