Dos ejemplos de indecidibilidad existencial en los campos

Por • 26 nov, 2022 • Sección: Crítica

Felipe Dittmann

Construimos un campo completo discretamente valorado existencialmente indecidible de característica mixta con un campo residual existencialmente decidible y una parte algebraica decidible, respondiendo a una pregunta de Anscombe-Fehm de manera contundente. En el camino, construimos un campo existencialmente decidible de característica positiva con una extensión finita existencialmente indecidible, modificando una construcción debida a Kesavan Thanagopal.

arXiv:2211.01775v1 [math.LO]
Logic (math.LO)

Post to Twitter

Escribe un comentario