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

м
разне исправке; козметичке измене
м (Бот: Селим 13 међујезичких веза, које су сад на Википодацима на d:q1149458)
м (разне исправке; козметичке измене)
Коришћењем [[ултрапроизвод|Лосове теореме]] се види да -{φ}- важи у ултрапроизводу <math>\prod_{i \subseteq \Sigma}\mathcal{M}_i/U</math>. Значи овај ултрапроизвод задовољава све формуле из -{Σ}-.
 
== Види још ==
* [[Теорема Левенхајм-Сколем]]
* [[Линдстремова теорема]]
* [[Ербранова теорема]]
 
== Напомене ==
{{извориreflist}}
 
== Референце ==
* {{ cite book | last=Boolos | first=George | coauthors=Jeffrey, Richard; Burgess, John | title=''Computability and Logic'' | edition=fourth edition | year=2004 | publisher="Cambridge University Press }}
* {{ cite book | last=Chang | first=C.C. | coauthors=[[Howard Jerome Keisler|Keisler, H. Jerome]] | publisher=[[Elsevier]] | title=Model Theory | year=1989 | edition=third edition | isbn=0-7204-0692-7 }}
1.572.075

измена