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.

What else?

Update Oct 1, 2012: there’s now also a graph theory one by Derrick Stolee at Computational Combinatorics.

Thony CDefine an undefinable set.

Peter KrautzbergerNice!

safa variation of 11: prove a ZFC result via forcing

Peter KrautzbergerNice. I thought about adding that but then I decided that 3 should cover that. but you’re probably right – it deserves independence (pardon the pun).

Asaf KaragilaFind a new choice principle.

Asaf KaragilaBonus points: find its location within the common principles’ hierarchy. E.g., it implies countable choice but not dependent choice.

Peter KrautzbergerVery nice — I didn’t think about choice principles (comes from working with ultrafilters ðŸ˜‰ )

safHave the following statements included somewhere in your proof:

(a) “take a countable elementary submodel of $langlemathcal H(lambda),in,<_lambda,ldots$ for a large enough regular cardinal $lambda$, containing everything relevant to this proof''

(b) “note that by absoluteness, it suffices to prove that "1+1=2" holds in L''

Peter KrautzbergerThanks! Good stuff

David RobertsWhat about proving something independent of ZF? (over ZF!)

Peter KrautzbergerNot my cup of tea, but nice!