Solution

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

For every tuple of parameters , a downward absolute formula transfers truth from the larger structure to the smaller one:
The condition concerns every parameter tuple from , not merely parameter-free sentences.

New to topics? Read the docs here!