Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutat

This is the proceedings of the AMS special session on nonstandard models of arithmetic and set theory held at the Joint Mathematics Meetings in Baltimore (MD).

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, for