BibTeX
@MISC{August_journalof,
author = {Volume Number August},
title = {Journal of the IGPL},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Model Theory. That is, we have a non-empty family I of partial isomorphisms between two models M and N, which is closed under taking restrictions to smaller domains, and where the standard Back-and-Forth properties are now restricted to apply only to partial isomorphisms of size at most k. Proof. (A complete argument is in [16].) An outline is reproduced here, for convenience. First, k-variable formulas are preserved under partial isomorphism, by a simple induction. More precisely, one proves, for any assignment A and any partial isomorphism I 2 I which is defined on the A-values for all variables x 1 ; : : : ; x k , that M;A j= OE iff N; I ffi A j= OE: The crucial step in the induction is the quantifier case. Quantified variables are irrelevant to the assignment, so that the relevant partial isomorphism can be restricted to size at most k \Gamma 1, whence a matching choice for the witness can be made on the opposite side. This proves "only if". Next, "if" has a proof analogous to...
