کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6424895 1345217 2012 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Locality and modular Ehrenfeucht-Fraïssé games
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Locality and modular Ehrenfeucht-Fraïssé games
چکیده انگلیسی

We study ways to simplify Ehrenfeucht-Fraïssé games. In particular, we consider decompositions of a structure and their effect on Ehrenfeucht-Fraïssé games. We investigate notions of locality and we present a generalisation of the theorem of Gaifman to linearly ordered structures.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 10, Issue 1, March 2012, Pages 144-162
نویسندگان
,