–
Room P3.10, Mathematics Building
Fernando Ferreira, Centro de Matemática e Aplicações Fundamentais, Lisboa
A teoria dos corpos reais fechados é interpretável na teoria de Robinson Q
A teoria dos corpos reais fechados é interpretável na teoria de Robinson Q