The theory of large cardinals is currently a broad mainstream of modern set theory, the main area of investigation for …
