Správne a nesprávne forsírovanie

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Proper and Improper Forcing

Obsah knihy:

V sériách Perspectives in Logic a Lecture Notes in Logic sa od ich vzniku publikujú zásadné práce popredných logikov. Mnohé z pôvodných kníh tejto série boli roky nedostupné, ale teraz sú opäť v tlači.

Tento zväzok, piata publikácia zo série Perspectives in Logic, sa zaoberá výsledkami množinovo-teoretickej nezávislosti (nezávislosť od obvyklých množinovo-teoretických axióm ZFC), najmä pre problémy na kontinuu. Autor podáva kompletnú prezentáciu teórie vlastného vynútenia a jej príbuzných, pričom začína od začiatku a vyhýba sa metamatematickým úvahám.

Nevyžaduje sa žiadna predchádzajúca znalosť forsírovania. Kniha umožní bádateľovi, ktorý sa zaujíma o výsledok nezávislosti príslušného druhu, aby veľkú časť práce urobil za neho, a tým mu umožní citovať všeobecné výsledky.