Positive logic is a generalisation of full first-order logic, where negation is not built in, but can be added as desired. In joint work with Jan Dobrowolski we succesfully generalised the recent development on Kim-independence in NSOP1 theories to the positive setting. One of the important theorems in this development is the independence theorem, whose statement is very similar to the well-known statement for simple theories, and allows us to amalgamate independent types. In this talk we will have a closer look at the proof of this theorem, and what needs to be changed to make the proof work in positive logic compared to full first-order logic.

The Hardy–Littlewood circle method is a well-known analytic technique that has successfully solved several difficult counting problems in number theory. More recently, a version of the method over function fields, combined with spreading out techniques, has led to new results about the geometry of moduli spaces of rational curves on hypersurfaces of low degree. I will explain how one can implement a circle method with an even more geometric flavour, where the computations take place in a suitable Grothendieck ring of varieties, leading thus to a more precise description of the geometry of the above moduli spaces. This is joint work with Tim Browning.