- expository
- math
- logic
- lolbvious

•

•

•

### Three funny proofs of the existence of incomparable Turing degrees

Nuking incomparable mosquitoes with forcing, measure and category, and absoluteness

### A perfect set of not-eventually-equal reals

clarification on a remark by Greg Hjorth

### What's difficult about forcing?

An introductory overview of forcing, from the learner's perspective

### Well-ordering of the reals is not measurable

An example of a nonmeasurable set that occurs in logic