English

Large ordinals

Logic 2008-02-03 v1

Abstract

Let jj be an elementary embedding of VλV_{\lambda} into VλV_{\lambda} that is not the identity, and let κ\kappa be the critical point of jj. Let \CalA\Cal A be the closure of {j}\{j\} under the operation a(b)a (b) of application, and let Ω\Omega be the closure of {κ}\{\kappa\} under the operation min{ξ:a(ξ)b(α)}\min \{\xi: a(\xi) \ge b(\alpha)\}. We give a complete description of the set Ω\Omega under an assumption (Threshold Hypothesis) on cyclic left distributive algebras.

Keywords

Cite

@article{arxiv.math/9411207,
  title  = {Large ordinals},
  author = {Thomas Jech},
  journal= {arXiv preprint arXiv:math/9411207},
  year   = {2008}
}