Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-23/1/c/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 23 1 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Use the same two-index filter on a set , with a unary predicate true only in the first one-element factor. In the reduced product, is false, so is true. ButLogical negation also breaks the equivalence. For a general proper filter on a set, a set and its complement can both be absent. In an ultrafilter, exactly one belongs, which is the step used to transfer logical negation in the Łoś theorem.
New to topics? Read the docs here!