bio  website  boolesrings.org/asafk 

location  Israel  
age  29  
visits  member for  4 years 
seen  7 hours ago  
stats  profile views  7,239 
Born and raised in Israel. Ph.D. student in the Hebrew university in Jerusalem; studying set theory.
1d

revised 
Subset of the integers with certain properties
edited tags 
Jul 23 
answered  Cardinality of $C^*([0,1])$ 
Jul 22 
awarded  Popular Question 
Jul 21 
comment 
forcing square with small conditions
Your right arm is right, but now you are left with just your left. Is it right? Are you left with just your left? And if you have more than just the left left, who is right, right? Certainly not your arm. 
Jul 19 
reviewed  Reviewed Associated prime ideals and local cohomology 
Jul 19 
comment 
Associated prime ideals and local cohomology
@quid, for future reference, using [edit] will produce an automatic link to editing the post you are commenting on.

Jul 19 
reviewed  Leave Open Can we define an “empirically generic” real number? 
Jul 18 
comment 
Proof correctness problem
What? No, I didn't talk about Voevodsky's point. I was talking about your phrasing (which is not uncommon) regarding proofs that it take years to review and verify. In particular the usual phrasing of "This and that proof ... but it took many years to ...", which has an apologetic undertones, at least to my ears. 
Jul 18 
comment 
Proof correctness problem
Timothy, I apologize for starting this offtopic chain of comments. Perhaps Perelman was an exception because he posted the proof and pretty much vanished back into himself. But I still hear these apologetic tones often, e.g. about Wiles "But it took him seven years", but it took 300 years of mathematical progress, what's seven years for writing a proof, and what's four years for checking it? Yes. Mathematics is difficult. Everyone knows that. We need to stop feeling bad for that. 
Jul 17 
comment 
Proof correctness problem
I always feel strange when people say things like "Perelman's proof is now accepted but it took years for the community to validate it." It took nearly 100 years to solve this problem. Why do people expect that the proof will be so immediate that everyone reading it couple of times will find it clear enough to judge its content? Difficult proofs take time to analyze. There's nothing wrong with that, and we need to stop qualifying these sentences with "but" which make it seem apologetic. 
Jul 17 
reviewed  No Action Needed Balanced dualizing complex vs rigid dualizing complex? 
Jul 17 
reviewed  Leave Open Embeddings of forcing notions  preserve properness? 
Jul 17 
comment 
Embeddings of forcing notions  preserve properness?
@Yair: Why are you online? 
Jul 17 
reviewed  Leave Closed Translation is continuous in measure space 
Jul 17 
comment 
Is the pseudomenon a statement?
@Todd: This is not a particularly badly written question. If you are going to refer the OP to MSE, why not migrate it instead? (and save me the trouble of copypasting my answer if and when that time comes...) 
Jul 16 
reviewed  No Action Needed Is it compatible with ZF to assume that every amenable discrete group is finite? 
Jul 16 
comment 
$i^{1} F$ a sheaf if and only if $\varinjlim_{ U \subseteq X \text{ open}, ~ x,y \in U } F(U) \to F_x \times F_y$ is an isomorphism
Posting the same question at the same time on two sites is equivalent to calling two pizza places and ordering pizza, just to see which one gets to your place first. 
Jul 16 
comment 
Localization and Direct limit
This has an answer on math.SE. 
Jul 16 
comment 
$\widehat{f\ast g}= \hat{f} \cdot \hat{g}$ for $f, \hat{f} \in L^{p}(\mathbb R)\cap C(\mathbb R) (1<p<\infty, p\neq 2), g\in \mathcal{S}(\mathbb R)$?
Waiting just 36 hours or so does not constitute of "few days back". Including a link in your post is also recommended. 
Jul 16 
awarded  Deputy 