Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Vicaria, Mariana"'
In this paper we present a unifying framework of residual domination for henselian valued fields of equicharacteristic zero, encompassing some valued fields with operators. We introduce a general definition for residual domination and show that it is
Externí odkaz:
http://arxiv.org/abs/2410.22712
Autor:
Simon, Pierre, Vicaria, Mariana
We present a new proof of descent for stably dominated types in any theory, dropping the hypothesis of the existence of global invariant extensions. Additionally, we give a much simpler proof of descent for stably dominated types in $\ACVF$. Furtherm
Externí odkaz:
http://arxiv.org/abs/2407.19336
We prove an elimination of imaginaires results for (almost all) henselian valued fields of equicharacteristic zero. To do so, we consider a mix of sorts introduced in earlier works of the two authors and define a generalized version of the k-linear i
Externí odkaz:
http://arxiv.org/abs/2311.00657
Autor:
Vicaria, Mariana
In this paper we study domination in an Ax-Kochen/Ershov style results for henselian valued fields of equicharacteristic zero for elements in the home sort.
Externí odkaz:
http://arxiv.org/abs/2109.08243
Autor:
Vicaria, Mariana
In this paper we study elimination of imaginaries in some classes of henselian valued fields of equicharacteristic zero and residue field algebraically closed. The results are sensitive to the complexity of the value group. We focus first in the case
Externí odkaz:
http://arxiv.org/abs/2109.08140
Autor:
Vicaria, Mariana
In this paper we study elimination of imaginaries in some classes of pure ordered abelian groups. For the class of ordered abelian groups with bounded regular rank (equivalently with finite spines) we obtain weak elimination of imaginaries once we ad
Externí odkaz:
http://arxiv.org/abs/2106.01500
Autor:
Onshuus, Alf, Vicaría, Mariana
This paper is devoted to understand groups definable in Presburger arithmetic. We prove the following theorems: Theorem 1. Every group definable in a model of Presburger Arithmetic is abelian-by-finite. Theorem 2. Every bounded group definable in a m
Externí odkaz:
http://arxiv.org/abs/1612.09042
Autor:
Onshuus, Alf, Vicaría, Mariana
Publikováno v:
In Annals of Pure and Applied Logic June 2020 171(6)
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.