|کد مقاله||کد نشریه||سال انتشار||مقاله انگلیسی||ترجمه فارسی||نسخه تمام متن|
|4661646||1344852||2016||43 صفحه PDF||ندارد||دانلود کنید|
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.
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 10, October 2016, Pages 939–981