MA4207



Mathematical Logic

This is an introductory mathematical course in logic. It gives a mathematical treatment of basic ideas and results of logic, such as the definition of truth, the definition of proof and Godel's completeness theorem. The objectives are to present the important concepts and theorems of logic and to explain their significance and their relationship to other mathematical work. Major topics: Sentential logic. Structures and assignments. Elementary equivalence. Homomorphisms of structures. Definability. Substitutions. Logical axioms. Deducibility. Deduction and generalization theorems. Soundness, completeness and compactness theorems. Prenex formulas.

Login Required