О некоторых свойствах теоретико-множественных моделей теории лямбда
Данная работа посвящена исследованию возможности построения теоретико-множественных моделей теории лямбда на базе понятий слабо и сильно непрерывной функции, предложенных автором. В статье доказывается, что, отталкиваясь от понятия слабо непрерывной функции, нельзя строить модели теории лямбда с пом...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2008 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/46821 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | О некоторых свойствах теоретико-множественных моделей теории лямбда / А.А. Лялецкий // Мат. машини і системи. — 2008. — № 4. — С. 10-22. — Бібліогр.: 8 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-46821 |
|---|---|
| record_format |
dspace |
| spelling |
Лялецкий, А.А. 2013-07-07T12:25:18Z 2013-07-07T12:25:18Z 2008 О некоторых свойствах теоретико-множественных моделей теории лямбда / А.А. Лялецкий // Мат. машини і системи. — 2008. — № 4. — С. 10-22. — Бібліогр.: 8 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/46821 510.67:512.562:515.126.2:519.767 Данная работа посвящена исследованию возможности построения теоретико-множественных моделей теории лямбда на базе понятий слабо и сильно непрерывной функции, предложенных автором. В статье доказывается, что, отталкиваясь от понятия слабо непрерывной функции, нельзя строить модели теории лямбда с помощью метода Скотта, однако родственное ему понятие сильно непрерывной функции ведет к построению новых лямбда-алгебр и лямбда-моделей. Роботу присвячено дослідженню можливості побудови теоретико-множинних моделей теорії лямбда на базі понять слабкої та сильно неперервної функції, запропонованих автором. В статті доводиться, що, відштовхуючись від поняття слабко неперервної функції, не можна будувати моделі за методом Скотта, але поняття сильно неперервної функції, що є дуже близьким до попереднього, призводить до побудови нових лямбда-алгебр та лямбда-моделей. The paper is devoted to investigating the possibility of set-theoretical models of theory lambda on the base of the author's notions of weak and strong continuities of a function. The author proofs that starting with the notion of a weekly continuous function, one cannot construct models by means of the Scott method; nevertheless, the close notion of a strongly continuous function leads to new lambda-algebras and lambda-models. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Обчислювальні системи О некоторых свойствах теоретико-множественных моделей теории лямбда Про деякі властивості теоретико-множинних моделей теорії лямбда On some properties of set-theory models of lambda theory Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
О некоторых свойствах теоретико-множественных моделей теории лямбда |
| spellingShingle |
О некоторых свойствах теоретико-множественных моделей теории лямбда Лялецкий, А.А. Обчислювальні системи |
| title_short |
О некоторых свойствах теоретико-множественных моделей теории лямбда |
| title_full |
О некоторых свойствах теоретико-множественных моделей теории лямбда |
| title_fullStr |
О некоторых свойствах теоретико-множественных моделей теории лямбда |
| title_full_unstemmed |
О некоторых свойствах теоретико-множественных моделей теории лямбда |
| title_sort |
о некоторых свойствах теоретико-множественных моделей теории лямбда |
| author |
Лялецкий, А.А. |
| author_facet |
Лялецкий, А.А. |
| topic |
Обчислювальні системи |
| topic_facet |
Обчислювальні системи |
| publishDate |
2008 |
| language |
Russian |
| container_title |
Математичні машини і системи |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| format |
Article |
| title_alt |
Про деякі властивості теоретико-множинних моделей теорії лямбда On some properties of set-theory models of lambda theory |
| description |
Данная работа посвящена исследованию возможности построения теоретико-множественных моделей теории лямбда на базе понятий слабо и сильно непрерывной функции, предложенных автором. В статье доказывается, что, отталкиваясь от понятия слабо непрерывной функции, нельзя строить модели теории лямбда с помощью метода Скотта, однако родственное ему понятие сильно непрерывной функции ведет к построению новых лямбда-алгебр и лямбда-моделей.
Роботу присвячено дослідженню можливості побудови теоретико-множинних моделей теорії лямбда на базі понять слабкої та сильно неперервної функції, запропонованих автором. В статті доводиться, що, відштовхуючись від поняття слабко неперервної функції, не можна будувати моделі за методом Скотта, але поняття сильно неперервної функції, що є дуже близьким до попереднього, призводить до побудови нових лямбда-алгебр та лямбда-моделей.
The paper is devoted to investigating the possibility of set-theoretical models of theory lambda on the base of the author's notions of weak and strong continuities of a function. The author proofs that starting with the notion of a weekly continuous function, one cannot construct models by means of the Scott method; nevertheless, the close notion of a strongly continuous function leads to new lambda-algebras and lambda-models.
|
| issn |
1028-9763 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/46821 |
| citation_txt |
О некоторых свойствах теоретико-множественных моделей теории лямбда / А.А. Лялецкий // Мат. машини і системи. — 2008. — № 4. — С. 10-22. — Бібліогр.: 8 назв. — рос. |
| work_keys_str_mv |
AT lâleckiiaa onekotoryhsvoistvahteoretikomnožestvennyhmodeleiteoriilâmbda AT lâleckiiaa prodeâkívlastivostíteoretikomnožinnihmodeleiteoríílâmbda AT lâleckiiaa onsomepropertiesofsettheorymodelsoflambdatheory |
| first_indexed |
2025-12-07T17:54:11Z |
| last_indexed |
2025-12-07T17:54:11Z |
| _version_ |
1850873008607985664 |