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)
Author(s)
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 |
|---|
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.
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