کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662900 1345206 2013 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Ordered domain algebras
ترجمه فارسی عنوان
جبرهای دامنه مرتب شده
کلمات کلیدی
جبر دامنه؛ بازنمایی محدود؛ رابطه. axiomatisation محدود؛ بازنمایی کیلی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

We give a finite axiomatisation to representable ordered domain algebras and show that finite algebras are representable on finite bases.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 11, Issue 3, September 2013, Pages 266–271
نویسندگان
, ,