Teoría analítica Ax-Kochen-Ersov con levantamientos del cuerpo residuo y grupo de valores

Desarrollamos una teoría de extensión para anillos de valoración analíticos con el fin de establecer resultados del tipo Ax-Kochen-Ersov (AKE) para estas estructuras. Lo nuevo es que podemos agregar, en casos salientes, levantamientos del cuerpo residuo y del grupo de valores y mostrar que la estructura inducida en el cuerpo residuo levantado es simplemente su estructura de cuerpo, y en el grupo de valores levantado es simplemente su estructura de grupo abeliano ordenado. Esto restaura una analogía con el entorno AKE no analítico que faltaba en tratamientos anteriores de la teoría AKE analítica.