Two exercises that bugged me for a while
Two exercises about largest countable definable sets of reals under V=L
Two Alternative Proofs of Analytic Measurability
Proving analytic sets are measurable using recursion theory and forcing
Applications of a comeager null set
Size of ground model reals, generic reals, and Luzin (and Sierpinski) sets
Why is the Kleene-Brouwer order also called the Luzin-Sierpinski order?
Tracing its origin back in the Luzin-Sierpinski 1923 paper
Blackwell's Game-Theoretic Proof of Analytic Separation
Rewriting Blackwell's original argument in terms of trees
$\Pi^1_1$ set has a perfect subset if and only if it has nonconstructible element
An equivalent characterization of coanalytic thin sets in terms of constructibility
Silly proof of nonisomorphic uncountable linear orders using ordertypes of nonstandard models of arithmetic
All nonstandard models of arithmetic have ordertypes N+Zθ. None has ordertype N+ZR.
Being reals of a model of set theory a special property
Proof that reals in a model of set theory have inner measure zero if they are not all the reals