Skip to the main content

Math.e, Vol. 11 , 2007.

Professional paper

Teorija klasifikacije

Domagoj Vrgoč

Full text: croatian pdf 371 Kb

page 17-25

downloads: 149

cite

Abstract

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.

Keywords

Hrčak ID:

13314

URI

https://hrcak.srce.hr/13314

Publication date:

28.6.2007.

Visits: 608 *