460 reputation
29
bio website
location
age
visits member for 2 years, 9 months
seen 22 hours ago

I'm a PhD student in mathematics at the Hebrew University of Jerusalem. My main interest is in set theory, more specifically, in forcing theory, set theory of the reals (and the lambda-reals) and large cardinals.

I also enjoy model theory, especially non structure theory, abstract elementary classes and anything of set-theoretic flavor.


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
22
comment If physical space had cardinality larger than $\aleph_1$, would we need new math to describe dynamics?
I will just mention that Magidor addressed the possible relevance of set theory to physics in the following paper (starting at page 10): logic.harvard.edu/EFI_Magidor.pdf
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