Skip to Main Content
 

Global Search Box

 
 
 
 

ETD Abstract Container

Abstract Header

On Morley's Categoricity Theorem with an Eye Toward Forking

Craft, Colin N.

Abstract Details

2011, Master of Arts, Miami University, Mathematics.
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.
Paul Larson (Advisor)
Reza Akhtar (Committee Member)
Dennis Burke (Committee Member)
65 p.

Recommended Citations

Citations

  • Craft, C. N. (2011). On Morley's Categoricity Theorem with an Eye Toward Forking [Master's thesis, Miami University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=miami1323475348

    APA Style (7th edition)

  • Craft, Colin. On Morley's Categoricity Theorem with an Eye Toward Forking. 2011. Miami University, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=miami1323475348.

    MLA Style (8th edition)

  • Craft, Colin. "On Morley's Categoricity Theorem with an Eye Toward Forking." Master's thesis, Miami University, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=miami1323475348

    Chicago Manual of Style (17th edition)