Use this url to cite publication: https://cris.mruni.eu/cris/handle/007/30937
Options
О необходимых условиях существования универсальной функции на допустимом множестве
Type of publication
Straipsnis kitame recenzuojamame leidinyje / Article in other peer-reviewed edition (S5)
Title
О необходимых условиях существования универсальной функции на допустимом множестве
Other Title
On conditions necessary for this existence of a universal function on admissible sets
On conditions necessary for this existence of a universal function on admissible sets
Publisher (trusted)
Lietuvos TSR MA matematikos ir kibernetikos institutas
Date Issued
| Date Issued |
|---|
1989 |
Extent
p. 21-37
Is part of
Matematinė logika ir jos taikymai. Kompiuterinės logikos matematiniai aspektai : medžiaga seminarui / Red. R. Pliuškevičius. Vilnius : Lietuvos TSR MA matematikos ir kibernetikos institutas, 1989, 1989/6/21.
Field of Science
Abstract
A method to prove the non-existence of a universal recursive function on an admissible set is presented. Mainly the admissible sets of hereditary finite sets on any structure are considered.
Straipsnyje įrodytos būtinos universalios rekursyvios funkcijos egzistavimo sąlygas leistinoje aibėje virš bet kokios abstrakčios struktūros. Pagrindinis dėmesys skiriamas paveldimai baigtinėms eibėms virš bet kokios struktūros.
Type of document
type::text::journal::journal article::research article
ISSN (of the container)
0207-8961
eLABa
3209180
Coverage Spatial
Lietuva / Lithuania (LT)
Language
Rusų / Russian (ru)
Bibliographic Details
5