Studier i logikk og matematikkens grunnlag, Volum 102: Mengdelære: En introduksjon til uavhengighetsbevis gir en grundig innføring i relative konsistensbevis innen aksiomatisk mengdelære. Boken dekker et bredt spekter av emner, inkludert kombinatorikk, mengder, trær og forcing. Den starter med å utforske de fundamentale prinsippene i mengdelære og uendelig kombinatorikk. Diskusjoner fokuserer på Suslin-problemet, Martins aksiom, nesten adskilte og kvasi-adskilte mengder, trær, ekstensionalitet og forståelse, relasjoner, funksjoner samt velordning, ordnede kategorier, kardinaler og reelle tall. Manuset viderefører deretter diskusjonen til velgrunnlagte mengder og enkle konsistensbevis, som inkluderer relativisering, absolutthet, refleksjonsteoremer, egenskaper ved velgrunnlagte mengder og induksjon og rekursjon på velgrunnlagte relasjoner. Publikasjonen utforsker konstruerbare mengder, forcing og iterert forcing. Emner som behandles inkluderer Easton forcing, generell iterert forcing, Cohen-modell, forcing med partielle funksjoner av større kardinalitet, samt forcing med endelige funksjoner.
