Reputation
465
Top tag
Next privilege 500 Rep.
Access review queues
Badges
2 9
Newest
 Caucus
Impact
~2k people reached

  • 0 posts edited
  • 0 helpful flags
  • 38 votes cast
Dec
11
accepted Turing invariance on large sets
Dec
11
comment Turing invariance on large sets
@hot_queen: Got it. Nice solution, thanks!
Dec
11
comment Turing invariance on large sets
@hot_queen: Why is the "WLOG" true?
Dec
10
comment Turing invariance on large sets
@AsafKaragila: Life is too short for questions outside of my fields of research. ;)
Dec
10
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)$.
Dec
10
comment Turing invariance on large sets
@HenningMakholm: A constant function is necessarily Turing invariant, so it's not a counterexample.
Dec
10
asked Turing invariance on large sets
Dec
9
awarded  Caucus
Nov
30
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 :)).
Sep
24
awarded  Autobiographer
Jul
20
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.
Jul
20
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 ;)).
Jun
16
awarded  Nice Question
Jun
15
awarded  Yearling
Jun
15
answered Introduction to Proper Forcing Reference
Jun
15
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. ;)
Feb
11
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?
Feb
9
revised About generically Knaster property
deleted 279 characters in body
Feb
9
revised About generically Knaster property
added 281 characters in body
Feb
9
answered About generically Knaster property