drugget
Удален
|
    
может у кого получится...
1. Если теории Т1 и Т2 таковы, что произвольная модель А является моделью теории Т1 тогда и только тогда, когда она не есть модель теории Т2, то теории Т1 и Т2 конечно аксиоматизируемы.
2. Если Т1 и Т2 такие теории, что для теории Т1 U Т2 не существует моделей, то найдется такое предложение Ф, что одновременно Т1 |- Ф (из Т1 выводимо Ф) и Т2 |- не(Ф) (из Т2 выводимо не Ф).
Вроде интуитивно понятно, а как строго доказать-то? Все идеи уже перепробовал - и все об одни и те же камни: нестрого получается.
|
Всего сообщений: N/A | Присоединился: N/A | Отправлено: 23 дек. 2005 19:57 | IP
|
|
drugget
Удален
|
эх, никто видимо не знает... 
|
Всего сообщений: N/A | Присоединился: N/A | Отправлено: 27 дек. 2005 13:40 | IP
|
|
|
Форум
Теории, модели, предложения... (Логика)
