Quantifier elimination for lovely pairs of strongly geometric fields
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910044845506560 |
|---|---|
| author | Kovacsics, Pablo Cubides Estrada, Felipe Pérez, Juan Rincón, David |
| author_facet | Kovacsics, Pablo Cubides Estrada, Felipe Pérez, Juan Rincón, David |
| contents | Let $T$ be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of $T$ has quantifier elimination in Delon's definitional expansion by predicates for linear independence and function symbols for the corresponding coordinate functions. Apart from recovering Delon's original results for pairs of algebraically closed fields and dense pairs of algebraically closed valued fields, we obtain as particular cases, quantifier elimination for theories of dense pairs of real closed and $p$-adically closed fields. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_06900 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Quantifier elimination for lovely pairs of strongly geometric fields Kovacsics, Pablo Cubides Estrada, Felipe Pérez, Juan Rincón, David Logic 03C60, 12L12 F.4.1 Let $T$ be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of $T$ has quantifier elimination in Delon's definitional expansion by predicates for linear independence and function symbols for the corresponding coordinate functions. Apart from recovering Delon's original results for pairs of algebraically closed fields and dense pairs of algebraically closed valued fields, we obtain as particular cases, quantifier elimination for theories of dense pairs of real closed and $p$-adically closed fields. |
| title | Quantifier elimination for lovely pairs of strongly geometric fields |
| topic | Logic 03C60, 12L12 F.4.1 |
| url | https://arxiv.org/abs/2603.06900 |