# cardinal exponentiation under GCH

Many results about cardinal exponentiation^{} can neither be proved nor disproved in ZFC. If, however, we allow ourselves to use GCH in addition to ZFC, then we have the following theorem, which gives an essentially complete^{} description of the way cardinal exponentiation involving infinite^{} cardinals works.

###### Theorem.

Assume the Generalized Continuum Hypothesis holds. Let $\kappa $ and $\lambda $ be cardinals, at least one of which is infinite, and such that $\kappa \mathrm{>}\mathrm{0}$ and $\lambda \mathrm{>}\mathrm{1}$. Then

$$ |

Here, $\mathrm{cf}(\lambda )$ is the cofinality of $\lambda $, and ${\lambda}^{+}$ is the cardinal successor of $\lambda $.

Title | cardinal exponentiation under GCH |
---|---|

Canonical name | CardinalExponentiationUnderGCH |

Date of creation | 2013-03-22 14:54:04 |

Last modified on | 2013-03-22 14:54:04 |

Owner | yark (2760) |

Last modified by | yark (2760) |

Numerical id | 9 |

Author | yark (2760) |

Entry type | Theorem |

Classification | msc 03E10 |

Related topic | CardinalArithmetic |

Related topic | GeneralizedContinuumHypothesis |