De acuerdo con la "Teoría del modelo: una introducción" de Marker, el campo exponencial real tiene una axiomatización$\forall\exists$ (porque es modelo completo) pero nadie tiene idea de cómo se vería tal axiomatización. ¿Se ha progresado en esto desde principios de la década de 2000 cuando Marker escribió esto?
Respuesta
¿Demasiados anuncios?
RKitson
Puntos
128
En su tesis doctoral `` Sobre la teoría de primer orden de la exponenciación real '', Tamara Servi, ha dado una subteoría recursiva$T$ de$T_{exp}$ y ha demostrado que si la conjetura de Schanuel es válida, entonces$T$ está completo y, por tanto, proporciona una axiomatización recursiva de$T_{exp}$. Hay algunos resultados relacionados.
Consulte la sección 4.7 del documento mencionado anteriormente.
