|
|||
MATH 762 - Model TheoryCredits: 3First order predicate calculus; elementary theories; models, satisfaction, and truth; the completeness, compactness, and omitting types theorems; countable models of complete theories; elementary extensions; interpolation and definability; preservation theorems; ultraproducts. |
|||
All bulletins © 2024 Columbia Campus. Powered by the Acalog™ Academic Catalog Management System™ (ACMS™).
|