Morley's categoricity theorem : a survey.
The report serves as a survey of one of the most important theorems in Model Theory - Morley's Categoricity Theorem. The tools and techniques which go into the proof will be discussed in depth and the overall strategy will be made clear.
Main Author: | Huang, Leonard Tristan Zhiliang. |
---|---|
Other Authors: | Wu, Guohua |
Format: | Final Year Project (FYP) |
Language: | English |
Published: |
2008
|
Subjects: | |
Online Access: | http://hdl.handle.net/10356/14575 |
Similar Items
-
Splitting theorems and strong reductions
by: Wang, Shaoyi
Published: (2019) -
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
by: Hubie Chen, et al.
Published: (2013-03-01) -
A Proof of Kamp's theorem
by: Alexander Rabinovich
Published: (2014-02-01) -
Algorithmic randomness for Doob's martingale convergence theorem in continuous time
by: Bjørn Kjos-Hanssen, et al.
Published: (2014-12-01) -
Bounded variation and the strength of Helly's selection theorem
by: Alexander P. Kreuzer
Published: (2014-12-01)