Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-121/1/iv/c/solution

A formula has set-theoretic absoluteness between these structures when both directions hold for every :
Equivalently, it is both a downward absolute formula and an upward absolute formula between them.

New to topics? Read the docs here!