Creative sets (or the complete recursively enumerable sets) play an important role in logic and mathematics and they are known to be recursively isomorphic. Therefore, on the one hand, all the creative sets can be viewed as equivalent, on the other hand, we intuitively perceive some creative sets as more "natural and simpler" than others. In this note, we try to capture this intuitive concept precisely by defining a creative set to be natural if all other recursively enumerable sets can be reduced to it by computationally simple reductions and show that these natural creative sets are all isomorphic under the same type of computationally simple mappings. The same ideas are also applied to define natural Goedel numberings
Combinatorial reciprocity is a very interesting phenomenon, which can be described as follows: A pol...
The study of sets of uniqueness for trigonometric series has a long history, originating in the work...
AbstractWe study p-creative sets and p-completely creative sets. We first prove that for recursively...
AbstractCreative sets or the complete recursively enumerable sets play an important role in logic an...
We obtain a new definition of creativeness for NP, called NP-creativeness. We show that all NP-creat...
A basic resul t of intui t ive recursion theory is that a set (of natural numbers) is decidable (rec...
AbstractTwo structurally defined types of NP-sets are studied. k-Simple sets are defined and shown t...
AbstractIn this paper we discuss the following contributions to recursion theory made by John Myhill...
This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexi...
We announce and explain recent results on the computably enumerable (c.e.) sets, especially their de...
AbstractThis note sets down some facts about natural number objects in the Dialectica category Dial2...
Some problems involved in looking at recursive function theory and thinking about the complexity of...
The common theme in this thesis is the study of constructive provability: in particular we investiga...
AbstractWe state some general facts on r.e. structures, e.g. we show that the free countable structu...
We discuss some basic issues underlying the natural numbers: induction and recursion. We examine rec...
Combinatorial reciprocity is a very interesting phenomenon, which can be described as follows: A pol...
The study of sets of uniqueness for trigonometric series has a long history, originating in the work...
AbstractWe study p-creative sets and p-completely creative sets. We first prove that for recursively...
AbstractCreative sets or the complete recursively enumerable sets play an important role in logic an...
We obtain a new definition of creativeness for NP, called NP-creativeness. We show that all NP-creat...
A basic resul t of intui t ive recursion theory is that a set (of natural numbers) is decidable (rec...
AbstractTwo structurally defined types of NP-sets are studied. k-Simple sets are defined and shown t...
AbstractIn this paper we discuss the following contributions to recursion theory made by John Myhill...
This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexi...
We announce and explain recent results on the computably enumerable (c.e.) sets, especially their de...
AbstractThis note sets down some facts about natural number objects in the Dialectica category Dial2...
Some problems involved in looking at recursive function theory and thinking about the complexity of...
The common theme in this thesis is the study of constructive provability: in particular we investiga...
AbstractWe state some general facts on r.e. structures, e.g. we show that the free countable structu...
We discuss some basic issues underlying the natural numbers: induction and recursion. We examine rec...
Combinatorial reciprocity is a very interesting phenomenon, which can be described as follows: A pol...
The study of sets of uniqueness for trigonometric series has a long history, originating in the work...
AbstractWe study p-creative sets and p-completely creative sets. We first prove that for recursively...