21
Some Great Theories
•Dense linear orders with no endpoints [in class]
•
•(N, 0, S)  [in class]
•
•(N, 0, S, +) Pressburger Arithmetic
•
•(N, +, £) : Godel’s incompleteness theorem