Regular solutions of systems of transexponential polynomials

Abstract: I will explain an open problem in the model theory of ordered fields and outline a possible strategy for resolving it. The problem is whether there are o-minimal fields that are “transexponential”, i.e., which define functions that eventually grow faster than any tower of exponentials. In recent work, I gave evidence indicating that a particular transexponential expansion of the real field might be o-minimal. A possible next step would be to apply a criterion of Lion which grew out of Wilkie’s proof that the real exponential field is o-minimal.

logic

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic