nLab Keisler-Shelah isomorphism theorem




The Keisler-Shelah isomorphism theorem characterizes the partially syntactic concept of elementary equivalence in purely semantic form with the help of ultrapowers.

Statement of theorem

In practice, the theorem is usually stated as follows: let AA and BB be first-order \mathcal{L}-structures. Then AA and BB are elementarily equivalent, written ABA \equiv B, if and only if there is an ultrafilter 𝒰\mathcal{U} on some index set II such that there is an isomorphism of ultrapowers A 𝒰B 𝒰A^{\mathcal{U}} \simeq B^{\mathcal{U}}.

Keisler proved, assuming GCH, that when ATA \models T and BTB \models T have cardinality 2 |T|\leq 2^{|T|} then they have isomorphic |T||T|-indexed ultrapowers. Shelah removed the assumption of GCH at the cost of exhibiting the isomorphism for only 2 |T|2^{|T|}-indexed ultrapowers instead.


  • The Ax-Kochen-Ershov theorem? states that for any non-principal ultrafilter 𝒰\mathcal{U} on the primes, the valued fields (viewed as structures in ACVF?, where p\mathbb{Q}_p is the p-adic field and 𝔽 p((t))\mathbb{F}_p((t)) is the field of formal Laurent series? over the finite field 𝔽 p\mathbb{F}_p)
p p/𝒰 p𝔽 p((t))/𝒰 \displaystyle \prod_{p} \mathbb{Q}_p/\mathcal{U} \equiv \displaystyle \prod_{p} \mathbb{F}_p((t)) / \mathcal{U}

are elementarily equivalent. Assuming the continuum hypothesis (this is an example of where this technical distinction is vital), they are also isomorphic.


  • One could view this theorem as a generalization/variant of the transfer principle from nonstandard analysis: given any two structures with the same theory, there exists a single “nonstandard model” linking the two via their diagonal embeddings into their ultrapowers.




Los ultraproduct theorem


Created on February 26, 2017 at 07:04:52. See the history of this page for a list of all contributions to it.