Set Theory An Introduction To Independence Proofs: Studies in Logic and the Foundations of Mathematics, cartea 102

Destinat studenților de nivel licență avansată sau masterat și cercetătorilor în bazele matematicii, volumul Set Theory An Introduction To Independence Proofs de K. Kunen reprezintă un text de referință pentru înțelegerea consistenței relative în teoria axiomatică a mulțimilor. Prin această lucrare, cititorul obține instrumentele analitice necesare pentru a naviga prin complexitatea modelelor matematice unde axiomele standard (ZFC) nu oferă un răspuns definitiv.

Ne-a atras atenția rigoarea cu care K. Kunen structurează progresia materialului. Lucrarea debutează cu bazele teoriei mulțimilor și elemente de combinatorică infinitară, explorând probleme clasice precum cea a lui Suslin și Axioma lui Martin. Putem afirma că forța acestui volum rezidă în secțiunile dedicate 'forcing'-ului și 'forcing'-ului iterat, tehnici esențiale pentru demonstrarea independenței ipotezei continuului. Reținem, de asemenea, analiza detaliată a mulțimilor constructibile și a modelului Cohen, elemente care transformă textul dintr-o simplă introducere într-un instrument de lucru indispensabil pentru logicieni.

Ca alternativă la Multiple Forcing de T. Jech pentru cursurile de logică matematică, volumul de față are avantajul unei abordări pedagogice care pune accent pe fundamentele mulțimilor bine-fondate și pe teoremele de reflecție înainte de a trece la metodele avansate de extensie. În timp ce alte titluri similare pot fi extrem de specializate pe o singură tehnică, ediția de față din seria Studies in Logic and the Foundations of Mathematics oferă o viziune de ansamblu asupra metodelor de consistență, fiind ideală pentru o tranziție solidă de la logica elementară la cercetarea avansată.