Reputation
1,122
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
6 25
Newest
 Taxonomist
Impact
~20k people reached

Jul
27
answered Clever Substitution Notation for Logic Formulae
Jul
27
asked Clever Substitution Notation for Logic Formulae
Jul
11
asked Is infinitary logics $\mathcal{L}_{\infty\omega}$ an abstract logic?
Jul
2
answered implication versus conjunction correctness in FOL?
Jul
2
answered comparing two sets in set theory
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
8
asked Reusing Variables First Order Logics
Mar
21
answered Natural Decision Problem not in PTIME
Mar
3
asked Natural Decision Problem not in PTIME
Feb
12
asked Selecting a unique pair satisfying a condition $\varphi$ with an ordering
Feb
5
answered Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
Feb
2
asked Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
Nov
27
asked How much topology for graph theory?
Nov
21
answered $\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
Aug
7
asked Integral Polyhedra: Integer on each face
Jun
25
asked Generlized Büchi Games and Closed under superset Muller Games
Jun
22
asked Homomorphism for a fixed graph NP-complete?
Jun
9
answered Constraint satisfaction problem - Arc consistency