[{"run_id":"20260906T231458-5fdd2fff","semester":"1272","observed_at":"2026-09-06 23:14:58.172943+00:00","record_version_id":"e03f4111262177e5e4a9ef30a537037136addd52f2b09f4ab2d55d5f63ccb3c7","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"20260907T155543-ce3781c4","semester":"1272","observed_at":"2026-09-07 15:55:43.033547+00:00","record_version_id":"e03f4111262177e5e4a9ef30a537037136addd52f2b09f4ab2d55d5f63ccb3c7","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-03b0bbb9723907cf3d1b41cf0bb34837dc398e42","semester":"1262","observed_at":"2025-04-16 05:20:33.104844+00:00","record_version_id":"81839fcbe0199c339a7b16e48d6e03133baf8bb01621db069cd68a21dc63c580","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0837245627eb714ae6bb0375f7abe8f41042011f","semester":"1262","observed_at":"2025-04-16 05:20:33.104844+00:00","record_version_id":"81839fcbe0199c339a7b16e48d6e03133baf8bb01621db069cd68a21dc63c580","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-08c92e359bbbc110b0778b7e0b15d6f40000e6b1","semester":"1262","observed_at":"2025-08-21 07:05:14.730696+00:00","record_version_id":"b34fc1c3944ad0a9a980b0c3e5e637f90a0250dbc8f7b3cc904aee39072b2f3f","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0944d76440dc778fbb89626058c10451009ce9c6","semester":"1262","observed_at":"2025-05-21 03:36:18.194118+00:00","record_version_id":"6bc5e1ffdc9e1aae4fa27cf6239c6798533c7920f5c4b49ecd52eef45a6606d0","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0a7f4bce29c816ef4d3d71b4eb8a2a3e15e33cc1","semester":"1262","observed_at":"2025-06-18 20:04:02.695444+00:00","record_version_id":"121fbbe8be88f75c846a58d28ccc77886fd1f84799f518e05cac71dc5a2d787d","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0ab917f827a7de22ebdc1087114d377a31c4687b","semester":"1262","observed_at":"2025-05-22 02:11:02.531191+00:00","record_version_id":"5e82bc421972fbb6df275d73aed3996a0825efde2124cd759867f4366c3cba88","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0c40ecab4b6db9333d1f18aef816e3ee659e300c","semester":"1262","observed_at":"2025-05-25 18:02:34.797617+00:00","record_version_id":"50cd5c31250a285794d6bb38edddb0a70d78e9d3e73bf0272c40f835eeeec540","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-0cb4d29a588ec7f11c7e00b7cf5dc3a0d23d0349","semester":"1266","observed_at":"2026-01-22 01:00:26.555427+00:00","record_version_id":"15e755e900b3bd13fa8f160842e51ac9ca825342da3f41ac83d6dad74349eac7","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-11c30ec39e91498cbfcf3a923c53a4b03e387280","semester":"1262","observed_at":"2025-07-20 04:58:26.847117+00:00","record_version_id":"3fd0ca794f87b39ec84dc5316217c9165c491698172ac6e7f586f158a8ad373c","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-13cd500edf2587e9a3428f326253738fbea965ea","semester":"1264","observed_at":"2025-12-14 04:50:04.653658+00:00","record_version_id":"4007521caab45e7a1431a420cca4204d4d2aa87fc9590004e2268f6e2f008894","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-1da08b2de39f05e6bc877c189fc2fd6eeda563f5","semester":"1262","observed_at":"2025-07-01 00:03:56.707251+00:00","record_version_id":"052cc425b4600a15c81de7c78e09d538e7be0cb78f12364c86f334f65f89237b","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-2031af47efe133b0e7877f433286ff07385afc41","semester":"1262","observed_at":"2025-07-02 20:16:45.749584+00:00","record_version_id":"25649015f97b23d5269a46722b9a88aed9506ce973e4a0631d8efd2005b40cae","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-238eba6f32fbc30407f616dd0628ff02a2a824dd","semester":"1262","observed_at":"2025-08-17 05:15:07.788352+00:00","record_version_id":"6f490e72c003e9cfd654c705fbade800408b1b2d2c9db1dfa4755a2bf93ac14b","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-25f0ff56bc4d80f8a8afa1a0bcce8dae6fddb5e5","semester":"1262","observed_at":"2025-05-25 17:20:25.942090+00:00","record_version_id":"672f440cd582bcbf0fdb018904ceb9b9fab8d37837e4423e4703e1a64859a1a2","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-2923f91826ce253b7aeefa9f75b4a39fe4c80ff0","semester":"1262","observed_at":"2025-08-10 05:10:25.938416+00:00","record_version_id":"527f2087ae8134aba07b5eb6be0a1456c2c4271ecea5b703a2bc7e036d2aa90f","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-2a05214a4023e0157fa6f7d188c85308f714176c","semester":"1262","observed_at":"2025-09-07 04:56:38.255315+00:00","record_version_id":"badce6b958ed5ed7063b280094934eec28d12a04c16c4c1ee1aebaf4a2249103","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-2b1b8e39131de92b94620b25c5bbb25690efed4c","semester":"1262","observed_at":"2025-06-01 07:54:53.913454+00:00","record_version_id":"9d2153ee22898c8ac0fe8de10ca0c019383dda4846b6be515c8c68b58a2d743b","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-33a1225644e5a5855d60f66e65413946e72fedf4","semester":"1262","observed_at":"2025-06-22 01:52:05.152650+00:00","record_version_id":"22df55fcd962287d2ccc4faa1969d07dd1ef377024025a26c57837917d69cb3c","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-3b89c83dbf5208e13756184de1f2b2d0c09af35f","semester":"1262","observed_at":"2025-06-30 06:40:10.235522+00:00","record_version_id":"2a0359d987eaf9e63b9443cdefb8b9a86fd833088491f7e5dd72469f180d9fe5","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-3c3eebf7f35c39364b445a2fa5a112ce28dbb4a1","semester":"1262","observed_at":"2025-06-01 17:03:59.062985+00:00","record_version_id":"884750b0ab055c7e836063c31d719e45e6b74b7a84f8c642565004e3bc246cec","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-3fa4dd71391f1c9cf4ab2216680bbc428689f92d","semester":"1262","observed_at":"2025-05-25 01:15:58.180530+00:00","record_version_id":"1c2ce5cc60d33931707140e0f008b87a7515d012d99af1705e3fba521c3d3b30","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-4040aa216da722a34483f68fc1e129ea571ae08d","semester":"1262","observed_at":"2025-06-01 07:27:39.695506+00:00","record_version_id":"166096a78567ec2605b761b66c5ad831bfc6c488647eb545221fa6ffb827b208","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-454d53cd690294459f8ad0793cc3ed562060e56c","semester":"1262","observed_at":"2025-05-25 01:34:00.536004+00:00","record_version_id":"7d55324c8d8f86595122a9bdefcebc985a757962f4bc88b055fbf6cbb5880460","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-486f091e051fdb4ccdb80ee7b4fb0a5814510324","semester":"1264","observed_at":"2025-11-16 05:32:31.273726+00:00","record_version_id":"77d7a306cb5797e4c4be9b61019b9c4e4b1936d3bbeb35b56728abaabcd12a0c","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-50393cfc5fd5598d4f4731ef1919f2ff53af07d9","semester":"1262","observed_at":"2025-06-30 06:05:57.438846+00:00","record_version_id":"25f65a6ca8876ea793b7afe1eb9b9731804b6f2b6561bfa4cba6b42fa218b7fe","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-50f6947786b208c800db8bbd0cec84a8f0f187d2","semester":"1262","observed_at":"2025-06-02 03:49:42.915428+00:00","record_version_id":"336f7d4d234437a5b3603befde3cbb040ca2b3cb93291544de155375ec92486a","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-51d86ed4082dced3803c295419b0ec8440942016","semester":"1264","observed_at":"2025-11-12 04:50:41.141307+00:00","record_version_id":"527f2087ae8134aba07b5eb6be0a1456c2c4271ecea5b703a2bc7e036d2aa90f","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-53101bd1c10db0d00d094e4c9154d4c244ff23d9","semester":"1262","observed_at":"2025-10-05 04:58:05.366968+00:00","record_version_id":"633eefa14c8e929994a40eee4995b0be298af26b38d7f98a80f961706d88afd4","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-58751151c564e11c5cb8aedd3a2d3527c22f73eb","semester":"1262","observed_at":"2025-06-01 06:59:01.536576+00:00","record_version_id":"d3c16f0f2153a65a572877f4f67ab9c19cc6f4efb2da52c026f95d2a92f98d85","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-5c4c8d3701a333ba4ddadef7d0b5dde8440fcdf0","semester":"1262","observed_at":"2025-06-01 01:57:51.256704+00:00","record_version_id":"1bba88a0f27a4329cb0dada4c7bc89587f4e801775f69826147953ed16795c60","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-5d20d9f81651d3c83fcaa2fd10870ce6e5d5a685","semester":"1262","observed_at":"2025-05-21 16:48:48.484741+00:00","record_version_id":"fb38cdcdf0028e070988f91acf577a732c18afcdab035f3492ca568009f37067","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-5feaebf2ab37051c86ad360cc0fa0d7e0e2ea295","semester":"1262","observed_at":"2025-05-24 15:58:23.378859+00:00","record_version_id":"17bdf94e6c6262ff4adb96193b499417b867654a74817b16a6ceb193c8431f91","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-60949965544fce098cc006354e201149005fb77b","semester":"1264","observed_at":"2025-10-26 05:07:14.077864+00:00","record_version_id":"0613c204fddab25e4ee2946b0a25dbf01029efc69dee2d8e40fe455e78cbc25d","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-639225ac3addf8522f1d30cb4fe26054ea7f8c49","semester":"1262","observed_at":"2025-06-01 08:14:42.497608+00:00","record_version_id":"1301b178192a60d19b45e352d54c093f27483cb94eace7cc195f075899a0f501","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-64093b17b3a9c67a41aa33eb37adb53ec38df714","semester":"1262","observed_at":"2025-05-22 02:11:02.531191+00:00","record_version_id":"f4411be027147ef177564b762cc860a62fc08e488fb8cefdc8ae1b7762671e30","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-6885b56099f55e08aa0205546369fb0381d50e13","semester":"1262","observed_at":"2025-07-13 04:59:22.367394+00:00","record_version_id":"62a9867ab585922754db0af3e02dd0cafc698e3fd9ad314f62173971cf7a1df5","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-69d4b2b16e8268f75b6390b3a0e2ce8bf73999da","semester":"1262","observed_at":"2025-06-30 03:21:29.925498+00:00","record_version_id":"6644da3e788eabd1c59f5ed2e53eb60895b8495a7f6251909e51926460368d05","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-6b29c3e0673b2f9a736d2363db5409e03d5b3ed4","semester":"1264","observed_at":"2025-12-03 12:33:41.418072+00:00","record_version_id":"513029e8ddf05917bfaff4d67d306ff55a058411dcd931e5f4f8a656ae7710ff","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-73259984748de484976ef2ad56ad7ab3d4cb4518","semester":"1262","observed_at":"2025-06-26 08:27:56.461216+00:00","record_version_id":"13b8645bfd8c8e38d451e9e711476fda9996b61381970c286592a09f4710aae2","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-741602fbc6252c232a0b9e6bc1a9ae3101625f5a","semester":"1262","observed_at":"2025-06-30 22:49:32.522034+00:00","record_version_id":"631bbdf0ff26e517ad71941f1755355675542f5f2bc2fa5e06abe09526c7f2a8","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-7774f45558276ec29bf626e58fffb4a27bdbb2a9","semester":"1264","observed_at":"2025-11-01 11:49:36.359151+00:00","record_version_id":"20a061978d14e9010ab46ac18e770688c5b4dcbe6d6398e76c152dca7664fcab","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-7ab7c5e783fc8ebef8b8ee8cea019ee37a72ce74","semester":"1262","observed_at":"2025-09-28 04:58:07.340658+00:00","record_version_id":"2546b70a6aa94cfaf51bf9db2ee2df5e7d954675c63d76d4f8e949bf87d25934","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-7b2f22d83ea05055ab90dcb77dc802382cccc6f7","semester":"1262","observed_at":"2025-05-21 17:56:46.096741+00:00","record_version_id":"278b9d370f84539f2f6a98e9cc0e457d5638ab5be049fd8b3ef320066f8c7e74","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-7ca1175502be18eb51f7b016818a884a43fd4ebb","semester":"1262","observed_at":"2025-07-29 06:28:23.644795+00:00","record_version_id":"5c0a9e82c902560d8c5ff14932ab6970d7e768928ea2538aaa1b52e6dd48812c","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-7d8cee5e42602ad9ba5dc0322085af2fa0dffaac","semester":"1262","observed_at":"2025-05-22 01:15:19.291664+00:00","record_version_id":"9529e826844ac1523ecf705b1abe155c93e15db0ea4aca77d60b72bb0ec533fb","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-81a0d6a7f668c98c59bd05fa988aa079c5ad1f68","semester":"1262","observed_at":"2025-05-31 07:49:50.419452+00:00","record_version_id":"3c051beaf4912f84b45b08a1bf838aa1ca658461b0ca7bf7563ab33b4c90c48b","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-82f31c08c746a214872494cde6ecaeb9330441b4","semester":"1262","observed_at":"2025-06-17 21:26:08.547156+00:00","record_version_id":"90290fceaa6205a7136119f8d3eb4d86d4bdef76d14133d3c9c28ab1079f3727","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-84c248343c5a99ab42c5616c594812a5e3e31cbb","semester":"1262","observed_at":"2025-07-04 06:00:07.487827+00:00","record_version_id":"7d0e81afd8c6df5a4f0578575940f60bb795883c27ffc8d67c732c7e322306de","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-86334e7275e315853287e8580c35456c68df800b","semester":"1262","observed_at":"2025-05-22 06:53:03.336354+00:00","record_version_id":"842013442b2d4bafbfc375de63e95319082eb6f94263e49f4cc7d5a108f7c415","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-8686dc1664f93a6c05f50321410961b39b12f91b","semester":"1262","observed_at":"2025-05-28 10:17:41.595894+00:00","record_version_id":"7a7005b00c043655a319d2a3a8c55f41de3997b97370f4b1bd6129344b5d3910","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-86d941366886c9a14a2581c04e20d0bdd25e1b02","semester":"1262","observed_at":"2025-08-31 04:54:14.656039+00:00","record_version_id":"74726b2e4f539bfeb87d692b683a896c29b0c4c10f3b782bbc06ec74ba9b43c7","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-8ba1d2e6cfbb1525b4f9f769ec164fb6ad0f237a","semester":"1262","observed_at":"2025-06-02 05:22:45.010398+00:00","record_version_id":"2a6441b8cd82b9ff0ab3e444da09bdc81da95521c448f3d06d234af7d9ef008e","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-90e5aa456689a3b222016c05c319bbcd0bddd453","semester":"1262","observed_at":"2025-05-25 02:00:10.037905+00:00","record_version_id":"17bdf94e6c6262ff4adb96193b499417b867654a74817b16a6ceb193c8431f91","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-92d960aa7e4cd6e4c9ac8b2e232092904038e9e4","semester":"1262","observed_at":"2025-06-08 01:50:46.451351+00:00","record_version_id":"dfc6b448beebef33b44790380d045bde57278e3563de01c7d4923c7ef3c0af13","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-94002ae588a8f71eca6d64105f2e603e8587293b","semester":"1262","observed_at":"2025-05-21 09:01:16.021508+00:00","record_version_id":"0bcd5119ddea834b3c779079f0e0141eb6eca5010fe8eebb5c868642fff6a7e5","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-9dd575e013c5c6e000ab3ad2d1288cc1dd9c96dc","semester":"1264","observed_at":"2025-12-21 04:47:46.589081+00:00","record_version_id":"176f4c5e9f0262d04113e66a5bba23d794dd1f19f9d6d2798a9fdc7d9302500d","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-a1ea26ed78cbd6e94bc3221e50a6ed9b6bf43871","semester":"1262","observed_at":"2025-05-25 09:16:55.180581+00:00","record_version_id":"176f4c1296a17bebb7b84d570d159c2a2055b7c4505c0264e072af745015b060","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-a76a3505853d5ea9c13bb98472b87361d469e2ee","semester":"1262","observed_at":"2025-05-28 18:03:41.793846+00:00","record_version_id":"68126303df336b5e9a6c09c74a55c2c3abb00d0a79779955133704b3fadfb312","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-b285d591f6acf3aa1910e02edc297664db86eb8c","semester":"1262","observed_at":"2025-06-10 22:48:22.460295+00:00","record_version_id":"312c52747291b7f6a0aa2aa1f3f8f17e4d6e6e45e7c1c29e91cddd1c656156b8","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-b79af756e4f00ba98231feb859ed8e98239eb811","semester":"1262","observed_at":"2025-05-22 02:47:56.931581+00:00","record_version_id":"201245a3567b850b0b2928b02a7f239c7eb99e1ee72d35ad13b57cc67be7d24f","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-b89e05b94730c6471439082d9279c0a834a4aeec","semester":"1262","observed_at":"2025-08-26 20:25:42.325239+00:00","record_version_id":"324fefc109330ff4d9a94eee8601201bcf8f638a2e50a72c262817a9a959c2f6","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-b9279a12d1f2688df9e556183c94d41a89e431dc","semester":"1262","observed_at":"2025-07-06 01:49:47.203835+00:00","record_version_id":"dbf847274768100cff1df1eec84259b3cbdbfe89089bd6228515d049958ad3ea","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-bbdc905e96cc681a5e9a8b02c795b682206e36d1","semester":"1262","observed_at":"2025-06-25 08:02:45.445730+00:00","record_version_id":"65c7fee2a9f83476bafa0bfc283c70d8a1c3ea6865c1dc791019064f6246082a","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-bde225b5243a13d81827aa173e39c78a652b54a0","semester":"1262","observed_at":"2025-05-23 07:22:33.219345+00:00","record_version_id":"4fb5a52af18bfc0ad8bb67d39f3558b5df9e100b37fda1d75312bc6f54239fe0","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-c1fac4cbfde737f4f4ac02cdf15e6f5a9b5b676d","semester":"1262","observed_at":"2025-05-22 01:15:19.291664+00:00","record_version_id":"9529e826844ac1523ecf705b1abe155c93e15db0ea4aca77d60b72bb0ec533fb","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-c6b62be45f8a13cba109ef2a7741b9cd9a6b8272","semester":"1262","observed_at":"2025-08-24 08:48:09.035112+00:00","record_version_id":"527f2087ae8134aba07b5eb6be0a1456c2c4271ecea5b703a2bc7e036d2aa90f","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-cc83f62cb6db61f39320916d819ad48ce55cd96d","semester":"1262","observed_at":"2025-05-22 00:45:35.735230+00:00","record_version_id":"bd6ae827912ced090f727ee0bea728dae1ae5c033ece2ea6400376e0ddb65dfa","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-d33818a01b6b4c5e2902e704da6e5b713742d4dc","semester":"1262","observed_at":"2025-10-13 10:46:24.251475+00:00","record_version_id":"c5dbd40fa528b69ea09d445464e2175e67777dc02f8ba40e2d6f29265c75e6e4","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-d3c17db9832d3064916046caf891dd23f10b1bb9","semester":"1262","observed_at":"2025-08-26 11:30:42.288639+00:00","record_version_id":"77d7a306cb5797e4c4be9b61019b9c4e4b1936d3bbeb35b56728abaabcd12a0c","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-d4ee226dc44268e9b6767fb9f5f20343322f494b","semester":"1262","observed_at":"2025-06-15 01:52:23.911697+00:00","record_version_id":"763701b8aaf136556ae8bb34e6f9c6273f84db51e97c88f800dd3e4f08eab368","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-d8f9fc7f136e2033556d9d65bbdbdf33425dbdc9","semester":"1262","observed_at":"2025-05-28 16:48:12.400438+00:00","record_version_id":"97b37212a8438fc757b9543f788b267d24e25531e958c214c7e80cff53a54c92","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-dbbc9739c616c3846b2e796e00a36fa41225f7d8","semester":"1262","observed_at":"2025-06-01 17:47:19.325144+00:00","record_version_id":"f3e03bdfa45b17e096840239412d52bcbdb87716c555863af4a9959603f34b54","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-dbe5f2d24b48c3177297a3d69c553cc9d1194bac","semester":"1262","observed_at":"2025-09-14 05:00:27.366070+00:00","record_version_id":"3fd0ca794f87b39ec84dc5316217c9165c491698172ac6e7f586f158a8ad373c","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-dd357dc2758e9e282c30988a527ce37de92593b9","semester":"1264","observed_at":"2025-10-19 01:39:41.951404+00:00","record_version_id":"7ff170ea8faa18ca3e7c34cc4085adbabf19ce291c2e8b6b6d56e0883b7624a5","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-de74de559e409a3fe668685e28043b888d2e6841","semester":"1262","observed_at":"2025-06-27 07:38:50.882897+00:00","record_version_id":"dfa30a90fe885decbc35920c2400be53d000a7001f547ddb9bc8121263519eb5","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-deca7188cf536ade3203cd88b52a45e92a059617","semester":"1262","observed_at":"2025-06-27 00:37:46.087071+00:00","record_version_id":"c473fc7fa0395353c11fd873e7b4cc7a9788a4e75707bda0a174472e7555c1ce","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-df60fa9ac3931c5612b0fa641b7a6f5fbec86fab","semester":"1262","observed_at":"2025-05-24 06:36:37.554678+00:00","record_version_id":"c99c0cb5be37e1ecdfb665613896f912dfa771d4fae85a1710c12fee80614d94","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-e339da2d849aaf8bb4dceca07a84728af23cf755","semester":"1262","observed_at":"2025-07-23 08:49:22.748925+00:00","record_version_id":"e54d1d737a6cdfa46508b906d482f164744b70e90e58bc71bff3b3f1080280f5","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-e934b1784835f5d36ae9b7ef0992b11e72c39142","semester":"1262","observed_at":"2025-06-01 06:21:25.219533+00:00","record_version_id":"3ad5e0d7c876981a372ae9728161c8831d3e0fad564bb3e28fdad150c989080c","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-ef471690c082448deebd2687eab84b0b78813c36","semester":"1262","observed_at":"2025-06-29 01:47:56.317645+00:00","record_version_id":"09990d89e5dc1c75b9f04f4be463223ce36599122db4a677a9b9b91d6391a52b","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-efc4e8e2cd7c3f68e059a308990c00c77c7611eb","semester":"1264","observed_at":"2025-10-16 05:48:13.935141+00:00","record_version_id":"19d1c650a5a2de9f5db0882bc7dd63eba7ac5ba133f7ca75c8d19f38e6a18bb4","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"},{"run_id":"legacy-f18b7749725097d41f69c60779ff38cf073b93b3","semester":"1262","observed_at":"2025-05-21 19:52:03.259353+00:00","record_version_id":"a46cb925a4d34168993f3041e233e85c86a0883930eaef72d7742d05392b4494","course_id":"MATH 776","course_uid":"course_5972d187537e5fafe873b4ec","catalog_version_id":"34376c35b922aea57e66c606979762b04e76521046f4c8dfbd0341621d1de2b6","course_number":776,"subjects":["MATH"],"title":"MODEL THEORY","description":"Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such asMATH 770is strongly recommended.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"}]