Teorie množin: Úvod do důkazů o nezávislosti - Set Theory: An Introduction to Independence Proofs - Wikipedia

Teorie množin: Úvod do důkazů o nezávislosti je učebnice a referenční práce v teorie množin podle Kenneth Kunen. Začíná to od základních pojmů, včetně ZFC axiomy a rychle rozvíjí kombinatorické pojmy jako např stromy, Suslinův problém, ◊, a Martinův axiom. Vyvíjí některé základní teorie modelů (spíše konkrétně zaměřené na modely teorie množin) a teorie Gödelův konstruovatelný vesmír L. Kniha poté popisuje metodu nutit.

Kunen zcela přepsal knihu pro vydání z roku 2011 (pod názvem „Teorie množin“), včetně další teorie modelů.

Reference

  • Baumgartner, James E. (červen 1986). "Teorie množin. Úvod do důkazů o nezávislosti Kenneth Kunen “. The Journal of Symbolic Logic. 51 (2): 462–464. doi:10.2307/2274070. JSTOR  2274070.
  • Henson, C. Ward (1984). "Teorie množin, Úvod do důkazů o nezávislosti Kenneth Kunen ". Býk. Amer. Matematika. Soc. 10: 129–131. doi:10.1090 / S0273-0979-1984-15214-5.
  • Kunen, Kenneth (1980). Teorie množin: Úvod do důkazů o nezávislosti. Severní Holandsko. ISBN  0-444-85401-0. Zbl  0443.03021.
  • Kunen, Kenneth (2011). Teorie množin. Studie v logice. 34. London: College Publications. ISBN  978-1-84890-050-9. PAN  2905394. Zbl  1262.03001.