Теорема компактности — разлика између измена

м
reference; козметичке измене
м (reference; козметичке измене)
У [[математичка логика|математичкој логици]], '''теорема компактности''' гласи да скуп (може да буде и бесконачан) исказа [[логика првог реда|првог реда]] има [[теорија модела|модел]], [[акко]] сваки његов коначан [[подскуп]] има модел. Постоји уопштење компактности за језике вишег реда (у односу на језик првог реда). У односу на теорије базиране на логикама које су строго јаче од логике првог реда, компактност се сматра исувише јаким својством.
 
Теорема компактности за [[исказни рачун]] је последица [[теорема Тихонова|теореме Тихонова]] (која гласи да је производ [[компактан простор|компактних простора]] компактан) примењене на компактне [[Стоунов простор|Стоунове просторе]];{{sfn|Truss|1997|pp=}} и отуда име теореме.
 
== Примене ==
 
== Даља литература ==
* {{Cite book |authorlast=Hummel, |first=Christoph |title=Gromov's compactness theorem for pseudo-holomorphic curves |publisher=Birkhäuser |location=Basel, Switzerland |year=1997 |isbn=3-7643-5735-5 |oclc= |doi=| ref = harv}}
 
[[Категорија:Теорија модела]]
1.572.075

измена