j4n bur53
Reputation
516
Top tag
Next privilege 1,000 Rep.
Create tags
 Jul4 revised Sum set fixpoint, how many iterations? edited tags Jul4 asked Sum set fixpoint, how many iterations? Jun19 accepted Sum set estimates for cofinite integer sets Jun19 revised Sum set estimates for cofinite integer sets added 2 characters in body Jun19 revised Sum set estimates for cofinite integer sets added 36 characters in body Jun19 asked Sum set estimates for cofinite integer sets Jun16 accepted Minimal bivariate diophantine equation solution space Jun16 asked Minimal bivariate diophantine equation solution space Mar19 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 Mar18 revised Contradiction Theorem deleted 157 characters in body Mar18 comment Contradiction Theorem Mind you, it should read the step from ~~A to A. And my reference is wrong. Mar18 comment Contradiction Theorem You're welcome. (Means: I would be pleased, english for "Bitteschön - Dank erwidernd"). Mar18 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. Mar18 answered Contradiction Theorem Mar18 accepted Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say? Mar18 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 Mar18 answered Is there an intuitionistic proof of $\lnot p(a) \rightarrow p(b) \vdash \exists x p(x)$, what would Herbrand's Theorem say? Mar15 comment Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$ Just fixed U=1. Mar15 revised Disjunction in Intuitionistic Logic, what about $((P \to U \lor V) \to Z)$ edited body Mar1 awarded Yearling