Legacy Course Catalog
MA 586 - Mathematical Logic II
| Effectivity: | 08/20/2001 - 05/10/2003 @ Purdue West Lafayette Traditional |
|---|---|
| Credits: | 3 |
| Instructional Types: | Lec |
| Usually Offered: | spr |
| Short Title: | Mathematical Logic II |
| Description: | Topics from completeness and compactness theorems. Lwenheim-Skolem theorems; omitting types and interpolation theorems; homogeneous and saturated models, elimination of quantifiers; Boolean algebras; complete, model complete, and decidable theories; ultraproducts, nonstandard analysis. |
| School: | School Of Science |
| Department: | Mathematics |
| Credit By Exam: | YES |
| Repeatable Flag: | NO |
| Temporary Flag: | NO |
| Full Time Privilege Flag: | NO |
| Honors Flag: | NO |
| Variable Title Flag: | NO |
Fall 2007 *** indicates the course was still an active course and was transferred to the Banner Catalog effective Spring 2008. This course was not expired Fall 2007.
