کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904288 1633416 2018 30 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Elementary equivalences and accessible functors
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Elementary equivalences and accessible functors
چکیده انگلیسی
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
نویسندگان
, ,