HDS36: Torenvliet, Leen (2023) Structured Concepts in Relativised Hierarchies. Doctoral thesis, Universiteit van Amsterdam.
Text (Full Text (PDF))
HDS36LeenTorenvliet.text.pdf  Published Version Download (10MB) 

Text (Full Text (DJVU))
HDS36LeenTorenvliet.text.djvu  Published Version Download (12MB) 

Text (Samenvatting)
HDS36LeenTorenvliet.samenvatting.txt  Other Download (1kB) 
Abstract
In this thesis we show by construction of oracle sets that a strong separation of complexity classes in the lower levels of the Polynomial Time Hierarchy is possible.
In chapter I we develop a model for the interpretation of the constructions in subsequent chapters in an informal but precise way, and we develop precisely that part of computational complexity theory needed to understand the notions used in these chapters.
In chapter II we (partially) quote existing theory, and prove one new theorem. We show in this chapter the constructions which would give to oracle set A the following properties respectively: NP(A) ≠ P(A), NP(A) ≠ Co NP(A), NP(A) has a P(A)immune set, NP(A) has a simple set (with two different constructions), and NP(A) has a single set which is both simple and P(A) immune.
In chapter III we treat the separation results between the first and second level of the hierarchy. We limit ourselves in this chapter to strong separations. We show the constructions which would give to oracle set A the following properties respectively: \Sigma^P_2(A) has an NP(A) immune set, \Pi^P_2(A) has an NP(A) immune set, \Sigma^P_2(A) has an NP(A) biimmune set, \Sigma^P_2(A) has an \Delta^P_2(A) immune set, and \Pi^P_2 has an \Delta^P_2(A) immune set.
In chapter IV we treat the construction of an oracle set A such that \Sigma^P_2(A) has a simple set, and thus obtain a strong separation between \Sigma^P_2(A) and \Pi^P_2(A) on the second level of the hierarchy.
Item Type:  Thesis (Doctoral) 

Report Nr:  HDS36 
Series Name:  ILLC Historical Dissertation (HDS) Series 
Year:  2023 
Additional Information:  Originally published: September 1986 
Subjects:  Computation Logic 
Depositing User:  Dr Marco Vervoort 
Date Deposited:  05 Sep 2023 14:52 
Last Modified:  05 Sep 2023 14:54 
URI:  https://eprints.illc.uva.nl/id/eprint/2268 
Actions (login required)
View Item 