Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-116/2/a/solution

Let be inaccessible and let be an elementary embedding into a transitive set with critical point . It is -strong when
A formula is a beta-stable cardinal property when it is absolute between the universe and every transitive set containing .
To say that the embedding reflects such a property means that whenever holds,
is unbounded in : for every there is such a with . Indeed, stability gives , so sees the witness between and . Elementarity reflects a witness between and . This is reflection by a beta-strong embedding.

New to topics? Read the docs here!