joachim
Reputation
1,191
Top tag
Next privilege 2,000 Rep.
 May 21 answered Notation for Model-Relation of formulae with free variables May 21 asked Notation for Model-Relation of formulae with free variables May 13 awarded Excavator May 13 revised Projected graph and given graph Grammar, Latex, Spacing May 13 suggested approved edit on Projected graph and given graph May 10 revised Bad proof that if $a + b + ab = 2020$ then $a+b=88$ Formatting, Latex, Math stuff May 10 suggested approved edit on Bad proof that if $a + b + ab = 2020$ then $a+b=88$ May 9 revised Finding 1000th 5-smooth number Beautify, Latex ... May 9 suggested approved edit on Finding 1000th 5-smooth number May 9 accepted Reusing Variables First Order Logics May 8 asked Reusing Variables First Order Logics Mar 28 awarded Tumbleweed Mar 21 accepted Natural Decision Problem not in PTIME Mar 21 answered Natural Decision Problem not in PTIME Mar 3 asked Natural Decision Problem not in PTIME Feb 13 comment Selecting a unique pair satisfying a condition $\varphi$ with an ordering Okay, you're right. I tried to make this problem as general as possible. But it back-fired. $A$ is finite. Furthermore, we assume that there is always a pair which satisfies $\varphi$. Feb 13 revised Selecting a unique pair satisfying a condition $\varphi$ with an ordering Specialization Feb 12 asked Selecting a unique pair satisfying a condition $\varphi$ with an ordering Feb 7 accepted Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables Feb 5 answered Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables