Diamantové principy a GCH

Abstract

Diamond principles and the generalized continuum hypothesis are assertions related to infinite combinatorics. This thesis studies various connections between these assertions. From numerous formulations of diamond principles, it explicitly mentions exactly two of them: ♢S and ♢∗ S. Apart from an overview of the basic notions involved in this study, the thesis also contains a concise proof of Shelah's theorem published in the paper "Diamonds" in 2010. 1

Diamantové principy i zobecněná hypotéza kontinua jsou tvrzení dotýkající se ne- konečné kombinatoriky. Tato práce se zabývá vztahy mezi těmito tvrzeními, přičemž z početných formulací diamantových principů uvádí právě dva: ♢S a ♢∗ S. Krom přehledu dotčených základních pojmů práce předvádí důkaz Shelahovy věty publikované v článku Diamonds z roku 2010. 1