Imaginaries, invariant types and pseudo p-adically closed fields

TL;DR

This paper develops a general criterion for elimination of imaginaries using an abstract independence relation, studies definable function germs at invariant types, and applies these methods to pseudo p-adically closed fields.

Contribution

It introduces a broad criterion for elimination of imaginaries and applies it to bounded pseudo p-adically closed fields, advancing understanding in model theory.

Findings

Established a general criterion for elimination of imaginaries

Analyzed germs of definable functions at invariant types

Applied methods to pseudo p-adically closed fields

Abstract

In this paper, we give a very general criterion for elimination of imaginaries using an abstract independent relation. We also study germs of definable functions at certain well-behaved invariant types. Finally we apply these tools to the elimination of imaginaries in bounded pseudo-p-adically closed fields.