The power set function
Abstract
Description
We survey old and recent results on the problem of finding a complete set of rules describing the behavior of the power function, i.e. the function which takes a cardinal $κ$ to the cardinality of its power $2^κ$.