Use this url to cite publication: https://cris.mruni.eu/cris/handle/007/33688
Вычислимые нумерации вычислимых функционалов на RL- допустимых множествах
Type of publication
Straipsnis kitame recenzuojamame leidinyje / Article in other peer-reviewed edition (S5)
Title
Вычислимые нумерации вычислимых функционалов на RL- допустимых множествах
Other Title
Recursive enumerations of recursive functionals on recursively listed admissible sets
Recursive enumerations of recursive functionals on recursively listed admissible sets
Publisher (trusted)
Lietuvos TSR MA matematikos ir kibernetikos institutas |
Date Issued
| Date Issued |
|---|
1987 |
Extent
p. 123-132
Is part of
Matematinė logika ir jos taikymai. Informatikos loginiai aspektai : medžiaga seminarui / Red. R. Pliuškevičius. Vilnius : Lietuvos TSR MA matematikos ir kibernetikos institutas, 1987, [Nr.] 5.
Field of Science
Abstract (lt)
Leistiną aibę vadiname rekursyviai surašoma jei egzistuoja bijekyvi ∑-funkcija tarp leistinos aibės ordinalų ir leistinos aibės. Apibrėžiama baigtinio tipo funkcionalų klasės rekursyviai surašomose aibėse ir sukonstruojamos šių klasių pagrindinės įšskaičiuojamos numeracijos.
Abstract (en)
Classes of recursive functionals of finite type are defined and main recursive enumerations of these classes are constructed
Type of document
type::text::journal::journal article::research article
ISSN (of the container)
0132-7801
eLABa
3210048
Coverage Spatial
Lietuva / Lithuania (LT)
Language
Rusų / Russian (ru)
Bibliographic Details
3