460 reputation
29
bio website
location
age
visits member for 2 years, 10 months
seen 19 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.


Jan
21
comment In preparation forcing and large cardinal textbooks
While there is no forcing encyclopedia available (quite sadly, I must add), you can still compile your own encyclopedia. As my work is mostly concerned with forcing in the context of the real line (which has quite a different flavor compared to large cardinals-related forcing), here are the ingredients for my own forcing for the reals encyclopedia: "Proper and improper forcing" (Shelah), "Norms on possibilities I: forcing with trees and creatures" (Shelah and Roslanowski), "Forcing idealized" (Zapletal), Bartoszynski and Judah's book and the paper "Properness without elementaricity" (Shelah)
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