KIDDIE TALK: ULTRAPRODUCTS AND SZEMEREDI’S THEOREM´

KIDDIE TALK: ULTRAPRODUCTS AND SZEM´EREDI’S THEOREM 3 In particular, if the A i are all the same model, then this model is elementarily equivalent to the ultraproduct A: any first-order statement is true in one if and only if it is true in the other. Recall that a first order statement is one that can be written down with the usual logical ... ................
................