This chapter provides some background material on definable sets, definable types, orthogonality to a definable set, and stable domination, especially in the valued field context. It considers more specifically these concepts in the framework of the theory ACVF of algebraically closed valued fields and describes the definable types concentrating on a stable definable V as an ind-definable set. It also proves a key result that demonstrates definable types as integrals of stably dominated types along some definable type on the value group sort. Finally, it discusses the notion of pseudo-Galois coverings. Every nonempty definable set over an algebraically closed substructure of a model of ACVF extends to a definable type.
Keywords: definable set, definable type, orthogonality, stable domination, algebraically closed valued field, ind-definable set, stably dominated type, stably dominated, pseudo-Galois covering, substructure
Princeton Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
If you think you should have access to this title, please contact your librarian.
To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us.