Теорема компактности — разлика између измена
Садржај обрисан Садржај додат
Нема описа измене |
м reference; козметичке измене |
||
Ред 1:
У [[математичка логика|математичкој логици]], '''теорема компактности''' гласи да скуп (може да буде и бесконачан) исказа [[логика првог реда|првог реда]] има [[теорија модела|модел]], [[акко]] сваки његов коначан [[подскуп]] има модел. Постоји уопштење компактности за језике вишег реда (у односу на језик првог реда). У односу на теорије базиране на логикама које су строго јаче од логике првог реда, компактност се сматра исувише јаким својством.
Теорема компактности за [[исказни рачун]] је последица [[теорема Тихонова|теореме Тихонова]] (која гласи да је производ [[компактан простор|компактних простора]] компактан) примењене на компактне [[Стоунов простор|Стоунове просторе]];{{sfn|Truss|1997|pp=}} и
== Примене ==
Ред 44:
== Даља литература ==
* {{Cite book |
[[Категорија:Теорија модела]]
|