{"id":1604,"date":"2022-12-20T21:40:17","date_gmt":"2022-12-21T02:40:17","guid":{"rendered":"https:\/\/people.clas.ufl.edu\/zapletal\/?page_id=1604"},"modified":"2026-03-19T08:13:40","modified_gmt":"2026-03-19T12:13:40","slug":"set-theory-spring-23","status":"publish","type":"page","link":"https:\/\/people.clas.ufl.edu\/zapletal\/set-theory-spring-23\/","title":{"rendered":"Elements of set theory Spring 2023"},"content":{"rendered":"\r\n
\r\n\t
\r\n\t\t
\r\n\t\t\t
\r\n\t\t\t\t\n

Elements of set theory Spring 2023<\/h1>\n\n\n\n

Course: <\/strong>Elements of set theory, MHF 4102 and Introduction to Set Theory MHF5107, class number 22207<\/p>\n\n\n\n\n\n

Meeting time and place: <\/strong>ARCH0215, MWF 4th<\/sup> period<\/p>\n\n\n\n\n\n

Instructor: <\/strong>Jindrich Zapletal<\/p>\n\n\n\n\n\n

Office: <\/strong>456 Little Hall, office hours MWF 3rd period<\/p>\n\n\n\n\n\n

Contact: <\/strong>zapletal@math.ufl.edu<\/a>, 352-294-2343<\/p>\n\n\n\n\n\n

Course Description:<\/span><\/strong><\/p>\n\n\n\n

Basic axioms and concepts of set theory. Basic axioms and concepts of set theory, axiom of choice, Zorn’s lemma, Schroder-Bernstein theorem, cardinal numbers, ordinal numbers, and the continuum hypothesis. Students present proofs. Credit will be given for at most one of MHF 4102 or MHF 5107.<\/p>\n\n\n\n

Prerequisites:<\/strong> MAS 4105 with a minimum grade of C.<\/p>\n\n\n\n\n\n\n\n\n\n

Course Objectives: <\/span><\/strong>Students who successfully complete the course will understand how mathematics is built up from set theoretic axiom system.<\/span><\/p>\n\n\n\n\n\n

Textbook: <\/strong>Set Theory and Foundations of Mathematics. An Introduction to Mathematical Logic. Volume I Set Theory. World Scientific 2020 ISBN 978-981-120-192-9 for a paper version. UF library has an online version here<\/a><\/p>\n\n\n\n\n\n

Grading: <\/strong>There will be two take home midterm exams and a take home (non-inclusive) final, each worth 100 points.\u00a0 The total grade will be figured according to the standard flat curve: A above 93%, A- 90-92%, B+ 87-89%, B 83-86%, B- 80-82%, C+ 77-79%, C 73-76%, C- 70-72%, D+ 67-69%, D 63-66%, D- 60-62 %, E, I, NG, WF 59%.<\/p>\n\n\n\n\n\n\n\n\n\n\n\n

Diversity, equity, and inclusion statement. <\/strong>It is my intent that students from all diverse backgrounds and perspectives be well served by this course, that students\u2019 learning needs be addressed both in and out of class, and that the diversity that students bring to this class be viewed as a resource, strength, and benefit. It is my intent to present materials and activities that are respectful of diversity: gender, sexuality, disability, age, socioeconomic status, ethnicity, race, religion, and culture. Your suggestions are encouraged and appreciated. Please let me know ways to improve the effectiveness of the course for you personally or for other students or student groups. In particular, I will gladly honor your request to address you by an alternate\/ preferred name or gender pronoun. Please advise me of this preference early in the semester so I may make appropriate changes to our records.<\/p>\n\n\n\n\n\n

Honor code. <\/strong>UF students are bound by The Honor Pledge which states, \u201cWe, the members of the University of Florida community, pledge to hold ourselves and our peers to the highest standards of honor and integrity by abiding by the Honor Code. On all work submitted for credit by students at the University of Florida, the following pledge is either required or implied: \u201cOn my honor, I have neither given nor received unauthorized aid in doing this assignment.\u201d The Honor Code specifies a number of behaviors that are in violation of this code and the possible sanctions.\u00a0Click here to read the Honor Code.\u00a0Links to an external site.<\/span><\/span><\/a>Furthermore, you are obligated to report any condition that facilitates academic misconduct to appropriate personnel. If you have any questions or concerns, please consult with the instructor\u00a0 in this class.<\/p>\n\n\n\n\n\n

Class attendance. <\/strong>Requirements for class attendance and make-up exams, assignments, and other work in this course are consistent with university policies.\u00a0Click here to read the university attendance policies.Links to an external site.<\/span><\/span><\/a><\/p>\n\n\n\n\n\n

Accommodations for students with disabilities. <\/strong>Students with disabilities who experience learning barriers and would like to request academic accommodations should connect with the disability Resource Center.\u00a0Click here to get started with the Disability Resource Center.\u00a0Links to an external site.<\/span><\/span><\/a>It is important for students to share their accommodation letter with their instructor and discuss their access needs, as early as possible in the semester.<\/p>\n\n\n\n\n\n

Online evaluations. <\/strong>Students are expected to provide professional and respectful feedback on the quality of instruction in this course by completing course evaluations online via GatorEvals.\u00a0Click here for guidance on how to give feedback in a professional and respectful manner.\u00a0Links to an external site.<\/span><\/span><\/a>Students will be notified when the evaluation period opens, and can complete evaluations through the email they receive from GatorEvals, in their Canvas course menu under GatorEvals, or via\u00a0ufl.bluera.com\/ufl\/.\u00a0\u00a0Links to an external site.<\/span><\/span><\/a>Summaries of course evaluation results are available to students here.Links to an external site.<\/span><\/span><\/a><\/p>\n\n\n\n\n\n

Complaints. <\/strong>The official UF policy for filing a complaint about the course may be found\u00a0here<\/a>.<\/p>\n\n\n\n\n\n

Health and wellness. <\/strong>U Matter, We Care<\/em>: If you or someone you know is in distress, please contact\u00a0umatter@ufl.edu,\u00a0<\/a>352-392-1575, or visit\u00a0U Matter, We Care website\u00a0Links to an external site.<\/span><\/span><\/a>to refer or report a concern and a team member will reach out to the student in distress.<\/p>\n\n\n\n\n\n

Counseling and Wellness Center<\/em>:\u00a0Visit the Counseling and Wellness Center website\u00a0Links to an external site.<\/span><\/span><\/a>or call 352-392-1575 for information on crisis services as well as non-crisis services.<\/p>\n\n\n\n\n\n

Student Health Care Center<\/em>: Call 352-392-1161 for 24\/7 information to help you find the care you need, or\u00a0visit the Student Health Care Center website\u00a0Links to an external site.<\/span><\/span><\/a>.<\/p>\n\n\n\n\n\n

University Police Department<\/em>:\u00a0Visit UF Police Department website\u00a0Links to an external site.<\/span><\/span><\/a>or call 352-392-1111 (or 9-1-1 for emergencies).<\/p>\n\n\n\n\n\n

UF Health Shands Emergency Room \/ Trauma Center:\u00a0<\/em>For immediate medical care call 352-733-0111 or go to the emergency room at 1515 SW Archer Road,<\/p>\n\n\n\n\n\n

Gainesville, FL 32608;\u00a0Visit the UF Health Emergency Room and Trauma Center websiteLinks to an external site.<\/span><\/span><\/a><\/p>\n\n\n\n\n\n

Academic resources. <\/strong>E-learning technical support<\/em>: Contact the\u00a0UF Computing Help Desk\u00a0\u00a0Links to an external site.<\/span><\/span><\/a>at 352-392-4357 or via e-mail at\u00a0helpdesk@ufl.edu.<\/a><\/p>\n\n\n\n\n\n

Career Connections Center<\/em>\u00a0Links to an external site.<\/span><\/span><\/a>: Reitz Union Suite 1300, 352-392-1601. Career assistance and counseling services.<\/p>\n\n\n\n\n\n

Library Support<\/em>\u00a0Links to an external site.<\/span><\/span><\/a>: Various ways to receive assistance with respect to using the libraries or finding resources.<\/p>\n\n\n\n\n\n

Teaching Center<\/em>\u00a0Links to an external site.<\/span><\/span><\/a>: Broward Hall, 352-392-2010 or to make an appointment 352- 392-6420. General study skills and tutoring.<\/p>\n\n\n\n\n\n

Writing Studio<\/em><\/a>:\u00a0<\/em>2215 Turlington Hall,\u00a0<\/em>352-846-1138. Help brainstorming, formatting, and writing papers.<\/p>\n\n\n\n\n\n

Student Complaints On-Campus<\/em>:\u00a0Visit the Student Honor Code and Student Conduct Code webpage for more information\u00a0Links to an external site.<\/span><\/span><\/a>.<\/p>\n\n\n\n\n\n

On-Line Students Complaints<\/em>:\u00a0View the Distance Learning Student Complaint Process\u00a0Links to an external site.<\/span><\/span><\/a>.<\/p>\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":251,"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-1604","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1604","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/users\/251"}],"replies":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/comments?post=1604"}],"version-history":[{"count":3,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1604\/revisions"}],"predecessor-version":[{"id":1767,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1604\/revisions\/1767"}],"wp:attachment":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/media?parent=1604"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}