قضیه حد دوگانه گروتندیک و نظریه مدل ها

در این مقاله سرگذشت یکی از نخستین دستاوردهای گروتندیک در آنالیز تابعی را مطالعه می کنیم که اخیرا ارتباط شگفت انگیز آن با نظریه مدل ها کشف شده است. نشان خواهیم داد که قضیه بنیادی نظریه پایداری، که توسط شلا‎ح در دهه هفتاد ثابت شد، اساسا نتیجه ای از قضیه حد دوگانه گروتندیک است که در رساله دکترای او در دهه پنجاه اثبات شده است. همچنین در مورد تعبیر قضیه گروتندیک در نظریه مدل ها بحث خواهیم کرد و این قضیه را برای انواع عموما پایدار بیان خواهیم کرد. در پایان، در مورد برخی کاربردها و نتایج محتمل این قضیه بحث می کنیم.

کلیدواژه ها:

قضیه حد دوگانه گروتندیک ، نظریه مدل ها ، قضیه پایداری شلاح ، تعریف پذیری انواع ، انواع عموما پایدار