View source for Transfer principle

A principle that allows one to transfer assertions from one [[Algebraic system|algebraic system]] to another. The completeness of an [[Elementary theory|elementary theory]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t110/t110050/t1100501.png" /> yields a transfer principle for the models of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t110/t110050/t1100502.png" />: every elementary sentence (i.e., closed formula in the first-order language of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t110/t110050/t1100503.png" />) is true in all models of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t110/t110050/t1100504.png" /> if it is true in at least one model. For example, the completeness of the theory of algebraically closed fields of fixed characteristic means that every elementary sentence in the language of fields which holds in one [[Algebraically closed field|algebraically closed field]] will also hold in all other algebraically closed fields of the same characteristic. This is an elementary version of the Lefschetz principle, which was introduced and partially proved by S. Lefschetz and A. Weil and states (roughly speaking) that [[Algebraic geometry|algebraic geometry]] over all algebraically closed fields of a fixed characteristic is the same ( "there is but one algebraic geometry in characteristic p" ) (cf. [[#References|[a1]]]). But Lefschetz and Weil did not have in mind only the elementary sentences. That is why Weil worked with universal domains, that is, algebraically closed fields of infinite transcendence degree over their [[Prime field|prime field]]. So, the conjecture was that there is but one algebraic geometry over universal domains of fixed characteristic. A satisfactory formalization and model-theoretic proof is due to P. Eklof [[#References|[a2]]]. It uses the infinitary language <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t110/t110050/t1100505.png" />, which admits infinite conjunctions and disjunctions in one sentence. With such a sentence, one can express the fact that a field has infinite transcendence degree over its prime field. This cannot be done with a single elementary sentence. Indeed, algebraically closed fields are elementarily equivalent to the algebraic closure of their prime field, even if they have infinite transcendence degree.

The analogue of the elementary Lefschetz principle for real algebraic geometry is the Tarski principle (the completeness of the elementary theory of real closed fields, cf. [[Real closed field|Real closed field]]). A similar principle is known for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t110/t110050/t1100506.png" />-adically closed fields (cf. [[P-adically closed field|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t110/t110050/t1100507.png" />-adically closed field]]). The Ax–Kochen–Ershov principles in the [[Model theory of valued fields|model theory of valued fields]] can be viewed as conditioned transfer principles.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Cherlin, "Model theoretic algebra" ''J. Symb. Logic'' , '''41''' (1976) pp. 537–545 {{MR|0539999}} {{MR|0411961}} {{ZBL|0338.02029}} {{ZBL|0332.02056}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> P.C. Eklof, "Lefschetz's principle and local functors" ''Proc. Amer. Math. Soc.'' , '''37''' (1973) pp. 333–339 {{MR|325389}} {{ZBL|}} </TD></TR></table>