TY - BOOK AU - Enayat Ali ed. ED - AMS Special Session on Nonstandard Models of Arithmetic and Set Theory ED - AMS special session on nonstandard models of arithmetic and set theory TI - Nonstandard models of arithmetic and set theory: proceedings SN - 0-8218-3535-1 U1 - 510 PY - 2004/// CY - Providence PB - AMS KW - Set theory ER -