Теорема компактности — разлика између измена
Садржај обрисан Садржај додат
м reference |
Нема описа измене |
||
Ред 1:
У [[математичка логика|математичкој логици]], '''теорема компактности''' гласи да скуп (може да буде и бесконачан) исказа [[логика првог реда|првог реда]] има [[теорија модела|модел]], [[акко]] сваки његов коначан [[подскуп]] има модел. Постоји уопштење компактности за језике вишег реда (у односу на језик првог реда). У односу на теорије базиране на логикама које су строго јаче од логике првог реда, компактност се сматра исувише јаким својством.
Теорема компактности за [[исказни рачун]] је последица [[теорема Тихонова|теореме Тихонова]] (која гласи да је производ [[компактан простор|компактних простора]] компактан) примењене на компактне [[Стоунов простор|Стоунове просторе]];
== Примене ==
| |||