University of Notre Dame
Browse
- No file added yet -

Computable Model Theory for Uncountable Structures

Download (632.97 kB)
thesis
posted on 2013-04-13, 00:00 authored by Jesse Werth Johnson

Using classical definitions from admissible set theory, we examine computable model theory for uncountable structures.

We begin the first chapter by recalling several classic results from α-recursion, as stated in Greenberg and Knight. We give a few examples of 'ω2-computable' structures.

In the second chapter, we continue work of Greenberg and Knight on 'ω2-computable' structure theory. All results in this chapter are joint with Jacob Carson, Julia Knight, Karen Lange, Charles McCoy, and John Wallbaum. We define the arithmetical hierarchy through all countable levels (not just finite levels). The definition resembles that of the hyperarithmetical hierarchy. We obtain analogues of the results of Chisholm and Ash, Knight, Manasse, and Slaman, saying that a relation is relatively intrinsically Σ0α if and only if it is definable by a computable Σα formula.

In the third chapter, we focus on quasiminimal-excellent classes, which are important classes of structures in modern model theory. We give a definition for κ+-computable categoricity and give properties of classes of structures, under which the unique element of size κ+ has a κ+-computable copy and is κ+02-categorical. We then show that any class satisfying these properties is κ+-computably categorical if and only if there is no triple (N',N,M) of structures of dimension κ such that MNN' and M is 'closed' in N and N', but N is not 'closed' in N'. We then apply this result to some well-known examples of quasiminimal-excellent classes, showing that the pseudo-exponential field of size κ+ is not κ+-computably categorical, but the 'Zil'ber cover' is relatively κ+-computably categorical. We end by connecting the results of computable categoricity to axiomatizability for quasiminimal-excellent classes.

History

Date Modified

2017-06-02

Defense Date

2013-03-28

Research Director(s)

Julia Knight

Committee Members

Sergei Starchenko Cameron Hill Julia Knight John Baldwin

Degree

  • Doctor of Philosophy

Degree Level

  • Doctoral Dissertation

Language

  • English

Alternate Identifier

etd-04132013-192821

Publisher

University of Notre Dame

Program Name

  • Mathematics

Usage metrics

    Dissertations

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC