Characterisation of countably infinitely categorical theories

Sammanfattning: This thesis looks at characterising countably infinitely categorical theories. That is theories for which every countably infinite model is isomorphic to every other countably infinite model. The thesis looks at the Lindenbaum-Tarski algebra, Henkin theories, types and then ends with the Ryll-Nardzewski theorem which provides several equivalences to a theory being countably infinitely categorical.