Imaginaries, invariant types and pseudo p-adically closed fields
| Autor: | Silvain Rideau-Kikuchi, Samaria Montenegro |
|---|---|
| Přispěvatelé: | Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
Pure mathematics
Applied Mathematics General Mathematics 010102 general mathematics 510 Matemáticas 0102 computer and information sciences Mathematics - Logic 01 natural sciences [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 010201 computation theory & mathematics FOS: Mathematics 0101 mathematics Invariant (mathematics) Logic (math.LO) ComputingMilieux_MISCELLANEOUS Mathematics |
| Zdroj: | Transactions of the American Mathematical Society Transactions of the American Mathematical Society, American Mathematical Society, 2021, pp.803-828. ⟨10.1090/tran/8052⟩ |
| ISSN: | 0002-9947 |
| DOI: | 10.1090/tran/8052⟩ |
| Popis: | 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. Comment: Minor corrections. Acknowledgement of support by ValCoMo (ANR-13-BS01-0006) added |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|