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.



Meetings and Outlines

Paper Topics


Course outcome



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