Reputation
526
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
4 21
Newest
 Curious
Impact
~7k people reached

  • 0 posts edited
  • 2 helpful flags
  • 197 votes cast
Jul
4
comment Sum set fixpoint, how many iterations?
In the case of n=2 a simple geometric argument shows that l=<1 is sufficient. Right? But for n>2, is there also a fixed bound?
Jul
4
comment Sum set fixpoint, how many iterations?
I thought it is the other way around by construction of the mapping, i.e. S_i^k+1 subset S_i^k. But otherwise I agree, this is the worst case. But is it possible that it happens?
Jul
4
revised Sum set fixpoint, how many iterations?
deleted 9 characters in body
Jul
4
revised Sum set fixpoint, how many iterations?
added 2 characters in body
Jul
4
revised Sum set fixpoint, how many iterations?
edited tags
Jul
4
asked Sum set fixpoint, how many iterations?
Jun
19
accepted Sum set estimates for cofinite integer sets
Jun
19
revised Sum set estimates for cofinite integer sets
added 2 characters in body
Jun
19
revised Sum set estimates for cofinite integer sets
added 36 characters in body
Jun
19
asked Sum set estimates for cofinite integer sets
Jun
16
accepted Minimal bivariate diophantine equation solution space
Jun
16
asked Minimal bivariate diophantine equation solution space
Mar
19
revised Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say?
added 868 characters in body
Mar
18
revised Contradiction Theorem
deleted 157 characters in body
Mar
18
comment Contradiction Theorem
Mind you, it should read the step from ~~A to A. And my reference is wrong.
Mar
18
comment Contradiction Theorem
You're welcome. (Means: I would be pleased, english for "Bitteschön - Dank erwidernd").
Mar
18
comment Contradiction Theorem
I know, but I ALWAYS use ASCII art. And damned, this stack exchange is too stupid to change it automatically into what they prefer.
Mar
18
answered Contradiction Theorem
Mar
18
accepted Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say?
Mar
18
revised Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say?
added 37 characters in body