Scribd
Upload
18 views

MAT409H1F Fall2022 Syllabus-1 240114 235049-1

Uploaded by

Edward Zhang
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
18 views

MAT409H1F Fall2022 Syllabus-1 240114 235049-1

Uploaded by

Edward Zhang
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

SET THEORY AND MODEL THEORY

MAT409 H1F/MAT1404 H1F: FALL 2022

Instructor: Stevo Todorcevic


Office: BA6270
Email: [email protected]
Classes: Mondays 2-5pm
Office hours: Mondays 1-2pm
Literature: W. Just and M. Weese Discovering Modern SetTheory, Volumes I and II, other
references to papers or survey articles will be given as we go on.

ASSIGNMENTS, TERM AND FINAL ASSESTMENTS, AND MARKING SCHEME:

There will be five homework assignments each worth 6 points. There will be one term
assessment worth 20. There will be Final Assessment worth 50 points. The Final Score
will be sum of these (100 points being the maximum).

COURSE OUTLINE

0. Axioms and Models of Set Theory Axioms of set theory will be listed both informally
and as the formal axiomatic
S system ZFC. We will use them to study the Von Neumann’s
universe of sets V = α∈ORD V as well as other models of the theory ZFC, its subtheories
and its extensions.
1. Filters and Ideals. The notions of filters, ideals, ultrafilters will be introduced. Their
applications in the ultrapower construction will be stressed. Stone duality theorem is
another important theorem where they play crucial role.
2. Elementary submodels. Elementary submodels of structures of the form (Hκ , ∈) and
their applications such as the ∆-system lemma or the Erdős-Rado theorem.
1
2 MAT409 H1F/MAT1404 H1F: FALL 2022

3. Measurable cardinals. Measurable cardinals and the ultrapower of the universe. Appli-
cations of measurable cardinals as as analytic determinacy and the Lebesgue measurability
of projective sets of low complexity.
4. Kőnig infinity lemma and its generalizations. The Kőnig infinity lemma and its
applications. The tree property at higher cardinals- Aronszajn, Kurepa and Souslin trees.
5. Ramsey theorem and its generalizations. Ramsey theorem. Erdős-Rado theorem,
Weakly compact cardinals. Specker theorem. The Open Graph Axiom.
6. Gaps in quotient structures. Hausdorff’s (ω1 , ω1 )-gap in P(ω)/F in. Rothberger’s
gaps. The influence of the Open Graph Axiom on gaps in P(ω)/F in.
SET THEORY AND MODEL THEORY 3

Academic Integrity
All suspected cases of academic dishonesty will be investigated following procedures
outlined in the Code of Behaviour on Academic Matters
(https://governingcouncil.utoronto.ca/secretariat/policies/code-behaviour-academic-matters-
july-1-2019).
If you have questions or concerns about what constitutes appropriate academic behaviour
or appropriate research and citation methods, please reach out to your Course Instructor.
Note that you are expected to seek out additional information on academic integrity from
me or from other institutional resources (for example, the University of Toronto website
on Academic Integrity
https://academicintegrity.utoronto.ca/).
Copyright
This course, including your participation, will be recorded on video and will be available
to students in the course for viewing remotely and after each session. Course videos and
materials belong to your instructor, the University, and/or other sources depending on the
specific facts of each situation and are protected by copyright. Do not download, copy,
or share any course or student materials or videos without the explicit permission of the
instructor. For questions about the recording and use of videos in which you appear, please
contact your instructor.
Accessibility
The University provides academic accommodations for students with disabilities in ac-
cordance with the terms of the Ontario Human Rights Code. This occurs through a
collaborative process that acknowledges a collective obligation to develop an accessible
learning environment that both meets the needs of students and preserves the essential
academic requirements of the University’s courses and programs. Students with diverse
learning styles and needs are welcome in this course. If you have a disability that may
require accommodations, please feel free to approach your Course Instructor and/or the
Accessibility Services office as soon as possible. The sooner you let us know your needs the
quicker we can assist you in achieving your learning goals in this course.
Link to Accessibility Services website:
https://studentlife.utoronto.ca/department/accessibility-services/
Equity, Diversity and Inclusion
The University of Toronto is committed to equity, human rights and respect for diversity.
All members of the learning environment in this course should strive to create an atmo-
sphere of mutual respect where all members of our community can express themselves,
engage with each other, and respect one another’s differences. U of T does not condone
discrimination or harassment against any persons or communities.
Important Academic Dates Deadlines
The academic dates include enrolment dates, drop deadlines, exam periods, petition
deadlines and more. https://www.artsci.utoronto.ca/current/dates-deadlines/academic-
dates

You might also like