Skip to content
  • About

XOR’s Hammer

Some things in mathematical logic that I find interesting

Category: Model Theory

Written by mkoconnorAugust 15, 2008March 25, 2009

Ax’s Theorem: An Application of Logic to Ordinary Mathematics

There are a number of applications of logic to ordinary mathematics, with the most coming from (I believe) model theory. One of the easiest and most striking that I know is called Ax’s Theorem. Ax’s Theorem: For all polynomial functions , if is injective, then is surjective. Very rough proof sketch: The field has characteristic […]

Blog at WordPress.com.