Easton's theorem is a result in set theory that pertains to the structure of the continuum and the behavior of certain cardinal functions under the context of forcing and the existence of large cardinals. Specifically, it addresses the possibility of extending functions that assign values to cardinals in a way that respects certain cardinal arithmetic properties.
New to topics? Read the docs here!