James T. Smith


Math 800, Spring 2008




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


11 November 2022