Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 121 / 1 / iv / b / Solution

For every tuple of parameters $\bar{a}\in M^n$, an upward absolute formula transfers truth from the smaller structure to the larger one:These definitions of directional set-theoretic absoluteness do not themselves require the structures to be transitive.