کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8959561 1646325 2018 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
First order logic without equality on relativized semantics
ترجمه فارسی عنوان
منطق مرتبه اول بدون برابری در معنایی نسبی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
Let α≥2 be any ordinal. We consider the class Drsα of relativized diagonal free set algebras of dimension α. With same technique, we prove several important results concerning this class. Among these results, we prove that almost all free algebras of Drsα are atomless, and none of these free algebras contains zero-dimensional elements other than zero and top element. The class Drsα corresponds to first order logic, without equality symbol, with α-many variables and on relativized semantics. Hence, in this variation of first order logic, there is no finitely axiomatizable, complete and consistent theory.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 11, November 2018, Pages 1227-1242
نویسندگان
, ,