user avatar
user avatar
user avatar
Greg Nisbet
  • Member for 7 years, 9 months
  • Last seen this week
  • Menlo Park, CA, United States
Stats
2,846
reputation
450k
reached
17
answers
63
questions
Loading…
About

Here are some logical symbols for copying and pasting.

⇒→⊃⇔≡⟷¬∧·∨∥⊕⊻⊤⊥∀∃≔⊢⊨⊬⊭◇⌜⌝□⥽

I am a software engineer. I study math as a hobby.

Here are a few random things that I like:

Right now (2022), I am studying model theory on my own. I am reading the books

  • Model Theory: An Introduction by David Marker
  • A Shorter Model Theory by Wilfrid Hodges
1
gold badge
23
silver badges
37
bronze badges
11
Score
10
Posts
12
Posts %
11
Score
6
Posts
8
Posts %
8
Score
3
Posts
4
Posts %
3
Score
15
Posts
19
Posts %
3
Score
7
Posts
9
Posts %
3
Score
4
Posts
5
Posts %
Top posts
View all questions and answers