Assertion: transfer principle | /r/CapableOf | state in terms of model theory
Facets:
Source sentences:
text: In terms of model theory, the transfer principle states that a map from a standard model to a nonstandard model is an elementary embedding (an embedding preserving the truth values of all statements in a language), or sometimes a bounded elementary embedding (similar, but only for statements with bounded quantifiers).