Amalgamation of types in pseudo-algebraically closed fields and applications
arXiv:1704.08132
Abstract
This paper studies unbounded PAC fields and shows an amalgamation result for types over algebraically closed sets. It discusses various applications, for instance that omega-free PAC fields have the property NSOP3. It also contains a description of imaginaries in PAC fields.
Minor changes in v3. Accepted version