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

Dec
15
accepted Computable Criteria to check whether a given basis is a Gröbner Basis
Dec
15
accepted Homomorphism for a fixed graph NP-complete?
Dec
15
revised Warehouse Location Problem as an integer progam instead of a mixed-integer program
grammar
Dec
15
awarded  Popular Question
Nov
15
awarded  Yearling
Nov
14
awarded  Popular Question
Oct
4
awarded  Notable Question
Jun
29
awarded  Taxonomist
May
30
awarded  Popular Question
Feb
2
awarded  Popular Question
Dec
8
awarded  Caucus
Nov
15
awarded  Yearling
Sep
30
awarded  Explainer
Aug
23
awarded  Popular Question
Jul
28
accepted Clever Substitution Notation for Logic Formulae
Jul
27
answered Clever Substitution Notation for Logic Formulae
Jul
27
asked Clever Substitution Notation for Logic Formulae
Jul
11
accepted Is infinitary logics $\mathcal{L}_{\infty\omega}$ an abstract logic?
Jul
11
comment Is infinitary logics $\mathcal{L}_{\infty\omega}$ an abstract logic?
"$\varphi_T$ identifies a Turing Machine T" means that all models of $\varphi_T$ are isomorphic to T. Does this make sense? Thanks for the hints.
Jul
11
revised Is infinitary logics $\mathcal{L}_{\infty\omega}$ an abstract logic?
edited tags