CEU Electronic Theses and Dissertations, 2012
| Author | Gyenis, Zalán |
|---|---|
| Title | On finite categoricity |
| Summary | In this work we are taking the first steps towards studying so called finitely categorical structures. By a celebrated theorem of Morley, a structure $\cA$ is $\aleph_1$-categorical if and only if it is $\kappa$-categorical for all uncountable $\kappa$. Our main goal is to examine finitary analogues of Morley's theorem. A model $\cA$ is defined to be finitely categorical (or $<\!\ omega$-categori cal) if for a large enough finite set $\Delta$ of formulas $\cA$ can have at most one $n$-element $\Delta$-elementary substructure for each natural number $n$. We are going to investigate some conditions on $\aleph_1$-categorical structures which imply finite categoricity. Proving finite categoricity for certain $\aleph_1$-categorical structures can be considered as an extension of Morley's theorem ``all the way down''. |
| Supervisor | Sági, Gábor |
| Department | Mathematics PhD |
| Full text | https://www.etd.ceu.edu/2012/gyenis_zalan.pdf |
Visit the CEU Library.
© 2007-2021, Central European University