[{"run_id":"20260906T231458-5fdd2fff","semester":"1272","observed_at":"2026-09-06 23:14:58.172943+00:00","record_version_id":"62a2b2d474272dc3206c234b23855f84bb26d8c4aad5d3594bf063592f927e9c","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"62a2b2d474272dc3206c234b23855f84bb26d8c4aad5d3594bf063592f927e9c","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"090d07c50ca9851f34a5db61c16a7dc5d411a7bded1b4c430a73a1dcc6774b44","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"090d07c50ca9851f34a5db61c16a7dc5d411a7bded1b4c430a73a1dcc6774b44","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"6783392fb8e9576303c229c66ff6f1dd2d35b6985064824ff155dc4e821a4746","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"83213c71aad9500ec94b3cffeb5ee18d75ff32acf19fd7639e1596c98885a224","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"036482133614b9c34caac0321fb9e433c9cd729d3dbafb78ac5bf5d3a4efdf36","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"2c7e14f905c80505f58440197bbf2835512c7f01b5ba7431b46c44625d4afd03","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"680d7486b96ecdf225dfc3768357815b07e11cad89b71f97550d11aebb51c779","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"c9f957c934df5e6440edb6a415fba3b221630374794c489a73d3b1a376cead4d","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"b45b50df185df54ffe5dbcbabd9ad5c6ab03f4150740c5dda164d76df6137c41","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"08ef50c338a8ec0983bcb1c57e4a9095528e917b003e1dac5efc3594531cd6ab","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"f4c5a16228d4c21429ec8a6f892428cf4e5533517942fb4ed4798626f1a40f65","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"cc26b7799e23db645e0e5086647bb5a3ea3f35262eb2d1146882510d7fda7d4b","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"bd5a524e89598869f290f49e6eb78ae959eea3751e884f08e235d42c7406e9ba","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"62d2e086ebd57bf2548f91851960bee6da6900e29a6291285a0175e286371b24","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"a3f4e2ea1dcb95aeec21e26895f4012e7ddf101bb43ec5c78782a5821de7b2bd","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"b6488ec25b56bb934aad1490107b920059a38877d3db7bafab4ce007ead24555","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"220a4d7593c199fdb8e622a88af591d4fc63d6b828a6b39bdb529085cf919c2a","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"600f392a32f6f0b592edb790c49fa0804c3a97b5ff29320708d37f2041d353a4","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"74d93eb7601ca50d7f25d125e57d2bfd5bbb41c8ce027cc9d0b251627260468e","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"6242e410fb39ce206722fc074923f630536af211aa7cd57ca584dca3117c2800","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"12e6cd800fa849f1f0454892a75f0e7c09b5c8a142983b2e0e88144eaa6d6507","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"002967875dbfbb6f24bf5c60e731510608a97bfedb4b71390567af16997dd405","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"d8ec520f5cc0c9b06beda586e9c8af55f410a0cdc509896e334722dcc0d29d12","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"82a6e3032cc3b2095a0c05988cbaac5fc7b03bd4aed21afeaae4b0862fac2201","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"e6c5c85b4897ba38c99e97ea26a7dfee38687c81a2d4e87934e2ca181f2463d9","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"3ee3ad498c471c9d344af2e10e02d7ec9b1e0b261eda421514c13962b3cb6c7b","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"46d36854148d2599b3b9c04d5885a5aa20645e080eeea33e9b0a5e7d2d4eb672","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"6ec714762b6a90913b7e47aabcd549229441243fec6f61ad58b83770fce6663b","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"ce7890d74dd693817d8477c85e8f2f0807e7144ea142e4ac020876e4c9b2a967","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"1f28e3608d5546e1d2b45c80d613771bd1291e545e64df653c9fd99adf6cd9fe","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"7cd0adc96b0a9551ac0bfc7b4df7e63fd0938e24340cac11de2e99a52789b0a4","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"9da822a0fe9b0c064cae920270505bfce17fd0e2789f029b207fe04be19eed5a","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"8dfeb13bb852558874e08f8ae4610916139b2b72a1342530c0cc3e3be4836083","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"a9c448c58148b3a99e0113e5f99ba4c75663dbe2b34fb1b7c9dcbf6da7472eb9","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"a125a1708db8e863fe116db6d90e616b4e9939cef9ef482b5a7b965ae49fb927","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"a2e8a4a4571505f43e6744c7f69b2bf621cbfb60a41b37a94b7b45fc452f704d","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"43fb13e0687c76cbdc1ab16bf3a5246b420bf4126a09efe8faf1299955d7e227","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"8dfeb13bb852558874e08f8ae4610916139b2b72a1342530c0cc3e3be4836083","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"58aba6410e05eb596078add108ba3f8b9e29342725b7430e6ac01f9700255cb7","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"cb717b1141b07a186eedf8768e5ac9b47d706ee500b8fd9ded67003baeb3ce34","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"224e6be1a4aaafc3402740b5321ccb8000b06a90392fc7211c9823c3292a3099","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"0281cc79b303b4b6e2ac1125fe906ffd482edc80524ad0930193e927337ae960","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"bf40fffd0069a3f58a85fa4c70efc885f4c3a3b5d7bd098afe51dec3ba81bad1","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"cae2dedc72b93bbac72f0488f0028ccdfb79dfd436c9647651c4fcece6a9edf0","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"ca6f7e6215863982a513f951188109b8329b5736282de6e0f6da7de40c227b92","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"1f28e3608d5546e1d2b45c80d613771bd1291e545e64df653c9fd99adf6cd9fe","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"367beacde79af18a86f1732b26c53e2b7a5a6958ac6c3336b85ad41f1e0976ea","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"0cbb055cfcc32f711daaeedc40e6266e71f8b18845fd7706ae4571086d2893b4","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"5e14a5cc824939dde19bc39ff5ff244b563f6496f5d27132b546b18d0170ba4e","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"e632dfe301d1ce8c601a01cd96cda3f9dfeda0579be2583ed39a80d5de60592e","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"11e31544abb8e61cad7b2f93fd40b86bcad42fae74ee59f810e8c46c9de5e226","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"c70c905c9e32c1f06ad1de75390eed8590cc394e9876fd94c2ecc2d225726f9b","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"16803d952a20d1a68d1fb0d11e8e17977dee576dedb4a359db07c4335d813b34","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"86631dd437b18a6c261add56111bded8f9821f27cbb59e6e20f48a79af78cbe9","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"b9ffb22c97c63b564ddae77f8c1eaf493e59cdb774dc94510e0351896a6f1712","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"046d3fc33699325bf3de3abe2e807ce9a37cfe9c93a8b8fe9ff9523de1d41d84","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"7a1285e71678c971e25202c2139842de94adba71460a708ed53cb90de75e46d2","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"5cdcbe5ee9679be53159f4b5ce6118da50a3d7a0239ba7bf02feec0b8249d891","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"3ee3ad498c471c9d344af2e10e02d7ec9b1e0b261eda421514c13962b3cb6c7b","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"c9830c92dde74f71635df6c63276c98682a47459ecdd9086224e292879031f84","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"913294f88f68e1f1ee965f5e9f75440a15fedc65ec1904889c89a2344597756a","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"39d5963bedf55a29b3ae51b5c7e33693aa9eb093f91a06e7bf7d63cab58e9680","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"a9c448c58148b3a99e0113e5f99ba4c75663dbe2b34fb1b7c9dcbf6da7472eb9","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"a28c688d9057b9b93adb75f0dc9b015e44608ad49c4f639995f2d3693a5f3601","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"ca6f7e6215863982a513f951188109b8329b5736282de6e0f6da7de40c227b92","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"4415f378efe2f6fa96e012740265f0f9ca68b8c2612df0ab2f276165e855721c","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"a94ff0396330beab054512e73d08c3e7a81ce768ea998c9c71f58a74285e430f","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"3b0a4fc1191686dd9cafe044add69265bdded3615f9f4cc89d69084d47348b55","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"afc224d2032d0b321f810940b1a9249b3e6b7cf464dbfc7123dd1a72c4cf3bef","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"5fd6571c4feab33003afd41b4e723ffa9762a5b69596c51c7b9472a2c71a78fd","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"3fc953211ed1b2f0dbbd56d1cd23d7a343a7c5b67fc2fca7cfaba9cc3471fba8","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"95bf7a1e716628c0b59ab91214572903ba2d7ee8193f150db2475f2cf61a5875","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"182bc6a60b36c88da61a2d62c440611e96252ee426d7e57fcb2dff03544a54c6","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"867b128de480ca06fc3147dac0d98ee78e3c00247c5736ad5534fcb0242c819a","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"d2285195385d32732951bb5f511fd48c2e87d4f1ec464e8f3dff204164ffbfca","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"1ff0f1fa7b12c8aac02bcf23e9658bb150c2c0db2e26d95ac70187a273b3c79c","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"053c925123e0445efa46658b9f988ebb6d5b30e4348c0686decb4b2739bb70b1","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"647ccfd0b690ee39411bac630b8a34388fd2fc2ac04d5350db61c96e0fc3a218","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"6e3777ac6069021a24d07dbf0297e5838d1b34994020fb46793352a648d7dc3d","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"0101da78b1b6f83abda4a6045e8235b72def5b9ebbee782e8315faef7e919dd4","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"46d36854148d2599b3b9c04d5885a5aa20645e080eeea33e9b0a5e7d2d4eb672","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","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":"da31c16a39541abe62cb17650cbaf30394137b9f2596e024efd32f0e9f19678e","course_id":"MATH 770","course_uid":"course_bdcdafe99c9aab1eafa8371d","catalog_version_id":"0fd94310e6b7edfca05311db9cd858518d0b2b1b0f3e07a8925fefb1c4012154","course_number":770,"subjects":["MATH"],"title":"FOUNDATIONS OF MATHEMATICS","description":"First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.","requirements_text":"Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program"}]