{"id":793,"date":"2017-08-14T11:46:47","date_gmt":"2017-08-14T15:46:47","guid":{"rendered":"https:\/\/people.clas.ufl.edu\/cenzer\/?page_id=793"},"modified":"2026-03-19T08:10:45","modified_gmt":"2026-03-19T12:10:45","slug":"mhf-6306","status":"publish","type":"page","link":"https:\/\/people.clas.ufl.edu\/cenzer\/mhf-6306\/","title":{"rendered":"Mathematical Logic 1"},"content":{"rendered":"\r\n<section class=\"fullwidth-text-block\">\r\n\t<div class=\"container px-0 pt-5\">\r\n\t\t<div class=\"row align-items-start\">\r\n\t\t\t<div class=\"col-12\">\r\n\t\t\t\t\n<h1 class=\"wp-block-heading\">Mathematical Logic 1<\/h1>\n\n\n\n<p>MHF 6306, Section 02G6<br>\nMWF 8th (3:00-3:50), Little 233<\/p>\n\n\n\n\n\n<p>Instructor: Douglas Cenzer<\/p>\n\n\n\n\n\n<p>Office: 361 Little Hall, 294-2313<br>\nEmail: cenzer@ufl.edu<br>\nInternet: www.people.clas\/cenzer<br>\nOffice Hours: M 7th, W 3d, F 4th, and by appointment.<\/p>\n\n\n\n\n\n<p>This course is the first of a two-part introduction to mathematical logic at the graduate level.<br>\nThe main topics are model theory, computability, and set theory. The course will begin with a review of<br>\nbasic logic, including the language of predicate logic, mathematical structures, and deductions, including Godel&#8217;s Completeness Theorem. Fall semester will include an introduction to computability, leading to Godel&#8217;s Incompleteness Theorem, and an introduction to model theory. <\/p>\n\n\n\n\n\n<p>REFERENCES<\/p>\n\n\n\n\n\n<p>Fundamentals of Mathematical Logic, Peter Hinman<\/p>\n\n\n\n\n\n<p>Model Theory, an Introduction, by David Marker<\/p>\n\n\n\n\n\n<p>Computability Theory, by Barry Cooper<\/p>\n\n\n\n\n\n<p>Foundations of Mathematics Notes, by Cenzer, Larson, Porter, Zapletal<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a title=\"Foundations Notes\" href=\"https:\/\/people.clas.ufl.edu\/cenzer\/content-removed\/\"> Foundations Notes <\/a><\/li><\/ul>\n\n\n\n<ul class=\"wp-block-list\"><li><a title=\"Syllabus\" href=\"https:\/\/people.clas.ufl.edu\/cenzer\/courses\/mhf-6306\/syllabus\"> Syllabus <\/a><\/li><\/ul>\n\n\n\n<p>IMPORTANT:  The first class meeting will be Friday, August 25.<\/p>\n\n\n\n\n\n<p>Please read Chapter 3 of the Foundations Notes. <\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a title=\"Problem Set One\" href=\"https:\/\/people.clas.ufl.edu\/cenzer\/content-removed\/\"> Problem Set One <\/a><\/li><\/ul>\n\n\n\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t<\/div>\r\n<\/section>\r\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":144,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-793","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/pages\/793","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/users\/144"}],"replies":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/comments?post=793"}],"version-history":[{"count":11,"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/pages\/793\/revisions"}],"predecessor-version":[{"id":1091,"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/pages\/793\/revisions\/1091"}],"wp:attachment":[{"href":"https:\/\/people.clas.ufl.edu\/cenzer\/wp-json\/wp\/v2\/media?parent=793"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}