Formal Definition
If λ is any ordinal, κ is λ-strong means that κ is a cardinal number and there exists an elementary embedding j from the universe V into a transitive inner model M with critical point κ and
That is, M agrees with V on an initial segment. Then κ is strong means that it is λ-strong for all ordinals λ.
Read more about this topic: Strong Cardinal
Famous quotes containing the words formal and/or definition:
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)