One-strong cardinal

ID: one-strong-cardinal

A cardinal is 1-strong when it is the critical point of an elementary embedding into a transitive model satisfying .

New to topics? Read the docs here!