On the applications of the theory of partially-recursive functions with respect to the sets in constructive mathematics
Osvald Demuth; Rudolf Kryl; Antonín Kučera
Acta Universitatis Carolinae. Mathematica et Physica (1978)
- Volume: 019, Issue: 1, page 15-60
- ISSN: 0001-7140
Access Full Article
top
How to cite
topDemuth, Osvald, Kryl, Rudolf, and Kučera, Antonín. "Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике." Acta Universitatis Carolinae. Mathematica et Physica 019.1 (1978): 15-60. <http://eudml.org/doc/246691>.
@article{Demuth1978,
author = {Demuth, Osvald, Kryl, Rudolf, Kučera, Antonín},
journal = {Acta Universitatis Carolinae. Mathematica et Physica},
keywords = {Relativized Recursion Theory; Jumps of Constructive Number Sets; Constructive Arithmetical Hierarchy; Constructive Arithmetical Real Functions; Incompleteness of Arithmetical Constructive Reals},
language = {rus},
number = {1},
pages = {15-60},
publisher = {Charles University in Prague},
title = {Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике},
url = {http://eudml.org/doc/246691},
volume = {019},
year = {1978},
}
TY - JOUR
AU - Demuth, Osvald
AU - Kryl, Rudolf
AU - Kučera, Antonín
TI - Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике
JO - Acta Universitatis Carolinae. Mathematica et Physica
PY - 1978
PB - Charles University in Prague
VL - 019
IS - 1
SP - 15
EP - 60
LA - rus
KW - Relativized Recursion Theory; Jumps of Constructive Number Sets; Constructive Arithmetical Hierarchy; Constructive Arithmetical Real Functions; Incompleteness of Arithmetical Constructive Reals
UR - http://eudml.org/doc/246691
ER -
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.