Amalgamation of types in pseudo-algebraically closed fields and applications

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.Comment: Minor changes in v3. Accepted versio