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

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