Math 800, Spring 2008
Meetings and Outlines
Paper Topics
Bibliography
Readings
Collective Nouns Exercise
Basic Set Theory; Trivial 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
Gödel's & Tarski's Theorems
Back to James T. Smith home page, Department home page, University home page
11 November 2022