Transfinite Induction or Transfinite Recursion or The Axiom of Replacement

by

Stephen Watson

Proceedings of the First Summer Galway Topology Colloquium (1997)