Logic Seminar

Tuesday, January 17, 2023 2:30 pm - 2:30 pm EST (GMT -05:00)

Adele Padgett, McMaster University

"Regular solutions of systems of E-polynomials"

I will explain an open problem in the model theory of ordered structures and outline a possible strategy for its resolution. 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 that the real field expanded by a particular transexponential function, call it E, could be o-minimal. After some background, I will describe how a criterion of Lion which grew out of Wilkie’s proof that the real exponential field is o-minimal could be used in the transexponential case.

MC 5479