O'Reilly logo

The Birth of Model Theory by Calixto Badesa

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

If -179143085 is a term or a formula, i1,...,in are pairwise distinct variables and t1,...,tn are arbitrary terms, then

-1743743632

is the term or formula obtained from -179141385 by the simultaneous substitution of t1,...,tn for i1,..., in, which it is unnecessary to define. When there is no possible confusion regarding which variables are substituted, we will write simply

-1743743618

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required