On Morley's Categoricity Theorem with an Eye Toward Forking

Autor:	Craft, Colin N.
Jazyk:	angličtina
Rok vydání:	2011
Předmět:	Mathematics model theory Morley's Categoricity Theorem forking
Druh dokumentu:	Text
Popis:	The primary result of this paper is Morley's Categoricity Theorem that a complete theory T which is κ-catecorigal for some uncountable cardinal κ is λ-categorical for every uncountable cardinal λ. We prove this by proving a characterization of uncountably categorical theories due to Baldwin and Lachlan. Before the actual statement and proof of Morley's theorem, we give an overview of the prerequisites from mathematical logic needed to understand the theorem and its proof. After proving Morley's theorem we briefly indicate some possible directions of further study having to do with forking and the related notion of independence of types.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://rave.ohiolink.edu/etdc/view?acc_num=miami1323475348 Zobrazit plný text záznamu