, āalmost everywhereāāan idea that was present in a different form in Skolemās construction of a nonstandard model of arithmetic in 1933). It follows that, if the given structures are models of a theory, then their ultraproduct is such a model also, because every sentence inā¦
Read More