کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661646 1344852 2016 43 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Duality, non-standard elements, and dynamic properties of r.e. sets
ترجمه فارسی عنوان
دوگانگی، عناصر غیر استاندارد، و خواص پویا از مجموعه های r.e.
کلمات کلیدی
مجموعه بازگشتی قابل شمارش؛ شبکه مجموعه بازگشتی قابل شمارش؛ دوگانگی شبکه های توری جهت توزیع؛ مدل های غیر استاندارد حساب. مجموعه اول
primary, 03D25; secondary, 03C62, 03H15, 06D50Recursively enumerable sets; The lattice of recursively enumerable sets; Duality for distributive lattices; Non-standard models of arithmetic; Index sets
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

We investigate the Priestley dual (E⁎)⋆(E⁎)⋆ of the lattice E⁎E⁎ of r.e. sets modulo finite sets. Connections with non-standard elements of r.e. sets in models of 1st order true arithmetic as well as with dynamic properties of r.e. sets are pointed out. Illustrations include the Harrington–Soare dynamic characterization of small subsets, a model-theoretic characterization of promptly simple sets, and relations between the inclusion ordering of prime filters on E⁎E⁎ (a.k.a. points of (E⁎)⋆(E⁎)⋆) and the complexity of their index sets.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 10, October 2016, Pages 939–981
نویسندگان
,