Search Results

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.