کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662020 | 1633487 | 2012 | 29 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The extensional ordering of the sequential functionals
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We investigate the extensional ordering of the sequential functionals of finite types, with a focus on when the sequential functionals of a given type form a directed complete partial ordering, and on when a finite sequential functional will be the nontrivial least upper bound of an infinite chain of sequential functionals. We offer a full characterization for finite functionals of pure types.
► The sequential functionals are introduced via finite sequential procedures.
► New types with incomplete orderings of sequential functionals are discovered.
► Finitary sequential functionals may be nontrivial least upper bounds.
► Finitary sequential functionals may be discontinuous.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 5, May 2012, Pages 575–603
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 5, May 2012, Pages 575–603
نویسندگان
D. Normann, V.Yu. Sazonov,