eprintid: 29304
rev_number: 16
eprint_status: archive
userid: 5573
dir: disk0/00/02/93/04
datestamp: 2021-04-21 16:03:13
lastmod: 2021-04-23 05:40:25
status_changed: 2021-04-21 16:03:13
type: masterThesis
metadata_visibility: show
creators_name: Büch, Lutz
title: [Pi 0 1] Classes Boundedness and Degrees
subjects: 004
subjects: 510
divisions: 110300
adv_faculty: af-11
abstract: In this thesis we consider Π 0 1 class, which can roughly be defined as the sets of infinite paths through computable trees. Historically, Π 0 1 classes have first been considered by Shoenfield in an investigation of the complexity of complete extensions of computably axiomatizable first-order theories, such as Peano arithmetic. We aim for a comprehensive access to the notion of Π 0 1 classes. First of all we motivate the notion of tree used in the context of Π 0 1 classes, which is a special case of the common graph-theoretic notion. We find, that while formally a special case, its definition is reasonable, since it captures all considered structural phenomena. Also, we do not only consider Π 0 1 classes in 2 ω , but in all of ω ω . However, we restrict ourselves to Π 0 1 classes that are bounded in some sense. For this purpose, we investigate different notions of boundedness before identifying two somewhat universal classes of bounded Π 0 1 classes, then simply called bounded and computably bounded Π 0 1 classes, and a nice way of representing them. After that, we turn to the core of the thesis. That is, we investigate what spectra of degrees the members of a Π 0 1 class of a given kind can bear. On the one hand, we try to find members of particularly low complexity in some sense. In order to do this, we establish basis theorems that tell us, that any Π 0 1 class of a class C has a member of a class of functions B , called basis. On the other hand, we showcase some Π 0 1 classes, which by example show that any according basis, in return, has to contain a member of some property. Returning to the initial motivation for our consideration, we apply the results to logical theories, and Peano arithmetic in particular, thereby nourishing the findings of Gödel’s Incompleteness Theorem. An important result is that the class of complete extensions of Peano arithmetic form a universal computably bounded Π 0 1 class. That means that every such extension computes some member of every computably bounded Π 0 1 class. The degrees of theses extensions, called PA degrees, can even be characterized by this property. We assemble other characterizations and results on PA degrees. A notable feature of this thesis is the generalization of Shoenfield’s construction for the improvement of the Kreisel Basis Theorem. This generalization seems not to have been done yet. The originally resulting Kreisel-Shoenfield Basis Theorem is properly weaker than the Low Basis Theorem of Jockusch and Soare, but the generalization has more ramifications than just that theorem. For one, it implies that one can delete any maximal elements of a wide range of bases for any of the considered classes of Π 0 1 classes. This then shows that there are chains of low degrees of arbitrary finite length. The same is implied for hyperimmune-free degrees. As another application, the generalization of Shoenfield’s construction sharpens Solovay’s characterization of the PA degrees. By this tightened characterization, it provides an immediate alternative proof of Scott and Tennenbaum’s result that there is no minimal degree that is PA. And in fact, it implies the apparently novel result that there is an infinite chain of PA degrees below every PA degree.
date: 2021
id_scheme: DOI
id_number: 10.11588/heidok.00029304
ppn_swb: 1755767013
own_urn: urn:nbn:de:bsz:16-heidok-293045
date_accepted: 2012-10-17
advisor: HASH(0x5634a2953850)
language: eng
bibsort: BUCHLUTZPI01CLASSE2021
full_text_status: public
place_of_pub: Heidelberg
thesis_type: Diplom
citation:   Büch, Lutz  (2021) [Pi 0 1] Classes Boundedness and Degrees.  [Master's thesis]     
document_url: https://archiv.ub.uni-heidelberg.de/volltextserver/29304/7/Buech_Diplomarbeit.pdf