Dana S. Scott

• Axiomatic Set Theory
• Higher set theory
• Kurt Gödel and the Foundations of Mathematics
• The innovative university
• The seventeen provers of the world
• Data types as lattices
• Kurt Godel and the Foundations of Mathematics
• Outline of a mathematical theory of computation
• Removal of phosphates and metals from sewage sludge
• The lattice flow diagrams