Por Pablo Cubides Kovacsics (Universidad de los Andes).
In the late 70s, M. Singer provided an axiomatization of the class of closed ordered differential fields (CODF). Essentially, his axiomatization states that such a field is real closed and that the derivative has a generic behavior with respect to topology. Several authors have generalized this type of construction to other topological fields. Together with F. Point, and following Singer's ideas, we provide an abstract framework for axiomatizing, given a theory of topological fields T, the corresponding theory of T-models with a generic derivativation. In this talk, I will present this construction and some of its main properties. Towards the end of the talk, I will discuss applications. If time allows, I will mention an open question in this context.
Transmissão via Zoom.
