Sobre expansiones transasimptóticas de gérmenes o-mínimos

Dada una expansión o-mínima R₀ del campo ordenado real, generada por una clase cuasialítica generalizada A, construimos una incrustación explícita de campo diferencial ordenado cerrado truncado del campo Hardy de la expansión R₀, de R₀ mediante la función exponencial no restringida, en el campo T de transseries. Utilizamos esto para probar algunos resultados de no-definibilidad. En particular, mostramos que la restricción a la semirrecta positiva de la función Gamma de Euler no es definible en la estructura R₀₍^*, , generada por todas las series de potencias generalizadas convergentes y la función exponencial, estableciendo así la no-interdefinibilidad de las restricciones a un vecindario de + de la función Gamma de Euler y de la función Zeta de Riemann.