j4n bur53
Reputation
526
Top tag
Next privilege 1,000 Rep.
Create new tags
 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 Mar 18 answered Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say?