Wikipédia

„Modellelmélet” változatai közötti eltérés

Laptörténet interaktív böngészése
[nem ellenőrzött változat][nem ellenőrzött változat]
← Régebbi szerkesztésÚjabb szerkesztés →
Tartalom törölve Tartalom hozzáadva
VizuálisWikiszöveges
Emájti (vitalap | szerkesztései)
73 szerkesztés
Emájti (vitalap | szerkesztései)
73 szerkesztés
25. sor:
:<math>\mathfrak{A}\models\varphi[a_1,a_2,...,a_n]</math>.<br />
 
:'''Típus elkerülési tétel:''' [[Típus elkerülésiTípuselkerülési tétel]] A teljes típust ki nem elégítő modelleket keresünk. Legyen ''T'' [[elsőrendű elmélet]], minden ''m'' [[természetes szám]]ra <math>\mbox{ }_{\Gamma_m(x_1,...,x_{n_m})}</math> formulahalmaz ''T'' nyelvén. Ha
:(1) ''T'' nyelve megszámlálható,
:(2) ''T'' konzisztens és
:(3) minden ''m''-re ''T'' lokálisan elkerüli a <math>\mbox{ }_{\Gamma_m(x_1,...,x_{n_m})}</math> formulahalmazt, akkor létezik ''T''-nek olyan megszámlálható modellje, mely minden ''m'' természetes számra elkerüli a <math>\mbox{ }_{\Gamma_m(x_1,...,x_{n_m})}</math> formulahalmazt.<br />
akkor
:létezik ''T''-nek olyan megszámlálható modellje, mely minden ''m'' természetes számra elkerüli a <math>\mbox{ }_{\Gamma_m(x_1,...,x_{n_m})}</math> formulahalmazt.<br />
 
: '''Robinson tétele''' alapján, ha T egy teljes elmélet az L = L1 ∩ L2 nyelven és ha T1 és T2 a T konzisztens bővítései az L1 és L2 nyelven, akkor T1 U T2 konzisztens.<br />
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Modellelmélet”