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

м
ispravke
м (разне исправке)
м (ispravke)
Сада за сваку формулу -{φ}- из -{Σ}- имамо:
* скуп -{A<sub>{φ}</sub>}- је унутар ''-{U}-''
* када год -{''-{j''&nbsp;∈&nbsp;A<sub>{φ}</sub>}-, тада -{φ&nbsp;∈&nbsp;''j''}-'', стога -{φ}- важи у <math>\mathcal M_j</math>
* скуп свих ''-{j}-'' са својством да -{φ}- важи у <math>\mathcal M_j</math> је надскуп од -{A<sub>{φ}</sub>}-, и стога такође у ''-{U}-''
Коришћењем [[ултрапроизвод|Лосове теореме]] се види да -{φ}- важи у ултрапроизводу <math>\prod_{i \subseteq \Sigma}\mathcal{M}_i/U</math>. Значи овај ултрапроизвод задовољава све формуле из -{Σ}-.
* [[Ербранова теорема]]
 
== НапоменеРеференце ==
{{reflist}}
 
1.572.075

измена