Resource bounded genericity

• Verfasst von: Ambos-Spies, Klaus [VerfasserIn]
• Titel: Resource bounded genericity
• Verf.angabe: Klaus Ambos-Spies
• Jahr: 1996
• Umfang: 60 S.
• Fussnoten: Elektronische Reproduktion der Druck-Ausgabe 23. Februar 2010 ; Gesehen am 18.04.2023
• Titel Quelle: Enthalten in: Computability, enumerability, unsolvability
• Ort Quelle: Cambridge : Cambridge University Press, 1996
• Jahr Quelle: 1996
• Band/Heft Quelle: (1996), Seite 1-60
• ISBN Quelle: 978-0-511-62916-7
• Datenträger: Online-Ressource
• Sprache: eng
• K10plus-PPN: 1843057689

Abstract

AbstractResource-bounded genericity concepts have been introduced by Ambos-Spies, Fleischhack and Huwig [AFH84], [AFH88], Lutz [Lu90], and Fenner [Fe91]. Though it was known that some of these concepts are incompatible, the relations among these notions were not fully understood. Here we survey these notions and clarify the relations among them by specifying the types of diagonalizations captured by the individual concepts. Moreover, we introduce two new, stronger resource-bounded genericity concepts corresponding to fundamental diagonalization concepts in complexity theory. First we define general genericity, which generalizes all of the previous concepts and captures both, standard finite extension arguments and slow diagonalizations. The second new concept, extended genericity, actually is a hierarchy of genericity concepts for a given complexity class which extends general genericity and in addition captures delayed diagonalizations. Moreover, this hierarchy will show that in general there is no strongest genericity concept for a complexity class. A similar hierarchy of genericity concepts was independently introduced by Fenner [Fe95].Finally we study some properties of the Baire category notions on E induced by the genericity concepts and we point out some relations between resource-bounded genericity and resource-bounded random- ness.IntroductionThe finite extension method is a central diagonalization technique in computability theory (see e.g. [Ro67], [Od89], [Le83], [So87]). In a standard finite extension argument a set A of strings (or equivalently of numbers) is inductively defined by specifying longer and longer initial segments of it. The global property to be ensured for A by the construction is split into countably many subgoals, given as a list {Re: e≥ 0 } of so called requirements.