Reputation
1,188
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
8 27
Impact
~25k people reached

Feb
5
revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
correct the set
Feb
3
revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
correct
Feb
3
revised Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
correct formula
Feb
2
asked Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
Dec
10
awarded  Popular Question
Dec
10
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.
Dec
3
comment How much topology for graph theory?
Exactly what I was looking for. Thanks!
Dec
3
accepted How much topology for graph theory?
Nov
27
comment How much topology for graph theory?
Where exactly are the notes?
Nov
27
asked How much topology for graph theory?
Nov
22
accepted Generated equivalence relations in logics
Nov
21
revised $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
More explenation
Nov
21
answered $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
Nov
21
revised $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
spelling prettierer relations
Nov
21
suggested approved edit on $\exists x Px \land \exists x Qx$ does not imply $\exists x (P x \land Q x)$
Nov
21
asked Generated equivalence relations in logics
Nov
15
awarded  Yearling
Aug
8
accepted Integral Polyhedra: Integer on each face
Aug
7
asked Integral Polyhedra: Integer on each face
Aug
6
revised Formal Reduction: Pushdown Automata recognizing context free languages with bounded stack
added additional tags