Meets:    TR 11am–12:15pm in RH 247.
Instructor:    Eric Moorhouse,   Ross 216,   766-4394.

I am lecturing on the first half of Cameron's book, including some examples of axioms, proofs and models in first order logic.
At this point, please stop me and ask questions if there is anything that is unfamiliar or unclear!  Also please refer to Cameron's book and make sure
that you are following.  If you have already taken a course in first order logic, it may be sufficient to skim through and convince yourself you understand
what we are talking about.  If not, you should seriously read more carefully, keeping pace with the lectures.

Also listed below are some handouts and videos that may help you fill in the gaps on some topics that may be less familiar.

And please take time to complete the two surveys found on WyoCourse, under the Quizzes tab.

Links/Handouts

•   Lecture Slides/Videos/Computer sessions
•   Syllabus / Policies
•   Students and Teachers Working Together (UW policy on the rights and responsibilities of students and teachers)
•   UW Policy on Academic Honesty
•   Some background videos:
  •   Sets
  •   Cardinality
  •   Uncountability
  •   Logic
•   and handouts
  •   Cardinality and Infinity
  •   Zorn's Lemma
  •   Transfinite Induction using ordinals
•   Two interviews of set theorist Joel David Hamkins
  • 2-hour interview by Daniel Rubin (lower level, assuming some knowledge of cardinality but not of ordinals), August 2021
  • 3-hour interview by Robinson Erhardt (slightly higher level), January, 2023
•   Slides from Aaron McClellan's talk on Propositions as Types
•   Notes on Indiscernibles and an application to geometry, due to Cherlin.
•   HW (version of March 25).  Submit on WyoCourses any problem solutions you want to be considered for the written homework portion of the course grade.  If you opt for oral evaluation rather than written evaluation, refer to these problems as personal practice in preparation for our discussion(s).
•   Ultrafilters and the Hyperreals.  This is summarized in my talk on Finitely Additive Probability Measures on the Integers

/ revised January, 2023