CIS 672 - Mathematical Logic I

College of Engineering and Computer Science
3 credit(s)

First order logics and interpretations. Godel-Henkin completeness theorem, Herbrand’s Theorem, compactness theorem, and the Lowenheim-Skolem Theorem. Basic model theory with applications to the theory of fields. Categoricity in power.