Information | |
---|---|
has gloss | eng: In model theory, a transfer principle states that all statements of some language that are true for some structure, are true for another structure. One of the first examples was the Lefschetz principle, stating that any sentence in the first-order language of fields true for the complex numbers is also true for any algebraically closed field of characteristic 0. Its most common use is in Abraham Robinson's non-standard analysis of the hyperreal numbers, where the transfer principle states that any sentence expressible in a certain formal language that is true of real numbers is also true of hyperreal numbers. |
lexicalization | eng: transfer principle |
instance of | c/Mathematical principles |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint