917 reputation
318
bio website
location Aachen, Germany
age 25
visits member for 2 years, 5 months
seen Apr 17 at 1:22

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


Feb
3
awarded  Civic Duty
Jan
20
revised First Order logic with vertex covers
defining vertex cover. correcting syntax of binary relations.
Jan
20
suggested suggested edit on First Order logic with vertex covers
Jan
20
comment First Order logic with vertex covers
Try using Ehrenfeucht–Fraïssé game. I'm trying to figure it out, too.
Jan
19
awarded  Critic
Jan
19
awarded  Informed
Jan
19
revised First Order logic with vertex covers
spelling and latex
Jan
19
suggested suggested edit on First Order logic with vertex covers
Jan
19
comment Define infinite path with a finite relation in a graph with Least Fixed Point logic
Okay, the existence of a reachable node is similar to the transitive closure but how do I model an infinite path with a single formula without a set of formulas?
Jan
19
awarded  Organizer
Jan
19
revised What does lg x mean? is it $\log_2 x$ or $\log_{10} x$ in binary trees
edited tags
Jan
19
asked Define infinite path with a finite relation in a graph with Least Fixed Point logic
Jan
14
accepted All classes of finite structures are axiomatizable in $L_{\infty\omega}$
Jan
14
comment All classes of finite structures are axiomatizable in $L_{\infty\omega}$
Thanks a lot. Out of curiosity: Why is $L_{\infty\omega}$ a proper class?
Jan
13
accepted Expressing “uncountable” in $L_{\omega_1\omega}$
Jan
13
asked Expressing “uncountable” in $L_{\omega_1\omega}$
Jan
13
revised All classes of finite structures are axiomatizable in $L_{\infty\omega}$
Added proof sketch to show that $\Phi$ is a set
Jan
13
revised All classes of finite structures are axiomatizable in $L_{\infty\omega}$
grammar
Jan
13
asked All classes of finite structures are axiomatizable in $L_{\infty\omega}$
Jan
13
comment Class of structures isomorphic to $(\mathbb{Z},<)$ in infinitary logic $L_{\omega_1 \omega}$
Thanks! That helps me a lot.