Fields with automorphism and measure
AbstractScanlon conjectured that a field equipped with a measure (or a suitable Euler characteristic) must be pseudofinite. I did not know how to prove the above, so I generalised it to the following. A difference field with measure must be a model of ACFA. I will present my efforts toward proving this conjecture.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.