Victoria Symposium on Nonstandard Analysis: University of Victoria 1972

An application of elementary model theory to topological boolean algebras.- Analytic sets in M(D).- Boundary value theorems for meromorphic functions defined in the open unit disk.- A local inverse function theorem.- Nonstandard topological vector spaces.- A non-standard integration theory for unbounded functions.- Cardinality-dependent properties of topological spaces.- Enlargements contain various kinds of completions.- Semi-reflexivity of the nonstandard hulls of a locally convex space.- Invariance of the nonstandard hulls of a uniform space.- Models of arithmetic and the semi-ring of recursive functions.- Near periods and Bohr compactifications.- Monotone complete fields.- Quantum mechanics, quantum field theory and hyper-quantum mechanics.- Topos-theoretic factorization of non-standard extensions.- A nonstandard representation of Borel measures and ?-finite measures.- A note on continuity for robinson¿s predistributions.- Field embeddings of generalized metric spaces.- Homeomorphism types of generalized metric spaces.- Conditional probabilities and uniform sets.- Omitting types in arithmetic and conservative extensions.- The strength of the Hahn-Banach theorem.- Enlarged sheaves.- A nonstandard characterization of mixed topologies.- Applications of fractional powers of delta functions.- Two topologies with the same monads.- A new variant of non-standard analysis.