Logic Seminar - Tingxiang Zou

Wed, 13/11/201911:00-13:00
Ross building - Room 63
Tingxiang Zou will speak about:

Pseudofinite difference fields

Abstract: A difference field is a field with a distinguished automorphism. In this talk, we will discuss some model-theoretic properties of a certain class of ultraproducts of finite difference fields. These structures have infinite but logarithmly small fixed fields. Because of this, their theories are wild in the sense that they have TP_2, strict-order property and are not decidable. On the other hand, the coarse pseudofinite dimension with respect to the full structure behaves well. It is integer-valued and definable. We will also discuss possible connections between this coarse dimension and transformal transcendence degree.