Maximal set
ریکرشن تھیوری میں، ریاضیاتی تھیوری آف کمپیوٹیبلٹی، ایک زیادہ سے زیادہ سیٹ قدرتی اعداد کا ایک سکےفائنٹ ریکرسیلی اینومیریبل سب سیٹ A ہے جس میں قدرتی اعداد کے ہر مزید ریکرسیلی اینومیریبل سب سیٹ B کے لیے، یا تو B کوفائنٹ ہے یا B A کا ایک محدود ورژن ہے یا B A کا سپر سیٹ نہیں ہے۔ یہ بار بار شمار ہونے والے سیٹوں کی جالی کے اندر ایک آسان تعریف دیتا ہے۔ زیادہ سے زیادہ سیٹوں میں بہت سی دلچسپ خصوصیات ہوتی ہیں: وہ سادہ، ہائپر سمپل، ہائپر ہائپر سمپل اور آر-میکسمل ہوتے ہیں۔ مؤخر الذکر کی خاصیت کا کہنا ہے کہ ہر ریکرسو سیٹ R میں یا تو A کی تکمیل کے صرف بہت سے عناصر ہوتے ہیں یا A کی تکمیل کے تقریبا تمام عناصر ہوتے ہیں۔ آر-میکسمل سیٹ ہوتے ہیں جو زیادہ سے زیادہ نہیں ہوتے ہیں۔ ان میں سے کچھ میں زیادہ سے زیادہ سپر سیٹ بھی نہیں ہوتے ہیں۔ مائی ہل (1956) نے پوچھا کہ کیا زیادہ سے زیادہ سیٹ موجود ہیں اور فریڈبرگ (1958) نے ایک سیٹ بنایا۔ سوارے (1974) نے دکھایا کہ زیادہ سے زیادہ سیٹ شمولیت (ماڈیولو محدود سیٹ) کے تحت بار بار قابل شمار سیٹوں کی آٹومورفزم کے حوالے سے ایک مدار بناتے ہیں۔ ایک طرف، ہر آٹومورفزم ایک زیادہ سے زیادہ سیٹ A سے دوسرے زیادہ سے زیادہ سیٹ B کا نقشہ بناتا ہے ؛ دوسری طرف، ہر دو زیادہ سے زیادہ سیٹوں A، B کے لیے بار بار شمار ہونے والے سیٹوں کی ایک آٹومورفزم ہوتی ہے جیسے کہ A کو B سے نقشہ بنایا جاتا ہے۔ حوالہ جات H. راجرز، جونیئر، 1967۔ دی تھیوری آف ریکرسو فنکشنز اینڈ ایفیکٹو کمپیوٹیبلٹی، دوسرا ایڈیشن 1987، ایم آئی ٹی پریس۔ (پیپر بیک)،۔ کمپیوٹیبلٹی نظریہ