user avatar
user avatar
user avatar
Greg Nisbet
  • Member for 8 years, 4 months
  • Last seen this week
  • Menlo Park, CA, United States
Stats
7,143
reputation
73k
reached
163
answers
255
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
3
gold badges
13
silver badges
29
bronze badges
93
Score
174
Posts
42
Posts %
43
Score
52
Posts
12
Posts %
31
Score
58
Posts
14
Posts %
29
Score
20
Posts
5
Posts %
28
Score
31
Posts
7
Posts %
6
Score
35
Posts
8
Posts %
Top posts
View all questions and answers