Compact Cardinals

(Abstract)

The notion of compactness came from topology and is widely used to describe certain properties in first order logic and large cardinals. In this talk, I'll go through with the development of large cardinal hierarchy, focusing on the equivalent definitions and consistent strength of weakly compact, measurable, strongly compact and supercompact cardinals.