STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 6 —— A MEYTING, Anton HJ. KEISLER, Madion A. MOSTOWSKI, Warzone ‘A. ROBINSON, New Havor P, SUPPES, Staxord K. LDP BOUVERE, Se Ce aE SET THEORY AN INTRODUCTION TO LARGE CARDINALS FRANK R. DRAKE part of Pare Mathonate “he Uneraly of Laode{© NORTIEHOLLAND PUBLISHING COMPANY 14 Ati roe prt of i alton ny Beir seeder ‘retrial eo ry. es cs a iver of Cores Cte Co be 8 Past ee nhs fr USA. nd Cae To VenaPREFACE, During the last ien yeas or 40, st shear hs see an explosion eh hs rated in an enormous amount of Wor belo plished in Ipany seater placer, not ocomiderale amount belay cieulted ‘nly in tance or much-opled mimeographed nots. Ts the ‘Surpass book gather toster some of ts work, peal ta [ov for raduate students, ‘ow af the recent resale in set theory cn be put ato two brosd categories, The Sint are independence els wing forcing methods (Ge boolean valued sod introduced by Cohen 1983 Thre have {Gen ve usfl fenton thi bo, and oti ope wil at be hvred agua hte. The oer broad category the subject of lege ‘sin a topi largely pioneer by Taek and is student in ‘Bere inthe late ova early. When th en was pot to me of eli texting Ser ests on the aplcton of mol theory Inet bey, Ie seed appropriate to try to summarize this whole tren So the main im of this bok rt ntodace the atiods se a the sy of lege earinaly and to pte examoles of tle use. Sie, tris to be expected, there are els which use forcing methods inthe Study of tre carla std also ne results are being announced a8 ‘rt ths tex iby no means complete; but Tope tha wil prove a Ue etodution. One prt ofthe subnet, faites Leguase, has eee adequate treatment eoubare, and T Bae only given a short Probl the mort portant tool ws in saying large ccna it mates! lope and I bave assumed ome friars with the flaps evs of og. think tat an erage andergradate Course in ‘mathemtir would cover the work needed included some formal ork on loi many txts ae ave which covert, Moet the ‘ts gradats il ao have mt some (maybe al ofthe development ‘set theory which {hae lsd in thir book Chap 2; bat ore itseamed bet tog over thi elementary work fom the besiasng, arly becae many diferent nottlons aad vrata ta delaons ‘ein we inthe torture and teed ise to geal the defaitons Tam wing; and party boease when I came to conser bat pat T ‘ould comvenienty ssn known othe reader, sumed o be caly 2