James T. Smith

 

Math 800, Spring 2008

 

Some of these materials have been prepared by Adobe Acrobat in Portable Document File (PDF) format. If you don't have a recent copy of the Adobe Acrobat Reader, click here to download it.  (It's free.)  Acrobat(R) Reader copyright (C) 1987-2007 Adobe Systems Incorporated. All rights reserved. Adobe and Acrobat are trademarks of Adobe Systems Incorporated.

 

Syllabus

Meetings and Outlines

Paper Topics

Bibliography

Course outcome

 

Readings

Typefaces I Use in Mathematics

Collective Nouns Exercise

Basic Set TheoryTrivial Exercises Solutions

Need for a Rigorous Set Theory

Equivalences and Partitions

Partially Ordered Sets Substantial Problem 1 Solution

Complete Lattices

Cardinals I

Axiom of Choice

Maximal Principles

Cardinals II

Boolean Logic

Binary Arithmetic

Binary Addition Circuit

Virtual Classes

Natural Numbers 

Zermelo-Fraenkel Set Theory

Gödel's & Tarski's Theorems

 

Back to James T. Smith home page, Department home page, University home page

 

07/03/08