In this talk I will present two theorems concerning definable subsets of the structure \(\mathbb{T}_{\log}\): the differential field of logarithmic transseries. One result is that the zero sets of arbitrary nonzero differential polynomials are co-analyzable relative to the constant field \(\mathbb{R}\). The other (joint work with Elliot Kaplan and Nigel Pynn-Coates) is a characterization of the "small" definable subsets of the asymptotic couple. In particular, the characterization implies the asymptotic couple is d-minimal, i.e., every definable subset in 1-variable either has interior or is a finite union of discrete sets.
On definable subsets of \(\mathbb{T}_{\log}\)
11.12.2024 11:30 - 13:00
Organiser:
KGRC
Location: