Corpos algebricamente fechados
29 outubro 2008, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Demonstração da decidibilidade da apresentação da teoria dos corpos algebricamente fechados com característica p com recurso ao teste de Vaught.
29 outubro 2008, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Demonstração da decidibilidade da apresentação da teoria dos corpos algebricamente fechados com característica p com recurso ao teste de Vaught.