03 Mathematical logic and foundations
03Dxx Computability and recursion theory
03D30 Other degrees and reducibilities (9 articles)
-
Glasnák, Vladimír:
Polynomial time bounded truth-table reducibilities to padded sets.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 41
(2000),
issue 4,
pp. 773-792
-
Kučera, Antonín:
A note on initial segments below $\utilde O'$.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 30
(1989),
issue 4,
pp. 779-781
-
Demuth, Osvald:
Reducibilities of sets based on constructive functions of a real variable.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 29
(1988),
issue 1,
pp. 143-156
-
Demuth, Osvald:
Remarks on the structure of tt-degrees based on constructive measure theory.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 29
(1988),
issue 2,
pp. 233-247
-
Demuth, Osvald:
A notion of semigenericity.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 28
(1987),
issue 1,
pp. 71-84
-
Demuth, Osvald; Kučera, Antonín:
Remarks on 1-genericity, semigenericity and related concepts.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 28
(1987),
issue 1,
pp. 85-94
-
Demuth, Osvald:
Об apифmeтичeckoй cлoжнocти диффеpeндиpoвaния в конструктивной математике.
(Russian) [Arithmetic complexity of differentiation in constructive mathematics].
Commentationes Mathematicae Universitatis Carolinae,
vol. 24
(1983),
issue 2,
pp. 301-316
-
Kučera, Antonín:
On recursive measure of classes of recursive sets.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 23
(1982),
issue 1,
pp. 117-121
-
Demuth, O.; Kryl, R.; Kučera, A.:
Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике.
(Russian) [On the applications of the theory of partially-recursive functions with respect to the sets in constructive mathematics].
Acta Universitatis Carolinae. Mathematica et Physica,
vol. 19
(1978),
issue 1,
pp. 15-60