joachim
Reputation
1,107
Top tag
Next privilege 2,000 Rep.
 Feb13 revised Selecting a unique pair satisfying a condition $\varphi$ with an ordering Specialization Feb12 asked Selecting a unique pair satisfying a condition $\varphi$ with an ordering Feb7 accepted Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables Feb5 answered Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables Feb5 revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables correct the set Feb3 revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables correct Feb3 revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables correct formula Feb2 asked Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables Dec10 awarded Popular Question Dec10 comment Computable Criteria to check whether a given basis is a Gröbner Basis I think what your describing is the cancellation criterion of Buchberger's algorithm. I was trying to avoid that computation and was looking for some kind of short cut to proof that the computation can be stopped at this point. I am starting to think that the answer is that there is no such short-cut. Dec3 comment How much topology for graph theory? Exactly what I was looking for. Thanks! Dec3 accepted How much topology for graph theory? Nov27 comment How much topology for graph theory? Where exactly are the notes? Nov27 asked How much topology for graph theory? Nov22 accepted Generated equivalence relations in logics Nov21 revised $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$ More explenation Nov21 answered $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$ Nov21 revised $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$ spelling prettierer relations Nov21 suggested approved edit on $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$ Nov21 asked Generated equivalence relations in logics