Reputation
1,087
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
5 24
Impact
~18k people reached

Jul
28
accepted Clever Substitution Notation for Logic Formulae
Jul
11
accepted Is infinitary logics $\mathcal{L}_{\infty\omega}$ an abstract logic?
Jun
15
accepted Notation for Model-Relation of formulae with free variables
May
28
accepted Homomorphical Equivalence is NP-complete
May
9
accepted Reusing Variables First Order Logics
Mar
21
accepted Natural Decision Problem not in PTIME
Feb
7
accepted Transforming Nested Fixed-Point Formulas into Infinitary Logic Formulas with Finitely many Variables
Dec
3
accepted How much topology for graph theory?
Nov
22
accepted Generated equivalence relations in logics
Aug
8
accepted Integral Polyhedra: Integer on each face
Jun
25
accepted Generlized Büchi Games and Closed under superset Muller Games
Jun
9
accepted Constraint satisfaction problem - Arc consistency
May
5
accepted Infinite Chomp is a finite game?
Mar
18
accepted Non-isomorphic structures with equal cardinality
Mar
8
accepted Different formulation of a Traveling Salesman Problem
Feb
4
accepted Warehouse Location Problem as an integer progam instead of a mixed-integer program
Jan
14
accepted All classes of finite structures are axiomatizable in $L_{\infty\omega}$
Jan
13
accepted Expressing “uncountable” in $L_{\omega_1\omega}$
Jan
13
accepted Class of structures isomorphic to $(\mathbb{Z},<)$ in infinitary logic $L_{\omega_1 \omega}$
Jan
12
accepted Using the notation $m^{O(1)}$