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

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

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