So there’s a meme going around in the CS blogging community: “Things that a ___ researcher should have done at least once”. It started at The Geomblog by Suresh Venkatasubramanian, was picked up for complexity theory by Lance Fortnow at Computational Complexity and for game theory & economics by Noam Nisam at Turing’s Invisible Hand.
Now, I’m not really qualified to count up to $n$, but I thought I’d give it a try anyway.
- Prove something to be independent of ZFC. (Bonus points if it is independent of CH as well.)
- Find a “natural” statement and prove it’s equivalent to CH.
- Find a new forcing axiom (that is actually useful).
- Find a new type of ultrafilter.
- Find a new large cardinal.
- Use a non-standard model of PA.
- Use PCF theory.
- Find a new cardinal characteristic of the continuum.
- Collapse some cardinal characteristics of the continuum.
- Separate some cardinal characteristics of the continuum. (Bonus points if the balance is kept.)
- Improve a consistency result to a ZFC result.
- Have an application outside of set theory.
- Write a paper with Saharon Shelah.
Update Oct 1, 2012: there’s now also a graph theory one by Derrick Stolee at Computational Combinatorics.