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.
Identifer | oai:union.ndltd.org:UPSALLA1/oai:DiVA.org:uu-511273 |
Date | January 2023 |
Creators | Karlsson, Edward |
Publisher | Uppsala universitet, Matematiska institutionen |
Source Sets | DiVA Archive at Upsalla University |
Language | English |
Detected Language | English |
Type | Student thesis, info:eu-repo/semantics/bachelorThesis, text |
Format | application/pdf |
Rights | info:eu-repo/semantics/openAccess |
Relation | U.U.D.M. project report ; 2023:34 |
Page generated in 0.0036 seconds