Imaginaries, invariant types and pseudo p-adically closed fields

2018/02/01 by Montenegro, Samaria, Rideau, Silvain
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1802.00256

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.

Related

• Imaginaries in bounded pseudo real closed fields
• Imaginaries and invariant types in existentially closed valued\n differential fields
• Amalgamation of types in pseudo-algebraically closed fields and\n applications
• Stationarity and elimination of imaginaries in stable and simple theories
• Imaginaries and definable types in algebraically closed valued fields