10
Classical Results
•
Godel’s completeness theorem
•
Compactness theorem
•
Lowenheim-Skolem theorem
•
[Godel’s incompleteness theorem]
•
•
We discuss these in some detail next