Sadržaj:

1. Uvod
2. Osnovni pojmovi
3. Prebrojivi spektar
4. Morleyev teorem i broj neprebrojivih modela
Literatura

1. Uvod

U ovom članku navodimo neke važnije danas poznate rezultate teorije modela, grane matematičke logike koja razmatra razna svojstva modela pojedinih teorija i na osnovu tih svojstava nastoji dobiti informacije o samoj teoriji. Preciznije, proučavat ćemo područje koje se tradicionalno naziva teorijom klasifikacije ili ponekad strukturalnom teorijom modela. Cijelo područje nastalo je iz glasovitog rada Michaela D. Morleya u kojemu se dokazuje teorem kategoričnosti, jedan od osnovnih teorema moderne teorije modela. U ovom članku dajemo ideju dokaza spomenutog teorema te raspravljamo o brojnim posljedicama do kojih se došlo proučavanjem pojmova uvedenih u Morleyevu radu. Od čitatelja se podrazumijeva neko osnovno znanje formalne logike, no za samo razumijevanje članka dovoljno je intuitivno znati što su to formule i modeli prvog reda. Za formalne definicije moguće je, primjerice, konzultirati uvodno poglavlje o logici prvog reda u knjizi [V1].

Ako će se čitatelj koristiti citiranom knjigom, treba napomenuti da je u ovom članku korišten ponešto modificirani pristup, i to uglavnom iz razloga što se takav pristup ustalio u udžbenicima teorije modela. Kao prvo, napomenimo da se jednakost u ovom članku tretira posebno i za svaku teoriju smatramo da posjeduje dvomjesni relacijski simbol "=" koji se interpretira upravo kao jednakost. Nadalje, kada govorimo o pojmu teorije, uzet ćemo malo općenitiji pristup od onog zastupljenog u [V1]. Za nas će, naime, teorija naprosto biti proizvoljan skup rečenica.

Također, jasno je da će struktura biti vezana za jezike teorije, no kako bismo izbjegli tehničke komplikacije, to izostavljamo gdje je moguće. Ponekad će nam ipak biti neophodno navesti da je L jezik neke teorije T, pa ćemo pisati L-teorija, L-struktura i L-formula kako bismo to naglasili. Nadalje, sva razmatranja u ovom radu provode se za teorije čiji je jezik konačan ili prebrojivo beskonačan.

Za dokaze i razjašnjenja ovdje spomenutih rezultata čitatelj može konzultirati navedenu literaturu, s naglaskom na [DM], [DV] i [V1].

Jedno važno pitanje, koje je veoma dugo zaokupljalo matematičare, jest koliko modela može imati neka teorija. Ako nam je cilj konstruirati teoriju prvog reda koja bi opisivala realne brojeve, svakako bismo željeli da su jedino realni brojevi model te teorije, odnosno da naša teorija ima, do na izomorfizam, samo jedan model. Općenito se za teorije koje imaju jedinstven model govori da su kategorične. Međutim, poznati Löwenheim-Skolemov teorem raspršuje sve snove o optimalnom rješenju, odnosno kategoričnosti. Naime, spomenuti teorem govori nam kako svaka konzistentna teorija prvog reda ima model proizvoljno velike kardinalnosti, ako ima barem jedan beskonačan model. Iz toga vidimo da ne postoji teorija prvog reda koja će aksiomatizirati realnu analizu tako da ta aksiomatizacija bude kategorična.

Kada je već želja kategoričnosti propala, pokušao se napraviti kompromis i vidjeti možemo li postići kategoričnost u nekom fiksiranom kardinalu. U tu svrhu uveden je pojam κ-kategoričnosti.

Proučavajući svojstva κ-kategoričnih teorija otkriveni su brojni zanimljivi rezultati o broju modela promatrane teorije u nekoj zadanoj kardinalnosti. Cijela priča počinje 1965. godine poznatim člankom Michaela Morleya pod naslovom "Categoricity in power". U tome članku dokazan je poznati Morleyev teorem koji se smatra prvim ozbiljnijim rezultatom u teoriji modela i koji je otvorio novo područje proučavanja - teoriju klasifikacije.

Za neku teoriju reći ćemo da je potpuna ako za svaku rečenicu te teorije vrijedi da je ili ta rečenica, ili pak njezina negacija teorem te teorije. Pritom pod pojmom teorem podrazumijevamo svaku posljedicu teorije. Zamislimo sada da je zadana potpuna teorija T. Ako je κ kardinalni broj, s I(T, κ) označavamo broj neizomorfnih modela teorije T kardinalnosti κ. Funkcija κ  I(T, κ) naziva se spektrom teorije T. Proučavanje spektra vrlo je važan problem u teoriji modela koji započinje sljedećim teoremom.

Kao što vidimo, Morleyev teorem daje jedno iznimno zanimljivo svojstvo funkcije spektra. Naime, on nam govori da ako je I(T, κ) = 1 za jedan neprebrojiv kardinal κ, tada je I(T, λ) = 1 za sve neprebrojive kardinale λ.

Već spomenuti članak uveo je mnoštvo pojmova koji su postali dio standardnog rječnika teorije modela i naveliko su se koristili u daljnjim istraživanjima svojstava spektra. U ovom članku dajemo pregled nekih osnovnih pojmova i rezultata vezanih uz teoriju klasifikacije. Cijeli članak bit će koncipiran na dokazu Morleyeva teorema uz digresije o daljnjim proučavanjima svojstava spektra.

Možemo već unaprijed najaviti kako je problem spektra za potpune teorije u potpunosti razriješen za neprebrojive kardinale. Također ćemo pokazati koji se problemi i zanimljivosti javljaju pri proučavanju broja prebrojivih modela koji su detaljno proučavali Vaught, Morley i Shelah.

2. Osnovni pojmovi

U ovom paragrafu uvodimo neke osnovne pojmove koji se koriste prilikom proučavanja spektra i dokaza Morleyeva teorema.

Tipovi

Sljedeći pojam, pojam tipa, osnovni je pojam koji se javlja u svakom proučavanju u teoriji modela. Ideja je vrlo jednostavna. Naime, ono što nas zanima o nekom modelu je ono što je u njemu istinito.

Napomenimo prvo da ćemo sa Σ(x₁,…,x_n) označavati skup formula u kojima se jedino varijable iz skupa {x₁,…,x_n} mogu javiti kao slobodne. S   Σ[a₁,…,a_n] ćemo označavati da je svaka formula iz Σ istinita za valuaciju u kojoj je varijabla x_i valuirana elementom a_i, za i = 1,…,n.

Definicija 2.1. n-tip teorije T je skup formula Σ(x1,…,xn) tako da je skup formula T ∪ Σ konzistentan, odnosno postoji model  od T i elementi a1,…,an iz M, tako da vrijedi   Σ[a1,…,an].

Obično ćemo se koristiti standardnom pokratom x za n-torku varijabli (x₁,…,x_n), za neki 1 ≤ n < א₀.

Nadalje, zanimat će nas koji su to elementi modela kojima se varijable moraju valuirati da bi formule bile istinite. Također, uglavnom ćemo proučavati potpune tipove, kao analogone potpunih teorija.

Definicija 2.2. (1) Neka je T neka teorija,  model od T i Σ(x1,…,xn) n-tip od T. Kažemo da je Σ realiziran u  ako postoji niz (a1,…,an) elemenata od  takav da je   Σ[a1,…,an]. Također kažemo da (a1,…,an) realizira Σ u . Ako Σ nije realiziran u  kažemo da je omašen u . (2) Potpuni n-tip teorije T u jeziku L je n-tip Σ(x) od T takav da za sve L-formule Σ(x) vrijedi: ili je Φ(x) ∈ Σ, ili ¬Φ(x) ∈ Σ. Potpune tipove označavat ćemo s p, q,… (3) Neka je  neka L-struktura i a ∈ Mn. Tip od a u  je skup tp(a) = {Φ(x) :   Φ(x)}.

Lako je provjeriti da je svaki tp(a) potpun tip. Zanimljivo je da vrijedi i obrat, odnosno n-tip p je potpuni n-tip teorije T ako i samo ako je p = tp(a), za neki model  od T i n-torku a iz nosača od .

Topologija

Neka je T neka teorija u jeziku L. Sa S_n(T) označavamo skup svih potpunih n-tipova teorije T. Za formulu Φ(x) sa slobodnim varijablama u skupu {x₁,…,x_n} s X_Φ označavamo skup X_Φ = {p ∈ S_n(T) : Φ ∈ p}. Na skupu S_n(T) uzimamo topologiju definiranu bazom koju čine svi skupovi X_Φ, pri čemu je Φ proizvoljna formula u jeziku teorije T, čije se slobodne varijable nalaze u {x₁,…,x_n}. Trivijalno je za provjeriti kako je to doista baza neke topologije na skupu S_n(T).

Nadalje, budući da za potpun tip teorije T i proizvoljnu formulu Φ vrijedi da je ili Φ ∈ p ili ¬Φ ∈ p, jasno je da vrijedi X_Φ = S_n(T) \ X_¬Φ. Dakle, svaki bazni otvoreni skup topološkog prostora S_n(T) je ujedno i otvoren i zatvoren. Također je moguće provjeriti da je S_n(T) kompaktan Hausdorffov prostor. Napomenimo da kompaktnost prostora slijedi iz teorema kompaktnosti za logiku prvog reda.

Premda se upletanje topologije u logiku čini neuobičajenim, ono olakšava velik broj dokaza. Također je zanimljivo vidjeti kako se dvije naočigled nepovezane grane matematike međusobno isprepleću.

Saturirani modeli

Razjasnimo još jednu oznaku. Ako je  model (odnosno struktura) neke teorije, s Th() označavamo skup svih rečenica te teorije koje su istinite na tom modelu. Nadalje, ponekad nam je korisno proširiti zadanu teoriju novim konstantama koje dolaze iz nekog njezinog modela. Time iz postojećeg modela dobivamo novi model koji se označava s (, a)_a ∈ A, ako je A skup koji sadrži nove konstante.

Iznimno važna klasa modela koja se pojavljuje u dokazima mnogih teorema su saturirani modeli, odnosno saturirane strukture.

Definicija 2.3. (i) Neka je  L-struktura i n < א0. Sa Sn(A, ) označavamo skup svih potpunih n-tipova teorije Th(, a)a ∈ A. Ponekad ćemo izostavljati  ako je jasan iz konteksta. (ii) Neka je κ beskonačni kardinalni broj. Reći ćemo da je L-struktura  κ-saturirana ako za sve A ⊆ M takve da je card(A) < κ vrijedi da je svaki potpuni tip p ∈ Sn(A) realiziran u , za sve n < א0. Reći ćemo da je  saturirana ako je card(M)-saturirana.

Uočimo da je svaki potpuni tip neke teorije realiziran u nekom njezinom modelu. Saturiranost modela jamči nam da je svaki potpuni tip realiziran baš u tom modelu. Navedimo sada nekoliko primjera saturiranih, odnosno nesaturiranih modela.

Jedinstvenost modela

Za dvije strukture  i  reći ćemo da su elementarno ekvivalentne ako je Th() = Th(). Kao što nam je poznato, izomorfizam dviju struktura povlači njihovu elementarnu ekvivalenciju. S druge strane, obrat te tvrdnje ne vrijedi. Međutim, ako su dvije strukture elementarno ekvivalentne i jedna od njih je konačna, tada će one biti izomorfne, što se može jednostavno pokazati. Pitanje je hoće li svake dvije ekvipotentne elementarno ekvivalentne strukture biti izomorfne. Egzistencija prebrojivih nestandardnih modela aritmetike s nejednakošću daje negativan odgovor na ovo pitanje (za detalje vidjeti [EF]). Međutim, ako su strukture saturirane, sljedeći teorem daje nam pozitivan odgovor na ovo pitanje.

Teorem 2.5. Neka su  i  elementarno ekvivalentne saturirane L-strukture istog kardinaliteta. Tada su one izomorfne.

Napomenimo da se za dokaz prethodnog teorema koristi tipična "back-and-forth" konstrukcija kakva se često pojavljuje u teoriji modela. Inače, jedna od poznatijih "back-and-forth" konstrukcija je dokaz teorema o uređajnoj karakteristici skupa racionalnih brojeva, čiji se dokaz može naći u [V2]. Čitanjem samo jednog smjera dokaza prethodnog teorema dobivamo sljedeće:

Propozicija 2.6. Neka su  i  elementarno ekvivalentne L-strukture, card(M) < κ i neka je  κ-saturirana. Tada se  može elementarno uložiti u .

Pod pojmom elementarnog ulaganja mislimo na izomorfizam između  i neke elementarne podstrukture od , pri čemu je elementarna podstruktura naprosto podstruktura koja ima svojstvo da sve valuacije njezinim elementima čuvaju istinitost formula u nadstrukturi i obratno.

Premda je jedinstvenost saturiranih modela poželjno svojstvo, još se nismo bavili pitanjima egzistencije. Sljedeći teorem daje nam djelomičan odgovor na ovo pitanje, a egzistencija saturiranih modela tvorit će znatan dio dokaza Morleyeva teorema, kao što će se kasnije pokazati.

Teorem 2.7. Neka je  L-struktura i τ kardinalan broj tako da je τ > א0, te card(M) < 2τ. Tada postoji elementarno proširenje  od  kardinalnosti ne veće od 2τ koje je τ+-saturirano.

Dakle, ako imamo neki model i dovoljno velik kardinalni broj τ, možemo naći elementarno proširenje našeg modela koje će biti τ⁺-saturirano. Naglasimo da posebno uvijek možemo naći ω-saturirano proširenje.

Monster model

Demonstrirajmo sada zašto su nam prethodna razmatranja o jedinstvenosti i egzistenciji saturiranih modela korisna. Pretpostavimo da je T potpuna teorija i da želimo proučavati njezine modele kardinalnosti manje ili jednake κ, pri čemu je κ beskonačni kardinalni broj. Neka je  neki model od T te  κ-saturirani model čija egzistencija slijedi iz prethodnog teorema. Budući da su svaka dva modela potpune teorije elementarno ekvivalentna, primjenom propozicije 2.6 vidimo da je svaki model od T, kardinaliteta manjeg ili jednakog κ, izomorfan nekoj elementarnoj podstrukturi od . Dakle, dovoljno je proučavati elementarne podstrukture od . Takav model najčešće se naziva monster modelom teorije T.

3. Prebrojivi spektar

Kao što smo već napomenuli, cilj ovog članka je proučavanje funkcije spektra potpunih teorija u prebrojivom jeziku. U ovom paragrafu prikazat ćemo što je poznato o broju prebrojivih modela neke teorije, odnosno o prebrojivu spektru.

Kroz godine proučavanja došlo se do mnogih primjera. Prvo što se pokušalo pronaći su teorije s konačnim brojem prebrojivih modela. Poznati Cantorov teorem o uređajnoj karakteristici skupa racionalnih brojeva govori nam kako teorija gustih potpunih uređaja bez krajnjih točaka, DLO, ima točno jedan prebrojiv model. Dokaz spomenutog teorema moguće je naći u [V2].

Također, uz ponešto tehničkih komplikacija, pronađeni su i primjeri teorija s tri ili više prebrojivih modela. Naime, vrijedi sljedeće:

Dokaz prethodno navedene leme moguće je naći u [DM] ili [AP].

Budući da je teorija modela od svojih početaka bila blisko povezana s proučavanjem algebarskih struktura, dobiveni su i rezultati o teoriji algebarski zatvorenih polja ACF_p neke fiksne karakteristike p te o teoriji realnih zatvorenih polja RCF. Za detalje o spomenutim teorijama konzultirati [DM]. Sumirajmo neke poznate činjenice o mogućem broju prebrojivih modela.

1. I(DLO, א₀) = 1.
2. I(T_n, א₀) = n, za svaki n ≥ 3.
3. I(ACF_p, א₀) = א₀.
4. I(RCF, א₀) = I(Th(N), א₀) = 2^א₀.

Budući da postoji najviše 2^א₀ neizomorfnih prebrojivih modela potpune teorije T (toliko, naime, ima relacija na prebrojivu skupu), postavljaju se dva prirodna pitanja:

• Postoji li teorija T takva da je I(T, א₀) = 2?
• Postoji li teorija T takva da je א₀ < I(T, א₀) < 2^א₀?

Iznenadujuće je što je na prvo pitanje Vaught odgovorio negativno. Točnije, vrijedi sljedeći teorem čiji se detaljan dokaz može pronaći u [DM].

U slučaju da je hipoteza kontinuuma istinita, drugo pitanje ima trivijalno negativan odgovor. Vaught je postavio hipotezu koja govori da je odgovor negativan čak i u slučaju da je hipoteza kontinuuma neistinita. Shelah je dokazao da Vaughtova hipoteza vrijedi za klasu tzv. ω-stabilnih teorija (vidjeti definiciju 4.1). Postoji još nekoliko sličnih rezultata koji govore o tome da Vaughtova hipoteza vrijedi za neku specifičnu klasu teorija. Međutim, najjači generalni rezultat je onaj M. Morleya (ne miješati s teoremom kategoričnosti!) koji glasi:

Navedeni teorem zapravo nam govori kako je mogući broj prebrojivih modela manji ili jednak א₀, ili je א₁, ili je pak 2^א₀.

Vaughtova hipoteza smatra se jednim od najvažnijih otvorenih problema teorije modela i oko nje postoje neke kontroverze. Robin Knight je 2002. godine objavio protuprimjer za Vaughtovu hipotezu, no još uvijek nije utvrđen službeni status tog rada. Zainteresirani čitatelj može pronaći rad na Knightovoj web stranici [RK].

4. Morleyev teorem i broj neprebrojivih modela

Stabilnost i nerazlučivost

Morleyev teorem, premda jednostavan i lako razumljiv, ima poprilično težak dokaz. U svojem članku Morley je uveo mnogo novih pojmova koji su postali standardni u teoriji modela i čije je proučavanje dovelo do mnogo važnih rezultata u teoriji klasifikacije. Jedan od ključnih pojmova je stabilnost.

Definicija 4.1. Potpuna teorija T je ω-stabilna ako je za svaki model  od T i svaki prebrojiv podskup A ⊆ M skup svih potpunih 1-tipova S1(A, ) prebrojiv (odnosno, teorija (, a)a ∈ A ima najviše prebrojivo potpunih 1-tipova).

Na analnogan se način definira i pojam λ-stabilne teorije, gdje je λ proizvoljan kardinalni broj. Stabilnost nam zapravo govori da prostor tipova ne postaje prevelik ako teoriju proširimo novim konstantama. Napomenimo da se ovdje navodi naziv ω-stabilnost iz povijesnih razloga, premda je riječ o kardinalnim brojevima. Naime, ω je tradicionalna oznaka za ordinalni broj koji je ujedno i kardinalni broj koji se označava s א₀. Međutim, u literaturi se uvriježio pojam ω-stabilnosti.

Sljedeći fundamentalni pojam koji se javlja je pojam nerazlučivih nizova.

Definicija 4.2. Neka je  L-struktura, A ⊆ M, (I, <) totalno uređen skup i (bi : i ∈ I) niz elemenata od M. Reći ćemo da je (bi : i ∈ I) nerazlučiv niz nad A u strukturi , ako za svako n < א0 i sve i1 <…< in,  j1 <…< jn vrijedi tp((bi1,…,bin)/A) = tp((bj1,…,bjn)/A).

Pritom pod tp(b/A) podrazumijevamo skup svih formula Φ(x) s parametrima iz skupa A, takvih da vrijedi   Φ[b]. Naziv bi trebao opravdati definiciju. Naime, ideja je da je to niz koji se ne može razlučiti formulama prvog reda.

Za određivanje nekih svojstava modela važna nam je egzistencija nerazlučivih nizova. Sljedeći rezultat daje nam pomalo iznenadujuću činjenicu o nerazlučivim nizovima. Naime, za teoriju s beskonačnim modelima možemo pronaći proizvoljno duge nerazlučive nizove u nekom modelu od T.

Teorem 4.3. Neka je T teorija za koju postoji beskonačni model. Tada za svaki kardinal κ postoji model  od T i skup (ai : i < κ) međusobno različitih elemenata od , tako da je (ai : i < κ) nerazlučiv niz u .

Napomenimo da se za dokaz egzistencije nerazlučivih nizova potrebno koristiti verzijom Ramseyeva teorema o svojstvima beskonačnih skupova, koji je jedan od osnovnih rezultata kombinatorike beskonačnih skupova. Sama grana kombinatorike beskonačnih skupova korištena je u dubljim proučavanjima unutar teorije klasifikacije i do mnogih važnih rezultata došlo se u želji da se pokaže kakva je struktura modela pojedinih teorija. Veliku ulogu u tome imao je Saharon Shelah, autor monumentalnog djela pod nazivom "Classification theory", koje se još i danas smatra jednim od vrhunaca teorije modela.

Osvrnimo se sada na još jednu zanimljivu primjenu nerazlučivih nizova. Kao što znamo, Gödelov prvi teorem nepotpunosti govori nam o egzistenciji aritmetičke rečenice Φ koja je istinita, no nedokaziva u Peanovoj aritmetici. Premda gnoseološki zanimljiva, Gödelova rečenica nije pretjerano korisna kao matematički teorem. Paris i Harrington kasnih su sedamdesetih pokazali da je jedna varijanta Ramseyeva teorema istinita, ali da je nedokaziva u Peanovoj aritmetici (preciznije, neovisna o aritmetici, odnosno neodlučiva). Zanimljivo je da ta varijanta čak ne spada u kombinatoriku beskonačnih skupova već govori o konačnim skupovima. Dokaz se koristi nerazlučivim nizovima, ali i klasičnim kodiranjem koje se javlja još kod Gödela.

Posljedice stabilnosti

Kao što smo napomenuli, ω-stabilne teorije igraju iznimno važnu ulogu u dokazu Morleyeva teorema i u samoj teoriji modela. Zapravo, velik broj istraživanja, posebice onih algebarske naravi, radi se pod pretpostavkom stabilnosti. Sljedeći teorem govori nam da se za dokaz Morleyeva teorema možemo koristiti stabilnim teorijama.

Još jedan važan pojam je pojam Morleyeva ranga, no budući da je sama definicija suviše tehnička, ovdje je izostavljamo. Napomenimo samo da se Morleyev rang formule Φ(x, a) s parametrima a označava RM(Φ(x, a)), da je to ordinalni broj (ili ∞) i da nam govori nešto o definabilnim skupovima i njihovom particioniranju s pomoću formula zadane teorije. Za detalje konzultirati [DV], gdje se mogu pronaći detaljna definicija i karakterizacija te način na koji se Morleyev rang može promatrati neovisno o modelu iz kojeg dolaze parametri formule Φ. Napomenimo još da se Morleyev rang može promatrati i kao vrlo apstraktan pojam dimenzije koji se u nekim specifičnim slučajevima poklapa sa prirodnim pojmom dimenzije.

Sljedeći rezultat daje nam uvid u vezu između Morleyeva ranga i stabilnih teorija. On nam zapravo kaže da je ω-stabilnost ekvivalentna tome da je Morleyev rang definiran za sve formule proučavane teorije.

Teorem 4.5. Neka je T potpuna teorija. Ekvivalentno je: 1. T je ω-stabilna. 2. Za svaki model  od T i formulu Φ(x) je RM(Φ(x)) < ∞. 3. Za svaki λ ≥ א0 i podskup A ⊆ M takav da je card(A) < λ je skup S1(A, ) kardinalnosti najviše λ (odnosno T je λ-stabilna).

Primijetimo da smo u prethodnom teoremu naveli kako ω-stabilnost povlači stabilnost u svim beskonačnim kardinalima. Općenito se možemo pitati koje su mogućnosti za stabilnost neke potpune teorije u beskonačnim kardinalima. Shelah je u potpunosti odgovorio na to pitanje u sljedećem teoremu.

Već smo napomenuli da su nam saturirani modeli iznimno važni za dokaz Morleyeva teorema. Sljedeći rezultat govori nam o jednoj posljedici kategoričnosti, no proučavajući dokaz teorema, može se vidjeti da je to u biti posljedica stabilnosti promatrane teorije.

Sljedeća propozicija, koja će biti ključna za dokaz, govori nam da ω-stabilne teorije imaju poželjno svojstvo nasljeđivanja saturiranosti.

Morleyev teorem

Koristeći se prethodnim rezultatima sada možemo dokazati Morleyev teorem kategoričnosti.

Naime, pokazali smo da je svaka κ-kategorična teorija T ujedno i ω-stabilna. Nadalje, iz teorema 4.7 znamo da postoji saturiran model od T kardinalnosti κ. Kako je T κ-kategorična, svi modeli od T kardinalnosti κ su saturirani, pa je prema prethodnoj propoziciji za svako λ > א₀ svaki model od T kardinalnosti λ saturiran. Kako su svaka dva modela potpune teorije elementarno ekvivalentna, prema jedinstvenosti saturiranih modela (teorem 2.5), teorija T je λ-kategorična. Time je dovršen dokaz teorema.

Ugrubo govoreći, dokaz se može razdijeliti u tri dijela. U prvom se dijelu iz svojstva kategoričnosti izvodi ω-stabilnost, u drugom se s pomoću stabilnosti i kategoričnosti dokazuje egzistencija saturiranih modela, a u trećem se dokazuje sam teorem.

Alternativno, do Morleyeva teorema kategoričnosti može se doći koristeći se Baldwin-Lachlanovim teoremom:

Budući da ω-stabilnost i Vaughtovi parovi ne ovise o kardinalu κ, jednostavno dobivamo Morleyev teorem. Za detalje o tome što je Vaughtov par i o dokazu samog teorema vidjeti [DM].

Neprebrojivi spektar

Sumirajmo što do sada znamo o neprebrojivom spektru.

Morley je postavio hipotezu da je funkcija κ  I(T, κ) neopadajuća za neprebrojive κ. Hipotezu je dokazao Saharon Shelah. Štoviše, Shelah je dokazao da je za potpunu prebrojivu teoriju T ili I(T, κ) = 2^κ za sve neprebrojive κ, ili je I(T, κ_ξ) < ב_ω1(|ξ|) za sve ordinale ξ. Ugrubo govoreći, broj neprebrojivih modela teorije T je ili najveći mogući, ili je "jako malen". Također, Shelah je pokazao koje su neke moguće veličine spektra u slučaju kad je on "jako malen".

Proširujući Shelahov rad, Bradd Hart, Ehud Hrushovski i Michael C. Laskowski u potpunosti su razriješili problem spektra u neprebrojivim kardinalima. Njihov rad pokazuje da je moguće trinaest različitih slučajeva za broj neprebrojivih modela potpune prebrojive teorije T. Također, za svaki od tih slučajeva pronađen je primjer teorije s točno toliko modela. Za detalje konzultirati [HL].

Literatura

1. Uvod
2. Osnovni pojmovi
3. Prebrojivi spektar
4. Morleyev teorem i broj neprebrojivih modela
Literatura