موضوع مقاله: دنباله‌های بازنشناختنی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # دنباله‌های بازنشناختنی | مقدمه: در ریاضیات، در نظریهٔ مدلها، منظور از یک دنبالهٔ بازنشناختنی، یا یک دنبالهٔ تمیزداده‌نشدنی، یا یک دنبالهٔ متشکل از اعضای از هم بازنشناخته‌شدنی، دنباله‌ای است که تایپ هر چندتاییِ متشکل از اعضای آن، تنها به ترتیب قرار گرفتن آن اعضا وابسته باشد. | ## بخش 1: دنباله‌های بازنشناختنی | به بیان دیگر، دنبالهٔ از عناصرِ در مدل هیولا روی مجموعهٔ از پارامترها بازنشناختنی است، هرگاه برای هر تعداد متناهی از اندیسهای تایپ کامل تنها به تایپ «بدون‌سورِ» اندیسهای در زبانِ بستگی داشته باشد. برای مثال در تئوری ترتیب‌های خطیِ چگال بدون ابتدا و انتها (دی‌اِلْ‌اُ) هر دنبالهٔ صعودی، روی مجموعهٔ تهی بازنشناختنی است. نیز در این تئوری، برای هر مجموعهٔ هر دنبالهٔ صعودی که همهٔ اعضای آن در شکافی از واقع شود، روی بازنشناختنی است. برای مثالی دیگر، فرض کنید یک میدان بستهٔ جبری باشد و دنباله‌ای از عناصرِ متعالی روی . در واقع تایپهای شکل‌گرفته از اعضای این دنباله، تنها به تایپ اندیسهای متناظرشان در زبان وابسته‌اند و از این رو این دنباله را می‌توان «بسیاربازنشناختنی» خواند. تعریف دنبالهٔ را که در آن هر یک چندتایی (نه لزوماً متناهی) در مدل هیولاست، روی مجموعهٔ پارامترِ بازنشناختنی می‌خوانیم هرگاه برای هر داشته باشیم ؛ یعنی . وجود و نحوهٔ به دست آوردن دنباله‌های بازنشناختنی در هر تئوریِ کاملی می‌توان در مدل هیولا دنباله‌ای بازنشناختنی پیدا کرد. | ## بخش 2: دنباله‌های بازنشناختنی | لم استاندارد فرض کنید دنباله‌ای دلخواه در مدل هیولا باشد و مجموعه‌ای باشد از پارامترها. آن‌گاه یک دنبالهٔ بازنشناختنی روی چنان یافت می‌شود که تایپِ اهغن‌موستوفسکیِ دنبالهٔ را برآورد. به بیان دیگر، دنبالهٔ دارای این ویژگی است که برای هر و برای هر فرمولِ و برای هر پارامترِ ، اگر برای هر داشته باشیم آن‌گاه داریم . نیز به بیان دیگر، دنبالهٔ دارای این ویژگی است که برای هر فرمولِ و هر از نتیجه می‌شود که اندیسهای از دنبالهٔ اولیه موجودند که دنبالهٔ حاصل از لم استاندارد، «موضعاً» و حول هر فرمول، شبیه دنبالهٔ اولیه است و تضمینی وجود ندارد که تایپهای اعضای آن در دنبالهٔ اولیه موجود باشند. برای به دست آوردن دنباله‌ای که تایپ اعضایش در دنبالهٔ اولیه موجود باشد، عموماً از نسخهٔ بهبودیافته‌ای از لم استاندارد، موسوم به «لم شلاخ» استفاده می‌شود که در زیر آمده است. شایانِ یادآوری است که از لوازم این لم، در دست داشتن دنباله‌ای باندازه طولانی است. لم شلاخ برای هر مجموعهٔ پارامترِ یک کاردینالِ موجود است به‌طوری‌که برای هر دنبالهٔ که در آن بتوان دنبالهٔ بازنشناختنیِ را چُنان یافت که برای هر اندیسهای پیدا شوند که . | ## بخش 3: دنباله‌های بازنشناختنی | آرایه‌های بازنشناختنی ایدهٔ ازهم‌بازشناخته‌نشدن را می‌توان از دنباله‌ها به آرایه‌ها تعمیم داد. آرایهٔ را بازنشناختنی متقابل می‌خوانیم هرگاه هر سطرِ از آن، روی بقیهٔ آرایه، یعنی روی دنباله‌ای بازنشناختنی باشد. معادلاً آرایهٔ بازنشناختنی متقابل است، هرگاه برای هر دو سطرِثابت‌گرفته‌شدهٔ تایپ چندتاییِ تنها به تایپِ اندیسهای و در زبان بستگی داشته باشد. دنبالهٔ ستونهای یک آرایهٔ بازنشناختنیِ متقابل، دنباله‌ای بازنشناختنی (از دنباله‌ها) است. آرایه‌های بازنشناختنی متقابل نیز دارای «ساختاری رمزی» هستند؛ یعنی اگر آرایهٔ دلخواهِ داده شده باشد، می‌توان با کمک لم استاندارد، آرایهٔ را چنان یافت که ؛ بدین معنی که چنان است که برای هر دو شمارهٔ از سطرها و هر فرمولِ ، از این که نتیجه شود که اندیسهای برای سطرهای آرایهٔ پیدا می‌شوند که . | ## جمع‌بندی | به این ترتیب، نیز آرایهٔ را بسیاربازنشناختنی می‌خوانیم هرگاه دنبالهٔ سطرهای آن (همچون دنباله‌ای از دنباله‌ها) و دنبالهٔ ستونهای آن (همچون دنباله‌ای از دنباله‌ها) هر دو بازنشناختنی باشند.