کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
8904288 | 1633416 | 2018 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Elementary equivalences and accessible functors
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
We introduce the notion of λ-equivalence and λ-embeddings of objects in suitable categories. This notion specializes to Lâλ-equivalence and Lâλ-elementary embedding for categories of structures in a language of arity less than λ, and interacts well with functors and λ-directed colimits. We recover and extend results of Feferman and Eklof on “local functors” without fixing a language in advance. This is convenient for formalizing Lefschetz's principle in algebraic geometry, which was one of the main applications of the work of Eklof.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 7, July 2018, Pages 674-703
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 7, July 2018, Pages 674-703
نویسندگان
T. Beke, J. Rosický,