The following conjecture is due to Shelah--Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non-trivial definable henselian valuation, in the language of rings. We specialise this conjecture to ordered fields in the language of ordered rings, which leads towards a systematic study of the class of strongly NIP almost real closed fields. As a result, we obtain a complete characterisation of this class.

Joint with Itay Kaplan and Pierre Simon.Distal theories are NIP theories which are ?Roewholly unstable?R. Chernikov and Simon's ?Roestrong honest definitions?R characterise distal theories as those in which every type is compressible. Adapting recent work in machine learning of Chen, Cheng, and Tang on bounds on the ?Roerecursive teaching dimension?R of a finite concept class, we find that compressibility is dense in NIP structures, i.e. any formula can be completed to a compressible type in S(A). Considering compressibility as an isolation notion (which specialises to l-isolation in stable theories), we […]

The word and conjugacy problems are central decision problems associated with finitely generated groups. In particular, there are deep results which bridge some of the main concepts of the theories of computability and computational complexity with group theoretical invariants through the word problem in groups. In this talk I will recall some of the well-known facts about the word and conjugacy problems in groups as well as discuss new results concerning the relationship between them.

Orderable groups are extensively studied by logicians and group theorists. In my talk I will address aspects of left- or bi-orderable groups that are connected with computability theory. In particular, I will talk about constructions of bi-orderable computable groups that cannot be embedded into groups with computable bi-order. I will also discuss our recent work in progress with M. Steenbock about simplicity and computably left-orderability.

I will give a complete description of all groups definable in Presburger arithmetic, up to finite index subgroups. This builds on previous work on bounded groups in Presburger arithmetic by Mariana Vicaria and Alf Onshuus.