AT08 Condição suficiente para que teoria tenha eliminação de quantificadores

7 novembro 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Diagrama e diagrama simples de estrutura de interpretação. Demonstração sobre a existência de embebimento entre duas estruturas de interpretação em
uma delas satisfaz o diagrama simples da outra. Condição necessária e suficiente para que seja possível, no contexto de uma teoria, obter fórmula sem
quantificadores equivalente a fórmula dada.