کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
11010127 | 1812796 | 2018 | 24 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Syntactic forcing models for coherent logic
ترجمه فارسی عنوان
مدل های اجباری همگانی برای منطق منسجم
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
چکیده انگلیسی
We present three syntactic forcing models for coherent logic. These are based on sites whose underlying category only depends on the signature of the coherent theory, and they do not presuppose that the logic has equality. As an application we give a coherent theory T
and a sentence Ï which is T-redundant (for any geometric implication Ï, possibly with equality, if T+Ïâ¢Ï, then Tâ¢Ï), yet false in the generic model of T. This answers in the negative a question by Wraith.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Indagationes Mathematicae - Volume 29, Issue 6, December 2018, Pages 1441-1464
Journal: Indagationes Mathematicae - Volume 29, Issue 6, December 2018, Pages 1441-1464
نویسندگان
Marc Bezem, Ulrik Buchholtz, Thierry Coquand,