Relatively recursive expansions

C. Ash; J. Knight

Displaying similar documents to “Relatively recursive expansions”

Relatively recursive expansions II

C. Ash, J. Knight, Theodore Slaman (1993)

Fundamenta Mathematicae

Similarity:

In [AK], we asked when a recursive structure A and a sentence φ, with a new relation symbol, have the following property: for each ℬ≅ A there is a relation S such that S is recursive relative to ℬ and ℬ,S)⊨ φ. Here we consider several related properties, in which there is a uniform procedure for determining S from ℬ ≅A, or from ℬ,¯b)≅(A,ā), for some fixed sequence of parameters ā from A; or in which ℬ and S are required to be recursive. We investigate relationships between these properties,...

Quantification of number-theoretic functions

S. C. Kleene (1959-1960)

Compositio Mathematica

Similarity:

Isomorphism of index sets of discrete families of general recursive functions.

Korol'kov, Yu.D. (2004)

Sibirskij Matematicheskij Zhurnal

Similarity:

Recursiveness of initial segments of Kleene's O

Carl Jockusch (1975)

Fundamenta Mathematicae

Similarity:

Rational recursive equations characterizing cotangent-tangent and hyperbolic cotangent-tangent functions.

Hengkrawit, Charinthip, Laohakosol, Vichian, Udomkavanich, Patanee (2010)

Bulletin of the Malaysian Mathematical Sciences Society. Second Series

Similarity:

Recursive families of sets

S. Mrówka (1957)

Fundamenta Mathematicae

Similarity:

Notation systems and recursive ordered fields

Yiannis N. Moschovakis (1965-1966)

Compositio Mathematica

Similarity:

Computably rigid models with enumerable submodels.

Buzykaeva, A.N. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

Arithmetical classification of the set of all provably recursive functions

Vítězslav Švejdar (1999)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The set of all indices of all functions provably recursive in any reasonable theory $T$ is shown to be recursively isomorphic to $U \times \bar{U}$ , where $U$ is $Π_{2}$ -complete set.