Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for +publisher:"University of Notre Dame" +contributor:("Russell G. Miller, Committee Member"). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Notre Dame

1. Steven M. VanDenDriessche. Embedding Computable Infinitary Equivalence nto P-Groups</h1>.

Degree: Mathematics, 2013, University of Notre Dame

We examine the relation between the uniformity of a collection of operators witnessingTuring computable embeddings, and the existence of an operator witnessingthe universality of a class. The primary equivalence relation studied here is computableinfinitary Σα equivalence. This project of exploiting uniformity of Turingcomputable embeddings to construct a limit embedding is carried out entirely in thecontext of countable reduced abelian p-groups. One may look at this program as eithera project in the computable structure theory of abelian p-groups, or as a projectin the construction of limits of sequences of uniform Turing computable operators. In an attempt to explore the boundary between computable infinitary Σα equivalenceand isomorphism, we show that for any computable , certain classes of countablereduced abelian p-groups are universal for ∼cα under Turing computable embedding.Further, the operators witnessing these embeddings are extremely uniform. Exploiting the uniformity of the embeddings, we produce operators which are,in some sense, limits of the embeddings witnessing the universality of the classesof countable reduced abelian p-groups. This is approached in three dierent ways:transnite recursion on ordinal notation, Barwise-Kreisel Compactness, and hyperarithemeticalsaturation. Finally, we work in admissible set theory, and use BarwiseCompactness and ΣA-saturation to generalize selected results. Advisors/Committee Members: Russell G. Miller, Committee Member, Julia F. Knight, Committee Chair, Cameron Hill, Committee Member, Sergei Starchenko, Committee Member.

Subjects/Keywords: computable structure theory; abelian groups

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

VanDenDriessche, S. M. (2013). Embedding Computable Infinitary Equivalence nto P-Groups</h1>. (Thesis). University of Notre Dame. Retrieved from https://curate.nd.edu/show/9z902z12x9k

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

VanDenDriessche, Steven M.. “Embedding Computable Infinitary Equivalence nto P-Groups</h1>.” 2013. Thesis, University of Notre Dame. Accessed December 05, 2020. https://curate.nd.edu/show/9z902z12x9k.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

VanDenDriessche, Steven M.. “Embedding Computable Infinitary Equivalence nto P-Groups</h1>.” 2013. Web. 05 Dec 2020.

Vancouver:

VanDenDriessche SM. Embedding Computable Infinitary Equivalence nto P-Groups</h1>. [Internet] [Thesis]. University of Notre Dame; 2013. [cited 2020 Dec 05]. Available from: https://curate.nd.edu/show/9z902z12x9k.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

VanDenDriessche SM. Embedding Computable Infinitary Equivalence nto P-Groups</h1>. [Thesis]. University of Notre Dame; 2013. Available from: https://curate.nd.edu/show/9z902z12x9k

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.