کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
8906096 | 1634013 | 2018 | 22 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Extensions of Scott's Graph Model and Kleene's Second Algebra
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Extensions of Scott's Graph Model and Kleene's Second Algebra Extensions of Scott's Graph Model and Kleene's Second Algebra](/preview/png/8906096.png)
چکیده انگلیسی
We use a way to extend partial combinatory algebras (pcas) by forcing them to represent certain functions. In the case of Scott's Graph Model, equality is computable relative to the complement function. However, the converse is not true. This creates a hierarchy of pcas which relates to similar structures of extensions on other pcas. We study one such structure on Kleene's Second Algebra and one on a pca equivalent but not isomorphic to it. For the recursively enumerable sub-pca of the Graph model, results differ as we can compute the (partial) complement function using the equality.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Indagationes Mathematicae - Volume 29, Issue 1, February 2018, Pages 5-22
Journal: Indagationes Mathematicae - Volume 29, Issue 1, February 2018, Pages 5-22
نویسندگان
Jaap van Oosten, Niels Voorneveld,