428 reputation
27
bio website
location
age
visits member for 2 years, 6 months
seen 4 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.


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
Feb
9
answered About generically Knaster property
Jan
29
awarded  Commentator
Jan
29
awarded  Scholar
Jan
29
accepted Consistency strength of Turing measurability
Jan
29
comment Consistency strength of Turing measurability
Very interesting (I wish I had access to the proof though), thanks!
Jan
29
comment Consistency strength of Turing measurability
DC is the default, but go ahead and pick your favorite choice principle. :)
Jan
29
comment Consistency strength of Turing measurability
Why is this measure sigma-complete?
Jan
29
revised Consistency strength of Turing measurability
added 1 characters in body
Jan
29
awarded  Yearling
Jan
29
awarded  Student