1,057 reputation
420
bio website
location Aachen, Germany
age 25
visits member for 2 years, 8 months
seen 34 mins ago

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


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
5
revised Complexity & Computability & Turing Problem
latex grammar
Jul
5
suggested suggested edit on Complexity & Computability & Turing Problem
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
May
21
answered Notation for Model-Relation of formulae with free variables
May
21
asked Notation for Model-Relation of formulae with free variables