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