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). The volume opens …
Consists of papers presented at the first three meetings of the Boise Extravaganza in Set Theory (BEST) at Boise State University (Idaho) in 1992, 1993, and 1994. This title …