cyanic-selkie/wikianc huggingface dataset:
آدام (فیلم آمریکایی ۲۰۱۹)
داستان
یک نوجوان خجالتی و عصبی بنام آدام در آخرین سال دبیرستان تابستانی‌اش در نیویورک با خواهر بزرگتر خود، که بخشی از صحنه فعال یک نمایش محلی لزبین و ترانس است. در این کمدی ایندی روی سن، آدام به همراه افراد اطرافش عشق، دوستی و حقایق سخت را کشف می‌کنند.
سیارک ۸۹۶۵
سیارک ۸۹۶۵ هشت هزار و نهصد و شصت و پنجمین سیارک کشف شده‌است که در ۱۷ اکتبر ۱۹۶۰ کشف شد.
قدر مطلق سیارک برابر ۱۳٫۳۰ است.
فالو (ایتالیا)
فالو (ایتالیا) (به ایتالیایی: Fallo) یک کومونه در ایتالیا است که در استان کییتی واقع شده‌است.
ای ۵۱۲۰
ای ۵۱۲۰ (A 5120)نام یک کامپیوتر اداره‌ای است که توسط کاربران مارکس استات توسط کشور جمهوری دموکراتیک آلمان در سال ۱۹۸۲ ساخته شده است. در سیستم این رایانه از ریزپردازنده‌های، ۸بیتی به کار رفته است. این رایانه برای کارهای اداره‌ای و انجام عملیات‌هایی با کیفیت پایین و صدای ضعیف استفاده می‌شده است. قیمت این دستگاه رایانه چیزی در حدود ۲۷٬۰۰۰ و ۴۰٬۰۰۰ مارک آلمان شرقی برابر با ۲۴٬۰۰۰–۳۵٬۰۰۰ دلار آمریکا خرید و فروش می‌شده است. در مارس ۱۹۸۳ میلادی، جمهوری دموکراتیک آلمان در حدود ۴٫۵ میلیون کپی از سندهایش از این رایانه استفاده کرده است.
موزه مفاخر اردبیل
موزه مفاخر اردبیل شامل چهره های علمی و فرهنگی استان در حوزه دین و ترویج مذهب تشیع در قالب عکس، نقاشی و سوابق علمی و ادبی در خانه میر فتاحی راه اندازی شده است.
گاداستون
گاداستون (به انگلیسی: Godstone) یک روستا و محله مدنی در بریتانیا است که در Tandridge واقع شده‌است. گاداستون ۱۸٫۰۶ کیلومتر مربع مساحت و ۵٬۹۴۹ نفر جمعیت دارد.
ارمینوو
ارمینوو یک روستا در لهستان است که در گمینا ربنو (استان ماسوویان) واقع شده‌است.
نیلوفر (بازیگر)
نیلوفر با نام اصلی شهین خلیلی (زادهٔ ۱۳۲۴ در تهران) خواننده و بازیگر سینمای پیش از انقلاب ۵۷ است. وی تا سال ۱۳۵۳ خورشیدی در سینمای ایران فعالیت داشت.
آدریان اصفهان
ورودی آتشکده درب مهر گوهر و مهربان(آدریان اصفهان)
آدُریانِ اصفهان یا دربِ مهرِ گوهر و مهربان، نیایشگاهِ کنونیِ مزدیسنان و جایگاهِ نگهداری آتش مقدس در شهرِ اصفهان است. اما پیشترها، مهمترین آتشگاه در اصفهان در کوهِ آتشگاه بوده است.
گوهر و مهربان
این جایگاه با دَهش و یاریِ گوهر و مهربانِ زرتشتی برای رفاهِ مزدیسنان سامان یافته است.
رکن‌الدین غورسانچی
رکن‌الدین غورسانچی به صورت عورسانحی یا اعورسانسی یا اغورسایسی یا اعورسایسی یا اغورسایی نیز آمده‌است. پسر علاءالدین محمد خوارزمشاه و برادر کوچکتر جلال‌الدین خوارزمشاه بود. او به سال ۶۰۱ هجری قمری ولادت یافت و به سال ۶۱۹ درگذشت. در تاریخ جهانگشای جوینی آمده: «بوقت آنک سلطان محمد از عراق بازگشت پسر خود سلطان رکن‌الدین را که غورسانجی نام او بود نامزد ملک عراق کرد…».
وی از سلطان جلال‌الدین خوارزمشاه کوچکتر بود و از طرف پدر سلطان محمد خوارزمشاه حکومت عراق عجم را داشت و در کرمان و ری و اصفهان خدماتی از خود نشان داد و با سپاه مغول در قلعهٔ فیروزکوه جنگید تا سرانجام شکست خورد و وی را گرفتند و پیش فرماندهٔ سپاه بردند فرمانده به وی گفت: که در پیش او زانو بزند رکن الدین تن به ذلت نداد و مغولان او را کشتند.
حبیشی
حبیشی، روستایی از توابع بخش باوی شهرستان اهواز در استان خوزستان ایران است.
جمعیت
این روستا در دهستان ملاثانی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۵۹ نفر (۱۲خانوار) بوده‌است.
سیارک ۸۹۶۶
سیارک ۸۹۶۶ هشت هزار و نهصد و شصت و ششمین سیارک کشف شده‌است که در ۲۶ مارس ۱۹۷۱ کشف شد.
قدر مطلق سیارک برابر ۱۳٫۸۰ است.
شووا-کو، ناگویا
شووا-کو، ناگویا (به لاتین: Shōwa-ku, Nagoya) یک منطقهٔ مسکونی در ژاپن است که در ناگویا واقع شده‌است. شووا-کو ۱۰٫۹۴ کیلومترمربع مساحت و ۱۰۵٬۳۶۰ نفر جمعیت دارد.
دسته‌بندی‌کننده بیز ساده
دسته‌بندی‌کننده بیز ساده در یادگیری ماشین به گروهی از دسته‌بندی‌کننده های ساده بر پایه احتمالات گفته می‌شود که با فرض استقلال متغیرهای تصادفی و براساس قضیه بیز ساخته می‌شوند. به‌طور ساده روش بیز روشی برای دسته‌بندی پدیده‌ها، بر پایه احتمال وقوع یا عدم وقوع یک پدیده‌است. این روش از ساده‌ترین الگوریتم‌های پیش‌بینی است که دقت قابل قبولی هم دارد. دقت آن را می‌توان با استفاده از برآورد چگالی کرنل به صورت قابل توجهی بالا برد. شیوه یادگیری در روش بیز ساده از نوع یادگیری با نظارت است. این روش در دهه ۱۹۶۰ در میان دانشمندان بازیابی اطلاعات توسعه یافت و هنوز هم از روش‌های محبوب در دسته‌بندی اسناد به‌شمار می‌آید.
بیز ساده فرض را بر استقلال متغیرهای پیش‌بینی می‌گذارد از این رو بیز ساده یا بیز ساده‌لوح خوانده می‌شود. برای نمونه در مسئله پیش‌بینی یک میوه (این میوه مثلاً ممکن است پرتقال باشد) اگر میوه نارنجی و کروی با شعاع حدود ده سانتی‌متر باشد و به شرطی که این احتمالات به درستی از همدیگر مستقل باشند بیز ساده در تشخیص اینکه این میوه پرتقال است یا نه به‌درستی عمل خواهد کرد.
برنامه‌های کاربردی بسیاری هستند که پارامترهای نایو بیز را تخمین می‌زنند، بنابراین افراد بدون سروکار داشتن با تئوری بیز می‌توانند از این امکان به منظور حل مسایل مورد نظر بهره ببرند. با وجود مسائل طراحی و پیش فرض‌هایی که در خصوص روش بیز وجود دارد، این روش برای طبقه‌بندی کردن بیشتر مسایل در جهان واقعی، مناسب است.
مدل‌سازی احتمالی
اگر n متغیر ورودی داشته باشیم یعنی و خروجی \mathbf{y} از یک مجموعه K عضوی باشد، هدف از مدل‌سازی پیدا کردن احتمال مشروط هر کدام از این K دسته است یعنی. طبق قانون بیز این احتمال برابر است با
با نرمال‌سازی عبارت قبلی می‌توان توزیع احتمال مشروط را پیدا کرد، در معادله پایین همان ضریب نرمال‌سازی است:
اگر هدف پیدا کردن محتملترین دسته باشد، به ضریب نرمال‌سازی یعنی Z نیازی نیست:
تخمین پارامترها
برای مدلسازی دسته‌بندی‌کننده بیز ساده برای تمام kها به تخمین p(C_k) و  نیاز داریم. p(C_k) به سادگی با حساب درصد داده‌هایی که متعلق به کلاس C_k هستند بدست می‌آید. برای بدست آوردن راه‌های مختلفی وجود دارد، تخمین توزیع چند جمله‌ای یا توزیع طبیعی روش‌هایی متداول برای این کار هستند.
سدیم فلوئورید
سدیم فلوئورید با فرمول شیمیایی NaF یک ترکیب شیمیایی با شناسه پاب‌کم ۵۲۳۵ است. که جرم مولی آن 41.988713 g/mol می‌باشد. شکل ظاهری این ترکیب، جامد سفید است.
دسته‌بندی‌کننده بیز ساده
تخمین پارامترها
در روش تخمین توزیع طبیعی، را با یک توزیع طبیعی با میانگین \mu_{i,k} و واریانس  تخمین می‌زنیم و \mu_{i,k} و  را از طریق درست نمایی بیشینه بدست می‌آوریم:
اگر x_i گسسته باشد، توزیع را می‌توان با یک توزیع چند جمله‌ای تخمین زد.
بازی گلف
در این مثال داده‌هایی از شخصی داریم که به ما می‌گوید که در شرایط مختلف آب و هوایی این شخص گلف بازی می‌کند یا خیر. دسته‌بندی‌کننده با استفاده از این داده‌ها به جداول زیر می‌رسد. در هر جدول احتمال شرایط مختلف آب و هوایی به شرط این که شخص گلف بازی کند یا نکند آمده‌است. فرض کنید هوا بارانی، طوفانی، سرد و مرطوب باشد. حال می‌خواهیم مشخص کنیم که این شخص گلف بازی می‌کند یا خیر. فرض کنید x_1 معادل بارانی بودن، x_2 معادل طوفانی بودن، x_3 معادل سرد بودن و x_4 معادل مرطوب بودن باشد. همچنین C_1 معادل بازی کردن و C_2 معادل بازی نکردن باشد. در این صورت داریم
پس دسته‌بندی‌کننده برچسب C_2 را انتخاب خواهد کرد. در نتیجه شخص با این شرایط گلف بازی نخواهد کرد.
مزایا و معایب
تحقیقاتی در سال ۲۰۰۴ دلایل نظریه‌ای برای رفتارهای غیر منطقی بیز مطرح کرد و همچنین در سال ۲۰۰۶ مشاهدات فراگیری به منظور مقایسه این روش با سایر روش‌های طبقه‌بندی مانند boosted trees و جنگل تصادفی (random forests) انجام شد که بر کارا بودن این روش صحه گذاشتند.
از مزایای این روش می‌توان به موارد زیر اشاره کرد:
علاوه بر مزایایی که این دسته‌بندی‌کننده دارد معایبی نیز دارد، از جمله:
کاربردها
برخی از کاربردهای این دسته‌بندی‌کننده به شرح زیر است:
پیتر جنر
پیتر جنر (زاده ۱۹۴۳) تهیه‌کننده و مدیر گروه موسیقی، اهل انگلیس است. او به همراه اندرو کینگ و چهار عضو نخست گروه پینک فلوید، در شرکت بلک‌هل اینترپرایزز شریک بوده و به عنوان یک مدیر گروه یا مدیر هنرمند، با هنرمندانی چون روی هارپر، تی رکس، پینک فلوید، کلش، دنزیل، ادی ریدر، سارا جین موریس و روبین هیچکاک همکاری کرد.
خلبان جنگنده
خلبان جنگنده به هوانوردی در ارتش می‌گویند که برای نبرد در آسمان با هواپیماهای دیگر یا نابود کردن هدف‌های زمینی با هواپیمای جنگی آموزش ویژه دیده‌است. خلبان جنگنده‌ای که دست کم پنج هواپیما را سرنگون کرده باشد خلبان تک‌خال نامیده می‌شود.
خلبانان برجستهٔ تاریخ نبردهای هوایی
از میان برجسته‌ترین خلبانان نبردهای هوایی می‌توان به نام‌های زیر اشاره کرد:
زویرچری
زویرچری، روستایی از توابع شهرستانملاثانی شهرستان اهواز در استان خوزستان ایران است.
این روستا مربوط به طایفه یا قوم بزرگ حمیدی است.
در مورد کشاورزی این گونه بیان میکنیم که زمین های حاصلخیزی در این روستا وجود دارد که۶۵در صد این زمین ها دُیُم هستند و در اکثریت این زمین ها گندم کاشت میشود.
در این روستا دو قوم بزرگ اهواز قوم امیری ها و خرامزه زندگی میکنند.
این روستا بسیار سرسبز و زیبا است پیشنهاد من این است که در اوایل زمستان یا در اواسط بهار به این روستا بروید و از هوا و مناظر ان لذت ببرید.
نویسنده: رضا حمیدی
جمعیت
این روستا در دهستان ملاثانی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۲۶۷ نفر (۴۹خانوار) بوده‌است.
آ چائو
آ چائو (A Chau)نام یک جزیره کوچک است که، در شمال شرقی هنگ کنگ قرار دارد.
استرابون (دهانه)
استرابون یک دهانه برخوردی در ماه‌ است.
دهانه‌های اقماری
این دهانه ۴ دهانه اقماری دارد.
حمام روستای سنگ بن طالقان
حمام روستای سنگ بن طالقان مربوط به دوره قاجار است و در شهرستان طالقان، روستای سنگ بن واقع شده و این اثر در تاریخ با شمارهٔ ثبت ۷۲۳۱ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
گومشل
گومشل (به انگلیسی: Gomshall) یک روستا در بریتانیا است که در ساری واقع شده‌است.
سیارک ۸۹۶۷
سیارک ۸۹۶۷ هشت هزار و نهصد و شصت و هفتمین سیارک کشف شده‌است که در ۱۳ مه ۱۹۷۱ کشف شد.
یونس شاکری
یونس شاکری (زادهٔ ۱۰ دی ۱۳۶۸) یک بازیکن فوتبال اهل ایران است که در پست مهاجم برای باشگاه فوتبال هوادار در لیگ برتر خلیج فارس بازی می‌کند.
رزنیک (دهانه)
رزنیک یک دهانه برخوردی در ماه‌ است.
یوسف الرامی
یوسف الرامی (Joseph of Arimathea؛ زاده درگذشته سده) یکی از افرادِ نام‌برده‌شده در انجیل است. گفته می‌شود، یوسف رامی و نیکودموس، پیکر مسیح را از صلیب به پایین آوردند و او را با مُر و شب‌یار مومیایی کردند و در پارچه کتانی تمیز پیچیده، دفن کردند.
ژوزه کارلوس
ژوزه کارلوس (José Carlos؛ زادهٔ September 22, 1941) بازیکن و مربی فوتبال اهل پرتغال بود.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه ورزشی براگا و باشگاه فوتبال اسپورتینگ اشاره کرد.
وی همچنین در تیم ملی فوتبال پرتغال بازی کرده‌است.
زویرخرامزه
زویرخرامزه، روستایی از توابع بخش باوی شهرستان اهواز در استان خوزستان ایران است.
جمعیت
این روستا در دهستان ملاثانی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۳۴ نفر (۲۴خانوار) بوده‌است.
ارنستووو
ارنستووو یک روستا در لهستان است که در گمینا ودمینه واقع شده‌است.
هادی عمرو
او تحلیل‌گر خط‌مشی و نویسنده در زمینه روابط ایالات متحده با جهان اسلام و منازعه اعراب و اسرائیل، لبنان، اردن و توسعه اقتصادی و اجتماعی جهان عرب است. او به عنوان مشاور ارشد در دفتر سیاست در وزارت امنیت میهن، به عنوان قائم‌مقام دستیار مدیر آژانس توسعه بین‌المللی ایالات متحده (USAID) برای خاورمیانه و به عنوان قائم مقام فرستاده ویژه ایالات متحده در امور مذاکرات اسرائیل فلسطین از ۲۰۱۴–۲۰۱۷ فعالیت کرده‌است.
ناکاگاوا-کو، ناگویا
ناکاگاوا-کو، ناگویا (به لاتین: Nakagawa-ku, Nagoya) یک منطقهٔ مسکونی در ژاپن است که در ناگویا واقع شده‌است. ناکاگاوا-کو ۲۲۱٬۷۵۱ نفر جمعیت دارد.
سیارک ۸۹۶۸
قدر مطلق سیارک برابر ۱۲٫۸۰ است.
فرنتینو
فرنتینو (به ایتالیایی: Ferentino) یک کومونه در ایتالیا است که در استان فروزینونه واقع شده‌است.
خصوصیات
فرنتینو ۸۰ کیلومترمربع مساحت و ۲۱٬۰۲۷ نفر جمعیت دارد و ۳۹۳ متر بالاتر از سطح دریا واقع شده‌است.
خواهرخوانده
شهرهای San Severino Marche، یکاترینبورگ و راک‌فورد، ایلینوی خواهرخوانده‌های فرنتینو هستند.
راکول ایکس-۳۰
راکول ایکس-۳۰ هواپیمای ساخت ناسا بود که پروژه ان در ۱۹۹۳ لغو شد.
هجران حسینوا
هجران حسینوا (Hicran Hüseynova Kamran qızı; زاده ۱۳ اوت، ۱۹۵۵) بانوی سیاست‌مدار و استاد دانشگاه که رئیس سازمان امور خانواده، زنان و کودکان جمهوری آذربایجان در کابینه ریاست جمهوری الهام علی اف است، وی از سال ۲۰۰۶ که این سازمان تأسیس شد، تاکنون ریاست این نهاد دولتی را برعهده دارد. و از حقوق زنان جمهوری آذربایجان حمایت می‌کند. وی دکترای علوم سیاسی و تاریخ را در کارنامه علمی خود دارد. و از سال ۲۰۰۶ مدیر گروه دیپلماسی و فرایندهای یکپارچه سازی مدرن دانشگاه دولتی باکو را عهده‌دار است.
تنوره آسیابهای فتح‌آباد عرب
تنوره آسیابهای فتح‌آباد عرب مربوط به دوره قاجار است و در شهرستان فیروزآباد، بخش مرکزی، روستای فتح‌آباد عرب واقع شده و این اثر در تاریخ با شمارهٔ ثبت ۷۱۹۴ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
آ چیل
آ چیل (به انگلیسی: A' Chill) یک منطقهٔ مسکونی در بریتانیا است.
قره ملک
قره‌ملک می‌تواند به یکی از موارد زیر اشاره داشته باشد:
امالیزوماب
امالیزوماب (Omalizumab) یک ضد ایمونوگلوبولین و آنتی بادی مونوکلونال می‌باشد که به کاهش واکنش‌های آلرژی در بدن کمک می‌کند، این دارو با مسدود کردن پاسخ طبیعی سیستم ایمنی بدن به مواد حساسیت زا، که می‌تواند به یک حمله حاد آسم منجر شود کار می‌کند. امالیزوماب برای درمان حد متوسط آسم شدید که توسط آلرژی در کودکان و بزرگسالان که حداقل ۱۲ سال سن دارند ایجاد می‌شود استفاده می‌شود امالیزوماب معمولاً بعد از داروهای آسمی که در درمان نشانه‌های آلرژی ناتوان بوده‌اند استفاده می‌شود. همچنین از این دارو برای درمان یک نوع خاصی از کهیر به نام کهیر مزمن (CIU) استفاده می‌شود.
تلمبه خالقی
تلمبه خالقی یک منطقهٔ مسکونی در ایران است که در دهستان حومه (فردوس) واقع شده‌است.
فیلاتیرا
فیلاتیرا (به ایتالیایی: Filattiera) یک کومونه در ایتالیا است که در استان ماسا-کارارا واقع شده‌است.
خصوصیات
فیلاتیرا ۴۸٫۹ کیلومترمربع مساحت و ۲٬۴۲۷ نفر جمعیت دارد و ۲۱۳ متر بالاتر از سطح دریا واقع شده‌است.
دانیلا کوزلوفسکی
دانیلا والیریویچ کوزلوفسکی (زاده ۳ می ۱۹۸۵) بازیگر ، مدل روسی است.
از فیلم‌های معروف او می‌توان به بازی در فیلم آکادمی خون‌آشامی، خدمه پرواز اشاره کرد.
شیخ فضیل
شیخ‌فضیل، روستایی از توابع بخش باوی شهرستان اهواز در استان خوزستان ایران است.
جمعیت
این روستا در دهستان ملاثانی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۶۹ نفر (۱۶خانوار) بوده‌است.
اطلس گلوبال
اطلس گلوبال یک شرکت هواپیمایی ترکیه‌ای بود، که در سال ۲۰۰۱ تأسیس شد و نام پیشین آن، اطلس جت بود که از ۱ فوریه ۲۰۱۵ به اطلس گلوبال تغییر یافت.
این شرکت هوایپمایی در ۱۲ فوریه ۲۰۲۰ میلادی اعلام ورشکستگی کرد و همهٔ فعالیت‌های آن پس از این تاریخ متوقف شدند.
مقصدهای پروازی
، پیش از توقف همهٔ پروازها، اطلس گلوبال به مقصدهای زیر پرواز انجام می‌داد:
خدمات
از جملهٔ مهم‌ترین خدماتی که این شرکت هواپیمایی به مسافرین خود ارئه می‌داد، سرویس اتوبوس رایگان (ترانسفر) بود. مسافران می‌توانستند با مراجعه به وب‌سایت این شرکت، جدولی که مسیرهای مشمول این خدمت را معرفی می‌نماید، مشاهده نمایند. به علاوه، این هواپیمایی در مسیر پروازی خود خدمات غذایی و پذیرایی نیز داشت.
اطلس گلوبال به اعضای خود، کارت‌های عضویت متفاوتی ازجمله Atlasmiles Bronze, Atlasmilse Silver, Atlasmiles Gold, Atlasmiles Platinum, Atlasmiles Junior و … ارائه می‌نمود که هریک دارای شرایط و امکانات متفاوتی بود. با خرید هریک از برنامه‌های این شرکت امتیازاتی به اعضا داده می‌شود، و با توجه به مایل‌های طی شده، از پروازهای رایگان یا با تخفیف بهره‌مند می‌شدند.
قرارداد نماد مشترک
اطلس گلوبال در سال ۲۰۱۷ میلادی با هواپیمایی ایر فرانس به صورت قرارداد نماد مشترک شروع به همکاری نمود که طی این قرارداد، مسافران می‌توانستند از طریق شهر پاریس به نقاط پروازی از قبیل نیس، مارسی، لیون، کازابلانکا، رباط، تونس و … پرواز نمایند.
بریجمن (دهانه)
بریجمن یک دهانه برخوردی در ماه‌ است.
دهانه‌های اقماری
این دهانه ۳ دهانه اقماری دارد.
فیلم زندگی‌نامه‌ای
فیلم زندگینامه‌ای یا بیوگرافی (Biographical film) گونه‌ای از فیلم است که در آن زندگی‌نامه فرد یا افرادی حقیقی به تصویر کشیده می‌شود. در این فیلم‌ها رعایت سالشمار و روزشمار زندگی اشخاص اهمیت ویژه‌ای دارد. در این فیلم‌ها اغلب از نام اماکن و اشخاص واقعی برای نامگذاری بازیگرها و مکان‌های فیلمبرداری استفاده می‌شود. ساخت فیلم‌های زندگی‌نامه‌ای از همان اوایل شکل‌گیری صنعت سینما رواج یافت.
کات گوت
کات گوت نام نوعی از نخ‌های قابل جذب جراحی است که اقسام مختلف دارد.
جنس
از بافت زیرمخاطی روده گاو و گوسفند یا سروز روده گاو، تهیه می‌شود.
کاربرد
زمانی که حمایت بافتی کمی مورد نیاز باشد و در صورت وجود عفونت می‌تواند بکار رود.
آب‌سنگ حلقوی لائه
آب‌سنگ حلقوی لائه (به لاتین: Lae Atoll) یک آب‌سنگ حلقوی در جزایر مارشال است که در زنجیره رالیک واقع شده‌است. آب‌سنگ حلقوی لائه ۱٫۵ کیلومتر مربع مساحت و ۳۱۹ نفر جمعیت دارد و ۳ متر بالاتر از سطح دریا واقع شده‌است.
دهستان کسما
دهستان کسما، یکی از دهستان‌ ‌های بخش مرکزی شهرستان صومعه‌سرا استان گیلان در ایران است.
دهستان کسما در میان دهستان‌های مرکیه، اباتر، طاهرگوراب، ضیابر، هندخاله، تولمات و شهرستان‌های بندرانزلی و فومن و در منطقه‌ای جلگه‌ای قرار گرفته‌ است.
در طی دوران مبارزات میرزا کوچک جنگلی مهمترین مرکز جنگلیان و در حقیقت پایگاه سیاستگذاران این نهضت بوده‌ است. حمام کسما در آن واقع است.
نام شناسی
گفته شده نام کسما از عبارت «کاس» که قوم باستانی ماقبل تاریخ حاشیه دریای کاسپین بوده‌اند ریشه دارد. نشریه جنگل که یکی از مهمترین نشریات تاریخ مطبوعات گیلان و چه بسا ایران بوده حدود یک قرن پیش با ابتدایی‌ترین امکانات و به صورت چاپ سنگی در کسما منتشر می‌شد. شهر صومعه سرا به عنوان مرکزیت سیاسی و اقتصادی شهرستان صومعه سرا در محدوده جغرافیایی این دهستان واقع گردیده‌است.
جمعیت
جمعیت دهستان کسما براساس سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ برابر با ۷،۶۴۳ نفر بوده‌است.
ارواموو
ارواموو یک روستا در لهستان است که در گمینا اوستژکی دولنه واقع شده‌است.
ادم مغزی
ادم مغزی به معنی تجمع آب در فضای داخل سلولی یا خارج سلولی در مغز است. ورم مغزی همان تورم یا اِدِم مغز است. برای توضیح ساده تر باید گفت همان طور که اگر قسمتی از بدنتان مانند دست یا پا آسیب ببیند متورم می شود، مغز هم اینگونه است. مغز نیز می تواند در اثر بیماری، عفونت و یا ضربه متورم شود، با این تفاوت که فضای جمجه یک حجم ثابتی دارد، پس با تورم یک بخش سایر قسمت ها نیز به دلیل نبود فضا تحت فشار قرارگرفته و عملکرد بخش های دیگر نیز تحت تاثیر قرار می گیرد. تورم ممکن است در مکان های خاصی و یا در سراسر مغز رخ دهد، این کاملا به علت آن بستگی دارد. به هرحال با افزایش فشار درون جمجمه عروق خونی این ناحیه نیز تحت فشار قرار می گیرند و خونرسانی سخت شده و اکسیژن رسانی با مشکل مواجه می شود. همچنین بخاطر وجود محافظی محکم همچون استخوان جمجمه درمان ورم مغزی دشوار تر است (Sew3)
فشار داخل جمجمه‌ای (ICP)
فضای داخل جمجمه فضای بسته‌ای است که قابلیت اتساع ندارد. خون از سرخرگ به داخل حفرهٔ مغز وارد و از طریق سیاهرگ خارج می‌گردد. محتویات داخل کاسهٔ جمجمه شامل این موارد می‌باشد:
۱. بافت خود مغز که به‌طور متوسط در بزرگسالان ۱٬۴۰۰ گرم وزن دارد.
۲. جریان خون داخل مغز که ۷۵ cc در ثانیه است.
۳. مایع مغزی نخاعی (CSF) که ۷۵ cc است.
فشار داخل جمجمه (ICP) ناشی از این سه جزء می‌باشد. حد نرمال آن( ۱۰ – ۲۰ mmHg) است. برای اینکه ICP در این حد حفظ شود لازم است تعادل بین این سه جزء پایدار باشد. در صورت تغییر حجم یکی از این سه عامل معمولاً حجم یا مقدار دو عامل دیگر نیز تغییر می‌یابد تا ICP در حد نرمال حفظ شود. البته توانایی بافت مغز نسبت به دو عامل دیگر در فشرده شدن و کاهش حجم آن کمتر است لذا عمده تغییرات در حجم خون یا CSF ایجاد می‌شود.
درمان
اگر درمان محافظه‌کارانه مانند تجویز مانیتول و مدر، سرم سالین هایپرتونیک و … پاسخ نداد، ممکن است مداخلهٔ جراحی برای کاهش فشار داخل جمجمه‌ای و اجتناب از فتق مغزی ضروری باشد.
جستارهای وابسته
فشار داخل جمجمه‌ای
آلبرتو فستا
آلبرتو فستا (Alberto Festa؛ زادهٔ July 21, 1939) بازیکن فوتبال اهل پرتغال بود.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال پورتو اشاره کرد.
وی همچنین در تیم ملی فوتبال پرتغال بازی کرده‌است.
در کوهستان
در کوهستان (Them Thar Hills) فیلمی کمدی با نقش آفرینی لورل و هاردی است.
داستان فیلم
هاردی بیمار است و پزشک علت آنرا فشار زندگی می‌داند و به وی پیشنهاد می‌کند به یک منطقه آرام کوهستانی برود. لورل و هاردی به کوهستان می‌روند و در نزدیک کلبه‌ای که قبلاً مخفیگاه قاچاقچیان نوشیدنی‌های الکلی بوده‌است، اقامت می‌کنند. همه چیز تقریباً به خوبی پیش می‌رود تا اینکه همسر مردی برای گرفتن کمی بنزین به آنها مراجعه می‌کنند.
سیارک ۸۹۶۹
سیارک ۸۹۶۹ هشت هزار و نهصد و شصت و نهمین سیارک کشف شده‌است که در ۲۹ سپتامبر ۱۹۷۳ کشف شد.
قدر مطلق سیارک برابر ۱۴٫۱۰ است.
احمد سکوتوره
احمد سیکو توری (Ahmed Sékou Touré؛ زاده January 9, 1922 – درگذشته 1922:1:9, March 26, 1984) یک سیاست‌مدار اهل گینه بود.
وی در اوایل جنگ ایران و عراق بارها به هر دو کشور سفر کرد و تلاشهای زیادی کرد تا باعث پایان جنگ شود.
کمیته المپیک لتونی
کمیته المپیک لتونی (Latvian Olympic Committee) یک سازمان ورزشی است که نماینده کشور لتونی در کمیته بین‌المللی المپیک می‌باشد.
این سازمان که در سال ۱۹۲۲ تأسیس شده مسئول آماده‌سازی و اعزام ورزشکاران به بازی‌های المپیک، بازی‌های المپیک جوانان و بازی‌های اروپایی است.
تلمبه عشایری دامداری
تلمبه عشایری دامداری یک منطقهٔ مسکونی در ایران است که در دهستان محمدآباد (عنبرآباد) واقع شده‌است. تلمبه عشایری دامداری ۸۲ نفر جمعیت دارد.
محمد العجمی
محمد العجمی (که به نام محمد بن الذیب العجمی نیز شناخته شده است) شاعر قطری است.
واکنش‌های بین‌المللی
این حکم موج تازه اعتراض‌های گروه‌های حقوق بشری را به دنبال داشته است. این گروه‌ها پیش از این هم بارها خواستار آزادی این محمد بن الذیب العجمی شده بودند. سازمان عفو بین‌الملل از دولت قطر خواست که در صورتی که دستگیری العجمی به دلیل محتوای اشعارش بوده، او را آزاد کند. فیلیپ لوتر مدیر بخش خاورمیانه عفو بین‌الملل در بیانیه‌ای اظهار داشت: تاسف‌آور است که قطر، به عنوان کشوری که می‌خواهد ظاهر خود را به عنوان مشوق آزادی بیان در جامعه بین‌الملل نمایش دهد، به چنین تجاوز رسوا و آشکاری نسبت به حقوق انسانی دست می‌زند. در اکتبر ۲۰۱۲، سازمان دیده‌بان حقوق بشر نیز محاکمه العجمی را به دلیل اظهارات و سروده‌هایش، مصداق رویکرد دوگانه حاکمان این کشور در نوع برخورد با مقوله آزادی‌بیان دانست.
آزادی از زندان
العجمی در ماه مارس سال ۲۰۱۶ با عفو سلطنتی پس از ۴ سال از زندان آزاد شد.
پیام فضلی‌نژاد
آغاز فعالیت مطبوعاتی
براساس زندگی‌نامه‌ای که از پیام فضلی نژاد در وب‌سایت رسمی‌اش منتشر شده، وی دانش‌آموخته رشته حقوق قضایی است وی در سال ۱۳۷۹ نخستین کتاب خود را با نام سینما، سیاست، آزادی (آسیب‌شناسی گذار به سینمای کثرت گرا) منتشر کرد. این کتاب مجموعه گفتگوهایی بود که فضلی نژاد طی سال‌های ۱۳۷۶ تا ۱۳۷۹ در هفته نامه سینما به سردبیری فریدون جیرانی با شخصیتهای سیاسی مانند یوسف صانعی، صادق خلخالی، محسن آرمین، ابراهیم یزدی، حمیدرضا جلایی پور و… انجام داده بود.
تغییر مواضع و گرایش به همکاری با جناح راست نظام
وبلاگ‌نویسان اصلاح‌طلب با هماهنگی سید محمد علی ابطحی (معاون حقوقی و پارلمانی رئیس‌جمهور) در جلسه ویژه هیئت نظارت بر قانون اساسی حضور پیدا کردند
همکاری با روزنامه کیهان
از سال ۱۳۸۵ وی رسماً به مرکز پژوهش‌های روزنامه کیهان پیوست و سال ۱۳۸۶ کتاب شوالیه‌های ناتوی فرهنگی (یک نما از کودتای مخملی) را منتشر کرد. وی با حضور در تجمع‌های گوناگون، دانشگاه‌ها و حوزه‌های علمیه، دیدگاه‌های رادیکالی را علیه عبدالکریم سروش، حسین بشیریه، محمد خاتمی و سران اصلاحات در ایران مطرح کرده‌است. روزنامه کیهان که با مدیرمسئولی حسین شریعتمداری، اداره می‌شود، مرکزی تحت عنوان مرکز پژوهش‌های روزنامه کیهان با مدیریت سابق حسن شایانفر را در اختیار دارد. از یک دهه قبل این روزنامه همچنین پاورقی‌هایی تحت عنوان «نیمه پنهان» منتشر می‌کند.
ماهنامه عصر اندیشه
شماره اول ماهنامه عصر اندیشه به مدیرمسئولی محمدمهدی دانی و سردبیری پیام فضلی نژاد شهریور ماه سال ۹۳ بر روی دکه رفت. وی هم‌اکنون سردبیر این نشریه است. وی پس از ۳۰ ماه و انتشار ۱۳ شماره، به جهت حفظ استقلال رأی از سردبیری این مجله استعفا کرد.
فضلی‌نژاد پس از عصر اندیشه، مجوز انتشار فصلنامه ٣ زبانه «نقد اندیشه» را در زمینه فرهنگ، جامعه و علوم انسانى کسب کرده‌است.
برنامه تلویزیونی شوکران
فضلی‌نژاد هم‌اکنون سردبیر برنامه تلویزیونی «شوکران (برنامه تلویزیونی)» است که دوشنبه‌شب‌ها حوالی ساعت ۲۱ از شبکه چهارم سیما روی آنتن می‌رود.
فیوجی
فیوجی (به ایتالیایی: Fiuggi) یک کومونه در ایتالیا است که در استان فروزینونه واقع شده‌است.
خصوصیات
فیوجی ۳۳ کیلومترمربع مساحت و ۹٬۷۵۵ نفر جمعیت دارد و ۷۴۷ متر بالاتر از سطح دریا واقع شده‌است.
خواهرخوانده
شهرهای هلم‌اشتات، سانتو دومینگو و Tarrafal de São Nicolau, Cape Verde خواهرخوانده‌های فیوجی هستند.
فلیحی
فلیحی، روستایی از توابع بخش باوی شهرستان اهواز در استان خوزستان ایران است.
جمعیت
این روستا در دهستان ملاثانی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۷۰ نفر (۳۶خانوار) بوده‌است.
سیارک ۸۹۷۰
قدر مطلق سیارک برابر ۱۳٫۸۰ است.
دانته (شیطان هم می‌گرید)
دانته شخصیتی تخیلی سری بازی شیطان هم می‌گرید است که توسط شرکت کپ‌کام تولید شده‌است و چهار عنوان از آن در مجموع ۹ میلیون نسخه فروخته‌اند. دانته شخصیت اصلی سه بازی اول و یکی از شخصیت‌های اصلی بازی چهارم و پنجم بوده‌است. این شخصیت در داستان شیطان هم می‌گرید و شیطان هم می‌گرید ۳ نیز حضور دارد.
تا به امروز شاهد حضور شخصیت دانته در چیزی حدود ۲۵ بازی و نسخه مختلف از بازی‌ها به عنوان شخصیت اصلی و فرعی و مبارز مهمان و … بوده‌ایم.
او فردی نیمه اهریمن است زیرا پدر او اسپاردا (یک اهریمن کامل) و مادر او یک انسان بود او برادری دوقلویی به نام ورژیل (vergil) دارد که در انتهای نسخه سه بازی (که داستانش وقایع قبل داستان شماره ۱ بازی را بازگو می‌کند) ورجیل را به قعر جهنم پرتاپ می‌کند و از بازگشایی دوباره دروازه جهنم که سالیان پیش توسط اسپاردا بسته شده بود جلوگیری می‌کند.
شخصیت
دانته یک فرد مزدور است که اهریمنان را از بین می‌برد. و همیشه یک پالتوی انگلیسی قرمز می‌پوشد و شمشیری به نام طغیان (rebellion)(البته در نسخه پنجم بازی، این شمشیر شکست و جای خود را به شمشیر شیطانی دانته داد) و دو کلت ام ۱۹۱۱ به نام‌های Ebony و Ivory دارد؛ این تفنگ‌ها هیچگاه به پرکردن خشاب نیاز ندارند. او یک شکارچی شیطان حرفه ایست و کار با هر نوع سلاحی را بلد است. او چهار سبک مبارزه اصلی به نام‌های حقه بازی، استاد شمشیرزن، تفنگدار و گارد سلطنتی دارد (البته در نسخه سوم دو سبک جدید به نام‌های جیوه و روح دوگانه به سبک‌هایش اضافه شد). او بیشتر به خوی انسانی خود تکیه کرده و برعکس ورژیل علاقه برای کسب قدرت ندارد.
او هرگز مأمور انتظارات دیگران نمی‌شود. او به خونسردی و مزه‌پرانی به غول آخرهای بازی شهره بوده‌است. او علاقه زیادی به خوردن پیتزا و بستنی توت فرنگی (در انیمه) دارد.
محبوبیت
دانته از نظر محبوبیت در کتاب گینس رتبه ۲۸ را دارد. او همواره یکی از جذاب‌ترین و خوش تیپ‌ترین شخصیت‌های تاریخ بازی‌های رایانه ای بوده‌است. وی به خاطر ظاهر و استایل خاصش و خصوصیات شخصیتی ویژه اش خیلی زود تبدیل به یکی از شناخته شده‌ترین و محبوب‌ترین شخصیت‌ها در دنیای بازی‌های رایانه ای شد.
آ چرالایگ
آ چرالایگ (A' Chràlaig) نام یک قله است که اسکاتلند کوهستانی واقع شده است. این قله برای نخستین بار توسط کوه‌نوردی به نام گلن شیل فتح شده است. بالارفتن از این کوه نسبتاً آسان است و نیاز به وسایل حرفه‌ای کوه‌پیمایی نیست.
لژاندر (دهانه)
لژاندر یک دهانه برخوردی در ماه‌ است.
قلعه‌نصرالله
قلعه‌نصرالله، روستایی از توابع بخش باوی شهرستان اهواز در استان خوزستان ایران است.
استرپوله
استرپوله یک روستا در لهستان است که در گمینا برودنگتسا (استان لهستان بزرگ‌تر) واقع شده‌است. استرپوله ۱۰۰ نفر جمعیت دارد.
ترانه‌شناسی شادمهر عقیلی
شادمهر عقیلی، خواننده، آهنگساز، نوازنده، و تنظیم کننده ایرانی است. وی تاکنون ۱۴ آلبوم (۱۳ آلبوم رسمی و ۱ آلبوم غیر رسمی) منتشر کرده است.
آلبوم‌ها
=== مسافر (۱۳۷۷) ===
=== مشق سکوت (بی کلام) (۱۳۷۸) ===
=== نغمه‌های شرقی (بی کلام) (۱۳۷۸) ===
=== پر پرواز (۱۳۷۹) ===
پاپ کورن (۱۳۸۵)
=== تقدیر (۱۳۸۸) ===
=== طرفدار (۱۳۹۱) ===
=== تجربه کن (۱۳۹۵) ===
=== تصویر (۱۳۹۶) ===
آهنگسازی برای دیگران
شادمهر عقیلی سابقه آهنگسازی برای خوانندگان معروفی را نیز داشته‌است که میتوان به آخرین آلبوم مهستی، تک آهنگهایی برای ابی، عارف، لیلا فروهر، علی لهراسبی و محمد اصفهانی اشاره‌ کرد.
مسئولیت پزشکی
مسئولیت پزشکی، عبارت است از مسئولیت قضایی، قانونی، حقوقی انتظامی و کیفری پزشک یا خدمات دهنده درمانی دربرابر بیمار یا دریافت دارنده خدمات درمانی، در رابطه با هرگونه کوتاهی و خطا، اعم از عمدی و سهوی در درمان یا اقدامات درمانی و افشاء اسرار و اطلاعات پزشکی بیمار.
گستره حقوقی
مسئولیت پزشکی از مسائل اخلاق حرفه‌ای پزشکی و از مسائل اساسی است که در حقوق پزشکی مطرح است. این مسئله در رابطه پزشک و بیمار و تمامی کارهایی که پزشک برای معالجه بیمار انجام می‌دهد مطرح می‌شود. در نگرش حقوقی، رابطه پزشک و بیمار به منزله قراردادی است که میان آن دو بسته شده و به استناد این رابطه حقوقی، پزشک به عنوان طرف فعال این رابطه، همانطور که در برابر خدمات علمی خود که نفعی یا درآمدی، طبق قرارداد عاید وی می‌گردد، مکلف به انجام تکالیفی است که در حقوق به آن مسئولیت گفته می‌شود. بنابراین، مقصود از مسئولیت گستره معنایی حقوقی این واژه‌است که آثار و پیامدهای حقوقی به دنبال دارد. طبق این اصل پزشک در حیطه تخصص خویش و به اندازه توانایی‌ها و قابلیت‌های علمی اش، برطبق قوانین و نظام حقوقی موجود وظیفه دارد ضمن توجه و دقت در حفظ اسرار این رابطه (اسرار پزشکی) و عدم افشای آنها، در درمان و معالجه بیمار حداکثر تلاش در حد توان و منطقی خود را بنماید و هرگونه «خطا و قصور» از سوی وی، موجب تحقق مسئولیت حقوقی و کیفری و جبران خسارت خواهد بود. در واقع زمانی که بیمار و پزشک قراردادی و رابطه‌ای حقوقی بین خود منعقد می‌کنند، پزشک در زمینه درمان و معالجه و انجام یا ترک اعمال معالجه‌ای دارای مسئولیت حقوقی و قانونی می‌گردد و در صورت بروز قصور یا خطا پزشک متوجه مسئولیت حقوقی و کیفری، برحسب مورد، خواهد شد. دراین میان محدوده و گستره مسئولیت پزشکی، مبانی تحقق و شرایط و قوانین بروز مسئولیت قضایی و و مسائلی از این قبیل، تحت عنوان «مسئولیت پزشکی» در قلمرو حقوق پزشکی مطرح شده و مورد مطالعه قرار می‌گیرد.
مسئولیت قراردادی و خارج از قرارداد
عبارتست از تعهدی که در نتیجه تخلف از مفاد قرارداد خصوصی برای اشخاص حاصل می‌شود و مسئولیت خارج از قرارداد، عبارتست از این که قرارداد شخصی وجود ندارد؛ در این مورد پزشک به علت فعل یا ترک فعل به عمد یا سهواً ضرر و زیانی به دیگری می‌زند. لازمه عدم انجام تعهد در قرارداد، طلب خسارت از ناحیه خسارت‌دیده است و متعهد، مسئولیت قراردادی دارد؛ و عنوان خسارت مذکور نیز عدم انجام تعهد یا تأخیر در انجام تعهد است. در مسئولیت خارج از قرارداد شخص از تعهدهای عمومی و قانونی سرپیچی کرده‌است و خسارت و ضرری زده است.
سد تاریک
نیروگاه تاریک یک طرح کوچک مقیاس از طرح‌های نیروگاه‌های آبی متوسط و کوچک شرکت توسعه منابع آب و نیروی ایران - واقع در ۳۶ درجه و ۵۸ دقیقه عرض جغرافیایی و ۴۹ درجه و ۳۵ دقیقه طول جغرافیایی در استان گیلان و با فاصله تقریبی ۳۵ کیلومتر در پایین دست سد مخزنی سفید رود بر روی رودخانه سفیدرود در حال اجرا است (۱۳۹۳). هدف از اجرای این طرح تولید سالیانه ۱۶/۴۶ گیگاوات ساعت انرژی می‌باشد. حوضچه پایاب این طرح از نوع بتنی و ابعاد حوضچه آن ۱۹ در ۲۶ متر و حجم حوضچه آن ۱۹۰۰ مترمکعب است.
مسئولیت پزشکی
مسئولیت اخلاقی و حقوقی
مسئولیت اخلاقی عبارتست از مسئولیتی که قانونگذار به بیان و ایجاد آن نپرداخته و به معنی مسئولیت عرفی، اخلاقی و اجتماعی پزشک، از دیدگاه دین و هنجارهای درونی وی است. در مسئولیت قانونی، انجام فعل و ورود ضرر، شرط تحقق مسئولیت است. برخلاف مسئولیت اخلاقی، مسئولیت حقوقی آن است که مواردی در قانون پیش‌بینی شده و ضمانت اجرای قانونی (کیفری و مدنی) دارد.
مسئولیت کیفری و مدنی
مسئولیت کیفری عبارتست از ارتکاب جرمی که در قانون تصریح شده‌است. در این نوع مسئولیت، مرتکب باید اراده و قصد مسئولیت داشته باشد. یعنی رابطه علت و معلولی بین عمل ارتکابی و جرم و خسارت وجود داشته باشد تا بتوان عمل را به او نسبت داد. شخصی مسئول، علاوه بر مجازات قانونی ملزم به جبران خسارت هم می‌باشد. مسئولیت مدنی عبارتست از تعهد و الزام شخص به جبران زیان وارده به دیگری چه زیان و اراده در اثر عمل خود شخص یا اشخاص وابسته به او یا ناشی از اشیاء و اموال تحت مالکیت یا تصرف او باشد. هرگاه شخص مسئول جبران خسارتی باشد از منظر قانونی، گفته می‌شود مسئولیت مدنی دارد. در مسئولیت کیفری و مدنی وجهه مشترک، نقض قرارداد است و می‌توان رسیدگی به آن را از دادگاه درخواست نمود.
مسئولیت انتظامی یا حرفه‌ای
مسئولیتی که اشخاصی براساس قراردادهای حرفه‌ای در انجمن‌ها و اتحادیه‌ها و سازمان‌های صنف پزشکان دارند. به تخلف از این قوانین را تخلف انتظامی و اداری می‌گویند و حسب مورد توسط مراجع ذیصلاح رسیدگی می‌شود. در ایران سازمان نظام پزشکی بر اساس قوانین مصوب مجلس و آیین‌نامه انتظامی مصوب هیئت دولت به تخلفات پزشکان و سایر اعضای سازمان در هیأت‌های انتظامی رسیدگی می‌کند.
بیمه مسئولیت پزشکی
در بسیاری از کشورهای جهان، از جمله ایران، شرکت‌های بیمه قرارداد بیمه ویژه‌ای را با عنوان بیمه مسئولیت پزشکی به پزشکان، درمانگران و ارائه دهندگان خدمات درمانی، جهت حمایت مالی و حقوقی از پزشکان متهم غیرعمد دربرابر جبران خسارت و قوانین کیفری ارائه می‌دهند. برخی از این بیمه نامه‌ها، حتی هزینه دیه دو نفر را که در اثر کوتاهی و اشتباه در عملیات و اقدامات پزشکی به صورت غیر عمد کشته شده‌اند، تأمین می‌کنند.
حذف سور
حذف سور یکی از ویژگی‌های «جبری» مورد بررسی در منطق ریاضی (در نظریهٔ مدلها) است. تئوریِ T دارای حذف سور است (یا سورها را حذف می‌کند) هرگاه هر فرمولی به پیمانهٔ آن معادلی بدون سور داشته باشد.
مصداقِ ملموسی از حذف سور، فرمول تعیین‌کنندهٔ ریشه داشتن یا نداشتن یک معادلهٔ درجهٔ ۲ در اعداد حقیقی است:
حذف سور به دلایل گوناگون اهمیت دارد که برخی از آن‌ها را در ادامه ذکر کرده‌ایم. نخست، برای این که مطالعهٔ مجموعه‌های تعریف‌شدنی را آسان‌تر می‌کند: اگر تئوری T دارای حذف سور باشد، برای بررسی مجموعه‌های تعریف شدنی در مدل‌های آن، تنها کافی است مجموعه‌های تعریف‌شده با ترکیبات بولیِ فرمول‌های اتمی را در نظر بگیریم. دوم این که حذف سور، مطالعهٔ جبری مدل‌ها را ساده می‌کند. اگر T دارای حذف سور باشد، آن‌گاه برای هر دو مدلِ M,N از آن، اگر M زیرساختاری از N باشد، آن‌گاه M زیرساختاری مقدماتی از N است، یعنی هر جملهٔ مرتبهٔ اول با پارامتر در M اگر در N درست باشد، آن‌گاه در M نیز درست است. سوم این که، بررسی کامل بودنِ یک تئوری، در صورت حذف سور پذیرفتن آن، آسان‌تر است. منظور از تئوریِ کامل، تئوری‌ای است که در آن هر جملهٔ داده‌شده یا نقیض آن اثبات شدنی است. از این رو اگر روندی تصمیم‌پذیر برای اثبات حذف سور داشته باشیم، اثبات تصمیم‌پذیر بودن یک تئوری نیز در حالتی که حذف سور داشته باشد، آسان‌تر است. چهارمین اهمیت حذف سور، فراهم آوردن توصیف جبری ملموس برای برخی تئوری‌ها و بدینسان برقرار کردن پیوند میان جبر و نظریهٔ مدل است. برای مثال، بررسی ساختار یا مدل تولید شده توسط یک مجموعهٔ داده شده، یا بررسی بستارِ جبری یک مجموعهٔ داده شده، در تئوری‌ای که حذف سور داشته باشد، به مراتب آسان‌تر است. این نکته در مثال‌های جبری، مانند میدان‌های بستهٔ حقیقی و میدان‌های بستهٔ جبری راحت‌تر به چشم می‌آید.
تعریف
تئوریِ T در زبانِ L «دارای حذف سور است»، یا «سورها را حذف می‌کند» هرگاه برای هر فرمولِ
فرمولی بدون سور مانند
پیدا شود که
با به روش‌های مقدماتی منطقی، فرمول بدون سورِ \psi را می‌توان به صورت
یا
در نظر گرفت که در آن هر \psi_{ij} فرمولی اتمی یا نقیض یک فرمول اتمی است.
معادلاً تئوری T دارای حذف سور است، هرگاه «زیرساختارْکامل» باشد. یعنی برای هر مدلِ M\models T و هر زیرساختارِ
تئوریِ
در زبانِ L_A (زبانی که با افزودن ثابت برای ازای هر عنصرِ A به زبان تئوریِ T به دست آمده باشد) یک تئوریِ کامل باشد. منظور از Diag(A) مجموعهٔ همهٔ جمله‌های بدون سورِ با پارامتر در A است. از این رو، همان‌گونه که در مقدمه اشاره شد، اگر T دارای حذف سور باشد و
و
آن‌گاه M\preceq N. ولی عکس این گفته برقرار نیست. در واقع این ویژگی، «مدلْ‌کامل» بودن نام دارد. «زیرساختارْکامل بودن» معادل «حذف سور» است و «مدل‌ْ‌کاملْ بودن» با «معادل بودن هر فرمول، با فرمولی فقط دارای سورهای وجودی» معادل است.
نیز تئوریِ T حذف سور می‌پذیرد اگروتنهااگر هر تایپ کاملی در آن با فرمول‌های بدون سور آن تایپ کاملاً تعیین شود. به بیان دیگر، برای هر a,b در مدل هیولا و هر زیرمجموعهٔ A از مدل هیولا، اگر
آن‌گاه ؛ که منظور از qftp(a/A) مجموعهٔ همهٔ فرمول‌های بدون سور با پارامتر در A است که a آن‌ها را برآورده می‌کند.
مثالها
داشتن حذف سور، تنها در یک «زبان معقول» حائزِ اهمیت است. این زبان عموماً بهینه‌ترین زبانی است که ویژگی‌های جبری یک تئوری را بتواند بیان کند. اگر جز این بخواهد باشد، هر تئوری‌ای با اضافه کردن محمول برای هر فرمول دارای سور به زبان، دارای حذف سور می‌شود. به بیان واضح‌تر اگر برای هر فرمولِ محمول p_\phi را به زبان و جملهٔ را به تئوری بیفزاییم، به یک تئوری دارای حذف سور می‌رسیم.
اعداد طبیعی و حساب پئانو
ساختارِ به‌ظاهرسادهٔ
سورها را حذف نمی‌کند. مسئلهٔ حذف سور برای این ساختار، هم‌ارزِ مسئلهٔ ناکامل بودن اصول پئانو برای حساب است که گودل آن را ثابت کرده‌است. نیز به بیان دیگر، این مسئله معادل مسئلهٔ وجود یک زیرمجموعهٔ بازگشتی شمارش‌پذیر (آر. ای) از \mathbb{N} است که بازگشتی نباشد. در واقع زیرمجموعه‌های بازگشتی‌ِ شمارش‌پذیرِ \mathbb{N} دقیقاً آنهایند که با فرمولهای
تعریف می‌شوند که در آن p یک چندجمله‌ای در
باشد.
حساب پِرِسْبِرگِر
برخلافِ حسابِ پئانو، «حسابِ پِرِسْبِرگِر» دارای حذف سور است. حساب پرسبرگر، به بیان ساده حسابی است که از تئوریِ کاملِ ساختار
به دست می‌آید که در آن تعبیرِ محمولِ p_n زیرمجموعهٔ n\mathbb{Z} از \mathbb{Z} است. نتیجهٔ تأمل‌برانگیزِ حذف سور حساب پرسبرگر این است که بر خلاف
که گرفتار دشواری‌های قضیهٔ ناتمامیت گودل است، ساختارِ
تصمیم‌پذیر است. حساب پرسبرگر دارای یک اصل‌بندی ساده است که ویژگی‌های گروه جمعیِ ترتیبیِ
میدانهای بستهٔ حقیقی
سورها را حذف می‌کند (تارسکی). این حذف سور، نتایج جبری و توپولوژیک بااهمیتی در پی دارد. نخست این که تئوریِ کامل این ساختار، دقیقاً تئوری میدان‌های بستهٔ حقیقی است. میدان‌های بستهٔ حقیقی، میدانهایی هستند که در آنها -1 مجموع مربعات نباشد. و هیچ توسیع جبری‌ای نداشته باشند که در آن -1 مجموع مربعات باشد.
بنا به حذف سور، اصل‌بندی زیر برای میدان‌های بستهٔ جبری، «کامل» است و از این رو میدان‌های بسته‌جبری دقیقاً مدلهای تئوریِ کاملِ ساختارِ
هستند. نیز تئوری زیر، «مدل‌کامل» و تصمیم‌پذیر است.
مجموعه‌های تعریف شدنی با فرمول‌های بدون سور در میدان‌های بستهٔ جبری، دقیقاً «مجموعه‌های شبه‌جبری» هستند. یعنی آن‌هایی که به گونهٔ زیر تعریف شوند:
که در آن f_iها و g_i چندجمله‌هایی در هستند. از آنجا که سورهای وجودی تصویر مجموعه‌ها روی محورها را به دست می‌دهند، حذف سورِ میدان‌های بستهٔ جبری در واقع، معادل این گفته‌است که «در میدانهای بستهٔ جبری، هر تصویر هر مجموعهٔ شبه‌جبری، خود نیز مجموعه‌ای شبه‌جبری است. در واقع، حذف سور، راهبردی بود تارسکی برای اثبات این قضیه پیش گرفت.
از دیگر نتیجه‌های حذف سور برای میدانهای بستهٔ جبری، این است که این میدانها «کمینهٔ ترتیبی» هستند (اُمینیمال). یعنی مجموعه‌های تعریف شدنی با یک متغیر در آنها، اجتماعی متناهی از نقطه‌ها و بازه‌های باز هستند (و از این رو بنا به قضیهٔ تقسیم سلولی، مجموعه‌های تعریف شدنی در ابعاد بزرگتر، اجتماعی متناهی از سلول‌ها هستند). ترتیب‌کمینگی این ساختار، ارتباط سودمندی میان نظریهٔ مدل و تویولوژی برقرار می‌کند.
گریت بوکهام
گریت بوکهام (به انگلیسی: Great Bookham) یک روستا و شهرک در بریتانیا است که در ساری واقع شده‌است. گریت بوکهام ۵٬۵۹۶ نفر جمعیت دارد.
حذف سور
میدانِ ترتیبیِ اعداد حقیقی به همراه جرم توابع تحلیلیِ حقیقی
تئوری میدان بستهٔ حقیقی \mathbb{R} بهمراه «جرم توابع تحلیلی حقیقی» و جمع و ضرب و کمتریِ تحدید شده، مدل‌کامل است، یعنی هر فرمولی در آن معادل فرمولی به صورت
است که در آن \phi فرمولی بدون سور است. (وَن‌ْ دِنْ دریز) به بیان دیگر، اگر با F خانوادهٔ همهٔ توابع تحلیلیِ حقیقیِ محدود شده به بازهٔ بستهٔ [-1,1] را نشان دهیم، و با D تابع تغییردادهٔ شدهٔ تقسیم را که هر جا باشد تعریف شده‌است، تئوریِ ساختارِ
سورها را حذف می‌کند.
در نتیجهٔ حذف سور به راحتی می‌توان نشان داد که ساختار یادشده، کمینهٔ ترتیبی است. نیز اهمیت دیگر حذف سور در این ساختار این است، که اثباتی نظریهٔ مدلی برای قضیهٔ هندسیِ «گابْرییِلُف» فراهم می‌آورد. بنا بر قضیهٔ گابرییلف، مکمل هر مجموعهٔ زیرْتحلیلی در \mathbb{R} مجموعه‌ای زیرْتحلیلی است. مجموعه‌های زیرتحلیلی، با گرفتن تصاویرِ مجموعه‌های شبه‌تحلیلی روی محورها به دست می‌آیند. نیز، مجموعه‌های شبه‌تحلیلی، دقیقاً مجموعه‌هایی هستند که در ساختارِ
بدون سور تعریف می‌شوند.
میدانهای بستهٔ جبری
سورها را حذف می‌کند (رابینسون). تئوری این ساختار، از این رو، معادل با تئوری میدان‌های بستهٔ حقیقی با مشخصهٔ صفر است. در نتیجهٔ حذف سور، تئوری میدان‌های بستهٔ جبری مدلْ‌کامل است و تئوری میدان‌های بستهٔ جبری با مشخصهٔ p (که p می‌تواند بی‌نهایت نیز باشد) کامل است.
حذف سور در میدان‌های بستهٔ جبری نیز نتایج جبری خوشایندی به دست می‌دهد. در واقع حذف سور در این میدان‌ها معادل قضیهٔ «شُوالی» است که می‌گوید «تصویر هر مجموعهٔ ساخته‌شدنی تحت یک نگاشت چندجمله‌ای مجموعه‌ای ساخته‌شدنی است». مجموعه‌های ساخته‌شدنی در میدان‌های بستهٔ جبری، ترکیبات بولی متناهیِ مجموعه‌های بستهٔ زاریسکی هستند. به بیان دیگر، آن‌ها مجموعه‌های «تعریف‌شدنی» با فرمول‌های بدون سور در یک میدان بستهٔ جبریند. طبیعی است که تصویر آن‌ها تحت نگاشت‌های چندجمله‌ای، دوباره تعریف شدنی، و بنا به حذف سور، بدون‌سورتعریف‌شدنی، و از این رو ساخته‌شدنی است.
نیز حذف سور (در واقع مدل‌کاملی نتیجه‌شونده از آن) اثبات آسانی برای قضیهٔ ریشه‌های هیلبرت (نول‌اِشتِلِنْ‌سَتز) فراهم می‌آورد. بنا به این قضیه، در میدان‌های بستهٔ جبری، مجموعه‌های بستهٔ زاریسکی در تناظر یک‌به‌یکند با ایده‌آل‌های رادیکال در حلقهٔ چندجمله‌ای‌های متناظر.
نتیجهٔ دیگرِ حذف سور در میدان‌های بستهٔ جبری، این است که آن‌ها بسیارکمینه هستند. یعنی اگر K یک میدان بستهٔ جبری باشد، هر زیرمجموعهٔ تعریف شدنی از K یا خودْ یا مکملش متناهی است (یعنی این مجموعه را می‌توان تنها با نمادِ تساوی تعریف کرد).
میدان ترتیبی اعداد حقیقی به همراه تابعِ نمایی نامحدود
تئوریِ ساختارِ
نتیجه نمی‌شود. نیز بنا به حذف سور، این تئوری ترتیب‌کمینه است. اگر «حدس شانوئل» درست باشد، این تئوری، تصمیم‌پذیر است. حدس شانوئل این است که اگر
روی \mathbb{R} مستقل «خطی» باشند، آن‌گاه مرتبهٔ تعالی میدانِ
حداقل، n است. تصمیم‌پذیری تئوریِ
موردِ سؤالی از تارسکی بوده‌است.
زوجهای چگال از میدانهای بستهٔ حقیقی
فرض کنید T تئوری «زوجهای چگال از میدانهای بستهٔ حقیقی» باشد (این تئوری، کامل است). به بیان دیگر زوج (M,N) مدلی از T است اگروتنهااگر M و N دو میدان بستهٔ حقیقی در زبانِ
باشند و N در M چگال باشد؛ یعنی هر بازهٔ باز که دو سر آن عناصرِ M باشند، دارای نقطه‌ای در N باشد. این تئوری را می‌توان تئوریِ کاملِ ساختارِ
دانست که در آن منظور از
میدان بستهٔ حقیقی متشکل از همهٔ عناصر جبری روی \mathbb{Q} است و خطِ بالایِ \mathbb{R} یعنی این میدان به همراه جمع و ضرب و کمتری و صفر و یک. تئوریِ T در زبانِ
که در آن p یک نماد محمولی یک ظرفیتی برای میدانِ کوچکتر (N) است، دارای حذف سوری این‌چنین است: هر فرمولی در این زبان، معادل ترکیبی بولی از فرمولهایی به صورت
است که در آن .
تئوری یادشده، ترتیب کمینه نیست ولی همچنان از لحاظ توپولوژیک خوش‌رفتار است: هر مجموعهٔ باز از \mathbb{R} که در ساختار
تعریف شدنی است. نیز هر زیرمجموعه از
که در این ساختار تعریف شدنی باشد، اشتراکِ
با زیرمجموعه‌ای چون X^n از \mathbb{R} است که با فرمولی در L_{or} تعریف شده باشد. نیز هر زیرمجموعه‌ای چون X از \mathbb{R} که در این ساختار تعریف‌شدنی باشد تجزیه‌ای به‌گونهٔ
دارد که در آن هر I_i یا یک بازهٔ بازِ زیرمجموعهٔ X است یا یک نقطه است، یا یک بازهٔ باز به‌گونه‌ای است که X\cap I و X^c\cap I در I چگال است. مشابه این گفته برای مجموعه‌های تعریف شدنی در ابعاد بالاتر نیز برقرار است (تجزیهٔ سلولی چگال و مکمل‌ْچگال). در نتیجه \mathbb{N} در این ساختار تعریف شدنی نیست و این امر برای در امان بودن از دشواری‌های ناتمامیت، در ساختارهای نظریهٔ مدلی اهمیت دارد.
میدانهای ارزیابی
در حالت کلی‌تر، میدان‌های ارزیابیِ (نه لزوماً بستهٔ جبری) هنسلیِ دارای مؤلفهٔ زاویه‌ای، به گونهٔ
ملکه عباس‌زاده
ملکه عباس‌زاده (Məleykə Abbaszadə، همچنین مصطفایوا, زاده ۱۹۵۳، باکو) سیاست‌مدار آذربایجانی که در کابینه ریاست جمهوری حیدر علی اف و الهام علی اف از اکتبر ۲۰۰۰، ریاست کمیسیون پذیرش دانشجویان دولتی جمهوری آذربایجان را برعهده دارد. وی در سال ۱۹۷۵ مدرک تحصیلی خود را در رشته حساب، انتگرال و ریاضیات از دانشگاه دولتی مسکو اخذ، کارآموزی خود را در آکادمی ملی علوم آذربایجان و نیز آکادمی علوم روسیه سپری کرد. و در سال ۱۹۸۸ از پایان‌نامه خود در رشته ریاضیات و انتگرال از آکادمی ملی علوم اوکراین دفاع کرد.
حذف سور
میدانهای ارزیابی
مطالعه می‌کنند که حامل سه بخش برای میدان اصلی و میدان خارج‌قسمتی و گروه ارزیابی‌هاست. نگاشت ارزیابی با نماد
نشان داده شده‌است. نیز ac:K\to k نگاشت مؤلفهٔ زاویه‌ای، یک همومرفیسم گروه ضربی است که نگاشت کانونیِ ، را «روی عناصرِ یکهٔ R» گسترش می‌دهد. در این زبان می‌توان نشان داد که میدان‌های ارزیابی هنسلی دارای مؤلفهٔ زاویه‌ای و با مشخصهٔ صفر برای میدان خارج‌قسمتی، سورها را از میدانِ اصلی، یعنی K، حذف می‌کنند. به بیان دیگر، اگر دو میدان ارزیابیِ
و
داشته باشیم و بدانیم که
(به عنوان دو گروه آبلی بخش‌پذیرِ بدونِ تاب) و k\equiv k' (به عنوان دو میدان) آنگاه .
حذف سور تبعات خوشایند زیادی نیز برای میدان‌های ارزیابی دارد. برای مثال، تئوری میدان‌های بستهٔ جبریِ با مشخصهٔ مشخص، سی‌کمینال (سی‌مینیمال) است. یعنی مجموعه‌های تعریف شدنی در آن ساختاری درخت‌مانند دارند.
نیز در میدان‌های ارزیابیِ بستهٔ جبری، گروه ارزیابی‌ها و میدان خارج‌قسمتی، هر یک «ثابت‌ْنشانده» هستند. یعنی زیرمجموعه‌هایی از آن‌ها را که در کل ساختار تعریف‌شدنی باشند می‌توان در خودِ ساختار گروه، یا در خودِ ساختارِ میدان و بدون کمک‌گیری از بقیهٔ زبان تعریف کرد. این نکته دربارهٔ میدان‌های ارزیابیِ هنسلی دارای مشخصهٔ خارج‌قسمتیِ صفر و دارای مؤلفهٔ موضعی نیز درست است.
روش‌های معمول برای بررسی حذف‌سور
پیدا کردن معادل بدون سور به روش مستقیم و با دستکاری فرمولها، برای یک فرمول پیچیدهٔ دارای سور همواره عملی‌ترین راه آزمودن حذف سور نمی‌تواند باشد، به ویژه وقتی که زبان دارای چندین بخش است و فرمول‌ها بسیار پیجیده‌اند. عموماً حذف سور را با کمک گرفتن از «محکهای جبری» زیر می‌آزمایند.
روش اول
تئوری T دارای حذف سور است اگر و تنها اگر برای هر دو مدلِ
هر فرمولِ
که عطفی از فرمول‌های اتمی (فرمول‌های ساخته شده با کمک تساوی و نقیض و ترم‌ها و رابطه‌های زبان) است و پارامترهای \bar{a} در آن از A می‌آیند، داشته باشیم
روش دوم، راژمانهای رفت و برگشتی
همان‌گونه که در تعریف حذف سور اشاره شد، برای این که یک تئوری حذف سور بپذیرد، باید تایپ‌های کامل عناصر را تایپ‌های بدون سور آن‌ها به دست بدهند. فرض کنید M_1 و M_2 مدلهایی بسیار اشباع باشند و
و . بامهارتهای اولیهٔ نظریهٔ مدلی می‌توان نشان داد که
اگر و تنها اگر زیرساختاری از M_1 که \bar{a} آن را تولید می‌کند با زیرساختاری از M_2 که \bar{b} آن را تولید می‌کند، ایزومرف باشد. یادآوری می‌کنیم که qftp نشانگر تایپ بدون سور است. نیز
هرگاه یک نگاشت مقدماتی جزئی داشته باشیم که \bar{a} را به \bar{b} ببرد.
هرگاه یک «راژمان رفت و برگشتی» از ایزومرفیسم‌های میان زیرساختارهای M_1 و M_2 وجود داشته باشد که ایزومرفیسم میان ساختار تولید شده توسط \bar{a} در M_1 و ساختار تولید شده توسط \bar{b} در M_2 در میان آن‌ها باشد، آن‌گاه .
روش چهارم
اگر تئوریِ T دو شرط جبری زیر را برآورد، آن‌گاه سورها را حذف می‌کند:
روش پنجم
موارد زیر با هم معادلند (تعاریف در ادامه آمده‌است).
کامل بودن
تئوریِ T را «کامل» می‌خوانند هرگاه هر جمله‌ای یا نقیضِ آن از T نتیجه شود. اگر T کامل باشد و M\models T آن‌گاه T با تئوریِ کاملِ th(M) هم‌ارز است. یعنی هر ویژگی‌ای که در یکی از مدلهای T برقرار باشد، در همهٔ مدل‌های دیگر نیز برقرار خواهد بود. به بیان دیگر، اگر T کامل باشد و
هرگاه T کامل باشد، می‌توان مدلی بسیار بزرگ از آن را برای کار اندر آن برگزید و و آن را مدل «هیولا» خواند و همهٔ مدل‌ها را زیرمدلی از مدل هیولا دانست. نیز بررسی تایپ‌ها عموماً در تئوری‌های کامل و در مدل هیولا صورت می‌پذیرد.
اگر T دارای حذف سور باشد و مدلی داشته باشد که در سایر مدل‌های دیگر، مقدماتی نشانده شود، آنگاه T کامل است. کامل بودن بسیاری از تئوریها، مانند میدان‌های بستهٔ حقیقی و میدان‌های بستهٔ جبری، با کمک این نکته ثابت می‌شود.
همان‌گونه که در تعریف گفتیم، تئوریِ T دارای حذف سور است اگر و تنها اگر برای هر مدل M\models T و هر زیرساختارِ
تئوریِ
یک تئوری کامل باشد.
مدلْ‌کامل بودن
بسیاری از تئوری‌ها کامل نیستند ولی ویژگی‌ای را نزدیک به کامل‌بودن دارا هستند که آن را «مدل‌کامل» بودن می‌خوانند.
تئوریِ T را مدل‌ْکامل می‌خوانند هرگاه برای هر مدلِ M\models T تئوریِ
یک فرمول بدون سور باشد و
داریم . نیز به بیان دیگر، تئوریِ T مدل‌کامل است اگروتنهاگر برای هر دو مدلِ
داشته باشیم M\preceq N؛ یعنی M زیرمدلی مقدماتی از N باشد. تئوریِ T مدل‌کامل است اگروتنهااگر هر فرمولی در آن معادلی با فقط سور وجودی داشته باشد. به بیان دیگر هر فرمول با متغیرِ آزادِ \bar{y} معادلی به گونهٔ
داشته باشد. که در آن \phi فرمولی بدون سور است.
همپای مدلی
یعنی هر مدل از T را بتوان به یک مدل از T' گستراند و هر مدل از T' را به یک مدل از T. همپای مدلی یک تئوری لزوماً همیشه موجود نیست، ولی در صورت وجود، یکتاست. تئوریِ T دارای همپای مدلی است، اگروتنهااگر کلاس همهٔ مدل‌های بسته‌ٔوجودیِ آن، کلاسی مقدماتی باشد. در واقع همپای مدلیِ T، تئوری‌ِ این کلاس مقدماتی است. مدلِ M\models T را «بستهٔ وجودی» می‌خوانند هرگاه برای هر
و هر فرمولِ بدون سورِ
که در آن
داشته باشیم .
مُکمّلِ مدلی
اگر T' همپای مدلیِ T باشد و T دارای «ویژگی پیوندی» (همان گونه که در زیر آمده‌است) باشد، آن‌گاه T' را «مکمل مدلیِ» T می‌خوانیم. مکمل‌ِ مدلی یک تئوری به داشتن حذف سور نزدیک است؛ از آن رو که مکملِ مدلیِ یک تئوری با اصل‌بندیِ جهانی (T=T_\forall) دارای حذف سور است.
نیز T' مکمل مدلیِ T است. اگروتنهااگر همپای مدلی T باشد و برای هر M\models T تئوریِ
در زبان L_M یک تئوری کامل باشد.