1,057 reputation
421
bio website
location Aachen, Germany
age 25
visits member for 2 years, 10 months
seen Sep 10 at 3:49

I'm computer science grad student in my first master semester majoring in theoretical computer science.


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
Jul
11
asked Is infinitary logics $\mathcal{L}_{\infty\omega}$ an abstract logic?
Jul
5
revised Cantor-like set removing middle-$\alpha$ open intervals
fixing title
Jul
5
suggested suggested edit on Cantor-like set removing middle-$\alpha$ open intervals
Jul
5
revised Quarters weigh 6 grams while dimes weigh 2 grams.
Latex fixing
Jul
5
suggested suggested edit on Quarters weigh 6 grams while dimes weigh 2 grams.
Jul
2
answered implication versus conjunction correctness in FOL?
Jul
2
awarded  Curious
Jul
2
awarded  Inquisitive
Jul
2
answered comparing two sets in set theory
Jun
15
accepted Notation for Model-Relation of formulae with free variables
May
28
revised Homomorphical Equivalence is NP-complete
Format, Capitalization
May
28
accepted Homomorphical Equivalence is NP-complete
May
28
suggested suggested edit on Homomorphical Equivalence is NP-complete