Stručni rad
Teorija klasifikacije
Domagoj Vrgoč
Sažetak
Jedno važno pitanje, koje je dugo zaokupljalo matematičare, jest koliko modela može imati neka teorija. U ovom članku navodimo neke važnije rezultate teorije modela, grane matematičke logike koja razmatra razna svojstva modela pojedinih teorija i na osnovi tih svojstava nastoji dobiti informacije o samoj teoriji. 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 tog teorema i raspravljamo o brojnim posljedicama do kojih se došlo proučavanjem pojmova uvedenih u Morleyevu radu.
Ključne riječi
Hrčak ID:
13314
URI
Datum izdavanja:
28.6.2007.
Posjeta: 844 *