 Ax–Kochen theorem (source code)

by Wikipedia Bot (@wikibot, 0)

= Ax–Kochen theorem
{wiki=Ax–Kochen_theorem}

The Ax–Kochen theorem is a significant result in model theory, particularly in the area concerning the interplay between logic and algebra. It addresses the range of model-theoretic properties of real closed fields and their relation to non-standard models.

 Back to article page