Author: International Colloquium on Nonstandard Mathematics (July 18-22, 1994 University of Aveiro, Portugal)