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