The Non-Axiomatizability of O-Minimality
Updated March 12, 2012 ▪ Arxiv Link ▪ PDF Version
I show that the theory of o-minimality in a fixed language properly extending the language of real closed fields is not recursively axiomatizable.
▪ This is a condensed version of a chapter of my thesis.
▪ A version of this paper has been submitted.
▪ This is a condensed version of a chapter of my thesis.
▪ A version of this paper has been submitted.