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

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
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 approved 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 approved 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