Use this url to cite publication: https://cris.mruni.eu/cris/handle/007/30937
О необходимых условиях существования универсальной функции на допустимом множестве
Type of publication
Straipsnis kitame recenzuojamame leidinyje / Article in other peer-reviewed edition (S5)
Title [ru]
О необходимых условиях существования универсальной функции на допустимом множестве
Other Title [en] [en]
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
Keywords (lt)
Keywords (en)
Abstract (lt)
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.
Abstract (en)
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.
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