Corrigé à l'intention du personnel enseignant - TACLEF
... inséparables. On maximise à nouveau, dans les Li, puis on re-henkinise. À la ... Exercice 6. 1. Par compacité, la théorie T = T ?{c>sn(0) : n ? N} où c est ...
... inséparables. On maximise à nouveau, dans les Li, puis on re-henkinise. À la ... Exercice 6. 1. Par compacité, la théorie T = T ?{c>sn(0) : n ? N} où c est ...