O-minimal structures and dynamical systems

长期以来，数理逻辑在划分形式上的可能性和不可能性方面发挥了重要作用。例如，哥德尔的不完备性定理表明，没有任何一个复杂到足以证明数学中简单定理的一致形式系统能够证明它自己的一致性。这种类型的结果限制了数学中形式上可知的范围。在过去的30年里，模型理论家已经采取了一种建构主义的方法来使用数学中的逻辑。在“哥德尔障碍”之下工作，他们形式化了结构的简单性质，这些结构具有理想的有限性性质，同时产生了丰富的可定义集合。这些性质中最成功的是一个处于模型论和解析几何边界的性质，即o-极小性。这门学科已经显示出它的有用性，它通过神经网络为动力系统、混合系统和学习理论的基础提供了关键的见解，并帮助解决了真实的代数几何和数论中的主要开放问题。我的研究动机是调查动力系统的解决方案表现出一定的渐近行为。我对希尔伯特的第16个问题特别感兴趣，这是德国数学家大卫·希尔伯特在1900年提出的著名的23个问题之一，至今仍未解决。我已经开发了一种新的方法来解决这个问题，使用o-极小，解决了一个非常特殊的情况下，martisarie的猜想（一个本地化的声明希尔伯特的第16个问题）。 在过去的5年里，我已经完成了推广我的方法的第一步，以获得更重要的情况下，Escharie的猜想。 这是与Tobias Kaiser（帕绍，德国）和我的硕士学生Zeinab Galal合作完成的。在接下来的五年里，我的主要研究方向如下：在我的方法中进行下一步的工作，以获得更多重要的情况;简化我们对Pfillan几何的理解，以使其更适合于应用;以及研究与理解动力系统产生的现象相关的o-极小的推广。

Mathematical logic has long played a role in delineating between what is formally possible and impossible. For example, Go¨del's incompleteness theorem shows that no consistent formal system sophisticated enough to prove simple theorems in mathematics can demonstrate its own consistency. This type of result places a limit on the scope of what is formally knowable in mathematics. Over the last thirty years, model theorists have taken on a constructivist approach to the use of logic inside mathematics. Working below the "Go¨del barrier'', they have formalized simple properties of structures that have desirable finiteness properties and which, at the same time, give rise to a rich collection of definable sets.******Among the most successful of these properties is one that lives on the border of model theory and analytic geometry, namely, o-minimality. This subject has already shown its usefulness by providing key insights into the foundations of dynamical systems, hybrid systems, and learning theory through neuronal networks and has helped settle major open problems in real algebraic geometry and number theory.******The motivation for my research is the investigation of dynamical systems whose solutions exhibit certain asymptotic behaviours. I am particularly interested in Hilbert's 16th problem, one of the famous list of 23 problems posed by the German mathematician David Hilbert in 1900; it remains unsolved to this day. I have developed a new approach to this problem using o-minimality, solving a very special case of Roussarie's conjecture (a localized statement of Hilbert's 16th problem). Over the past 5 years, I have completed the first step towards generalizing my approach to obtain more significant cases of Roussarie's conjecture. This was done in parts with collaboration of Tobias Kaiser (Passau, Germany) and my MSc student Zeinab Galal.******The main lines of my research over the next five years are as follows: carry out the next steps in my approach to Roussarie's conjecture to obtain more significant cases of it; simplify our understanding of Pfaffian geometry, in order to make it more suitable for applications; and the investigation of generalizations of o-minimality relevant to the understanding of phenomena arising from dynamical systems.*****