PHILÂ 567. Model Theory I. 4 hours.
Elementary embeddings, quantifier elimination, types, saturated and prime models, indiscernibles, Morley's Categoricity Theorem. Course Information: Same as MATH 506. Prerequisite(s): MATH 502 or PHIL 562.
Elementary embeddings, quantifier elimination, types, saturated and prime models, indiscernibles, Morley's Categoricity Theorem. Course Information: Same as MATH 506. Prerequisite(s): MATH 502 or PHIL 562.
Print this page.
All the pages in the Graduate & Professional Catalog/gcat