Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

On a question of Sierpiński

100%

Slaman T. A.

Fundamenta Mathematicae

1999

tom 159

nr 2

153-159

There is a set U of reals such that for every analytic set A there is a continuous function f which maps U bijectively to A.

Relatively recursive expansions II

51%

Ash C. J., Knight J. F., Slaman T. A.

Fundamenta Mathematicae

1993

tom 142

nr 2

147-161

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, showing that for certain kinds of sentences φ, some of these properties do or do not imply others. Many questions are left open.

Ograniczanie wyników

2 Fundamenta Mathematicae

2 Slaman T. A.

1 Ash C. J.

1 Knight J. F.

1 1999

1 1993

Wyniki wyszukiwania

On a question of Sierpiński

Relatively recursive expansions II