Haim
Reputation
460
Top tag
Next privilege 500 Rep.
Access review queues
 Dec11 accepted Turing invariance on large sets Dec11 comment Turing invariance on large sets @hot_queen: Got it. Nice solution, thanks! Dec11 comment Turing invariance on large sets @hot_queen: Why is the "WLOG" true? Dec10 comment Turing invariance on large sets @AsafKaragila: Life is too short for questions outside of my fields of research. ;) Dec10 comment Turing invariance on large sets @HenningMakholm: Indeed, so if for all $x$, $f(x)=a$ for a constant $a$, then trivially $x\equiv_T y \rightarrow f(x)=a\equiv_T a=f(y)$. Dec10 comment Turing invariance on large sets @HenningMakholm: A constant function is necessarily Turing invariant, so it's not a counterexample. Dec10 asked Turing invariance on large sets Dec9 awarded Caucus Nov30 comment Is there an axiom for ZFC that totally orders Cichon's diagram without collapsing it? @AsafKaragila: There is more than one paper by now (there are some recent papers by Diego Mejia and also a paper by Shelah and me that will be uploaded to arxiv soon :)). Sep24 awarded Autobiographer Jul20 comment Expository Papers on Extenders Oh, Asaf, look what alcohol and sleep deprivation have done to your memory. :p Two years ago, he gave an unofficial course on the proof of projective determinacy from large cardinals (accompanying the second half of his descriptive set theory course). Though if I remember correctly, there were only two students (including me) who stayed until he finished the proof. Jul20 comment Expository Papers on Extenders Check the chapter on determinacy in L(R) by Itay Neeman in the handbook of set theory. It contains a nice introduction to (short) extenders and iteration trees. This is how I learned the subject (well, it was accompanied by Magidor's lectures ;)). Jun16 awarded Nice Question Jun15 awarded Yearling Jun15 answered Introduction to Proper Forcing Reference Jun15 comment Introduction to Proper Forcing Reference If he's already going to buy a plane ticket to Israel, he should first meet the guy who invented proper forcing. ;) Feb11 comment Cantor-Schröder-Bernstein without elements Perhaps we can ask a more general question (which I'm not sure how to ask correctly): In which categories can we carry back-and-forth arguments? Feb9 revised About generically Knaster property deleted 279 characters in body Feb9 revised About generically Knaster property added 281 characters in body Feb9 answered About generically Knaster property