moaminsharifi/fa-wiki-spell-checker huggingface dataset:
در سال ۱۳۴۷ که پدرش در کاشان وفات کرد، او حوزه علمیه قم را به قصد کاشان ترک کرد و سال‌ها در زادگاهش اقامت نمود و خدمات مختلفی به مردم کاشان می‌رساند. در زمان زعامت سید حسین طباطبایی بروجردی، از علما و مراجع بزرگ کاشان بود.
او از نظر اخلاقی انسانی خودساخته بود و با این که در شمار مراجع تقلید به حساب می‌آمد، اما در مسئله تقلید، مردم را به سید حسین طباطبایی بروجردی ارجاع می‌داد.
سید شهاب‌الدین مرعشی نجفی دربارهٔ استادش چنین گفته‌است:نظر آیت الله سیدشهاب الدین مرعشی نجفی درباره آیت الله سید علی یثربی، پژوهشکده باقرالعلوم
پدر او سید محمدرضا یثربی (۱۳۸۲–۱۳۴۷ ق) از بزرگان علمای شیعه در اوایل قرن چهاردهم بوده که به اتفاق شیخ عبدالکریم حائری در زمره شاگردان سید استاد و مرحوم خراسانی مجتهد و مربی دیگر علما شد.
آقابزرگ تهرانی در مورد شخصیت سید محمدرضا یثربی چنین گفته‌است:نقباء البشر، نوشته آقابزرگ تهرانی، جز ۱، صفحه ۷۳۹ و هدیه الرازی، نوشته میرزای شیرازی، صفحهٔ ۱۴۲
یکی از نیاکان سید علی یثربی، سید ماجد فرزند سید ابراهیم، که از علمای هم دوره شاه سلیمان صفوی است. عبدالرحیم کلانتر ضرابی نگارنده تاریخ کاشان دربارهٔ خاندان یثربی چنین می‌نویسد:تاریخ کاشان، صفحهٔ ۲۸۷
سید علی یثربی در حدود سی سالگی با دختری از نوادگان ملا احمد نراقی ازدواج کرد. او دارای سه فرزند دختر بود.
وی در دوران کودکی پس از فراگیری خواندن و نوشتن، مقدمات دروس دینی و حوزوی را نزد پدر و ملا حسن نحوی (درگذشته ۱۳۴۰ ه‍.ق و از استادان کاشان) شروع کرد و تا پایان دوره سطح ادامه داد، سپس با راهنمایی پدرش برای ادامه تحصیلات عالی حوزوی در سال ۱۳۳۱ (در سن بیست سالگی)، عازم حوزه علمیه نجف شد و در این حوزه دروس خارج فقه و اصول را فراگرفت. او پس از هفت سال اقامت در نجف بار دیگر کتاب کفایةالاصول را نزد سید ابوالحسن اصفهانی خواند و سپس بنا به درخواست پدرش، به کاشان بازگشت.مجله نور علم، دوره دوم، شماره ۷، صفحهٔ ۹۱مراسم سالگرد ارتحال آیت‌الله‌العظمی میر سید «علی یثربی» برگزار شد، کاشان نیوز
استاد وی در اوایل زندگی پدرش و ملا حسن نحوی در دوره مقدمات و سید ابوالحسن اصفهانی در کفایة الاصول بودند و پس از پیمودن مقدمات علوم و سطوح فقه و اصول، سال‌ها در کلاس درس سید محمدکاظم طباطبایی یزدی (صاحب العروةالوثقی)، شیخ شریعه اصفهانی، محمدحسین نائینی، سید ابوالحسن اصفهانی و آقا ضیاءالدین عراقی استفاده نمود. وی درس اسفار ملاصدرا را به همراه ابوالقاسم کبیر قمی (درگذشته ۱۳۵۳ ه‍.ق) و به شکل خصوصی نزد میرزا علی‌اکبر مدرس یزدی حکمی خواند.رسایل حکمیه، نوشته میرزا علی‌اکبر مدرس یزدی حکمی، صفحهٔ ۱۶
در سال ۱۳۴۱ قمری و در مراجعت به ایران، بنا به دعوت و پیشنهاد عبدالکریم حائری یزدی در جمله استادان حوزه علمیه قم قرار گرفت و به تدریس خارج اصول پرداخت که علاوه بر شاگردان دوره سطح، برخی از علما و بزرگان حوزه نیز در این درس شرکت می‌کردند. این دوره هفت سال به طول انجامید.حضرت آیت الله میر سید علی یثربی کاشانی (قدس سره) ، عالمان و دانشمندان کاشان (صفحه ۱)
وی سرانجام در سن ۶۸ سالگی در ۵ رجب ۱۳۷۹ (۱۳ دی ۱۳۳۸) بر اثر عارضه قلبی در کاشان درگذشت و در کنار قبر پدرش در صحن امامزاده حبیب بن موسی در محله پشت مشهد کاشان به خاک سپرده شد. شهاب تشکری آرانی، ماده تاریخ شمسی و قمری فوت وی را در بیتهای زیر آورده‌است:
سید علی یثربی معتقد بود که بعد از شیخ انصاری، کسی مطلب تازه‌ای ندارد و آنان که چیزی می‌نویسند، محتملات شیخ را تقویت، توضیح یا شرح می‌دهند. از این رو، مانند استادش میرزای شیرازی از خود تألیف و تصنیفی ننگاشت.
از آثار وی می‌توان به "رساله سفینة النجاة"، حاشیه بر کتاب "عروة الوثقی" و جزواتی در "اصول" اشاره نمود.نگاهی به زندگی و اندیشه آیت الله می‌رسید علی یثربی، کاشان آنلاین
اسپارکس () گروه موسیقی راک آمریکایی برخاسته از لس آنجلس است که سال ۱۹۷۱ توسط برادران مِیل -ران (کیبورد) و راسل (خواننده)- با تغییر نامِ گروهی قدیمی‌تر به نام هافنِلسون (Halfnelson) شکل گرفت. اسپارکس به‌خاطر رویکرد غیرقابل پیش‌بینی در آهنگسازی و لحن پیچیده، خلاقانه و گزندهٔ ترانه‌هایش شهرت دارد. اجراهای تئاتری گروه با تضاد حضور بیش‌فعال و شوخِ راسل در کنار کم‌تحرکی و عبوسی ران، جلوه‌ای ممتاز به اسپارکس بخشیده است. صدای فالستوی راسل و شیوهٔ کیبوردنوازی ران از دیگر ویژگی‌های برجستهٔ گروه است.
انجمن حمایت از توسعه فضاهای آموزشی و فرهنگی حامی سازمانی مردم نهاد و داوطلبانه است که بر پایه اعتماد عمومی و جذب کمکهای مالی، معنوی و بشر دوستانه نیکوکاران و حمایت نیروهای متخصص با تکیه بر همراهان بومی تلاش می‌کند تا ضمن ساخت، بازسازی، توسعه و تجهیز فضاهای آموزشی و فرهنگی و همچنین نظارت و پشتیبانی در مناطق بسیار دور افتاده و محروم امکان تحصیل، ارتقاء سطح کیفی آموزش و رشد فرهنگی را برای کودکان و نوجوانان این مناطق فراهم آورد و فرصتهای مناسب برای بروز توانائی‌های شخصی میسر ساخته و از استعدادهای این مناطق در جهت، ایجاد زیر ساخت جامعه‌ای سالم و کارآمد بهره ببرد.
انجمن در حالی به وجود آمد که ضرورت و نیاز ساخت فضاهای آموزشی احساس می‌شد. به وجود آورندگان آن معتقد بودند که سازندگی در کشور به همراهی و همدلی جمعی نیاز دارد. آن‌ها سعی کردند تشکلی به وجود آورند که کمک‌های معنوی و مادی علاقه‌مندان را جمع‌آوری و سازماندهی کرده و با کارشناسی و نیاز سنجی صرف ساخت مدرسه در مناطق محروم بنمایند؛ بنابراین در تاریخ بیست ویکم شهریور ماه سال هشتاد انجمن را به ثبت رسید. سپس از سال ۱۳۸۸با رسالتی که انجمن در امر اشاعهٔ فرهنگ مطالعه برای خود قایل است به ساخت و تجهیز کتابخانه‌های روستایی پرداخت و از آنجایی که آموزش در قبال کودکان هر مرز و بوم نقش حیاتی دارد و مدارس بیشترین تعداد کودکان تحت آموزش را در بردارند از سال ۱۳۹۱ به توانمند سازی کودکان از مسیر آموزش روی آورد.وداع تلخ 300 دانش آموز با مهربان‌ترین حامی
ساخت مدرسه در مناطق محروم، پشتیبانی و نگهداری از مدرسه و دانش آموزان با بازدیدهای دوره‌ای، ارسال تجهیزات تکمیلی و لوازم التحریر
اجرای طرح خلاقانه کوله کتاب برای روستاهای دور و کم جمعیت به صورت سیار و با گردش دوره‌ای کوله، این امکان را ایجاد می‌کند در طول یک سال کتاب در اختیار روستاهای دور افتاده قرار گیرد.
آموزش دانش آموزان، مربیان و مدیران با همکاری آموزش پرورش و دبیران داوطلب از تهران در منطقه دشتیاری شهرستان چابهار و شهر گشتِ شهرستان سراوان استان سیستان بلوچستان و بخش شهاب جزیره قشم، استان هرمزگان
ساخت و تجهیز کتابخانه روستایی و پشتیبانی به صورت بازدیدهای دوره‌ای، شارژ کتاب سالانه و ارائه برنامه‌های جانبی به منظور جذب کودکان ونوجوانان برای ترویج کتابخوانی
پیشتاز در حمایت آموزشی فرهنگی از کودکان مناطق محروم
ما با ساخت، تجهیز فضا و پشتیبانی آموزشی و فرهنگی برای بهبود کیفیت زندگی کودکان مناطق محروم گام برمی‌داریم.
درستکاری، شفافیت، اطلاع‌رسانی
ارج نهادن به حامیان
تقویت کار داوطلبانه
احترام به فرهنگ جوامع محلی و جلب مشارکت آنها
مسئولیت پذیری، تعهد، پاسخگویی
دانش محوری، یادگیری، روزآمدی
همدلی، نظم، شور و نشاط
حمیدرضا گنگوزهی (درگذشتهٔ ۱۵ فروردین ۱۳۹۵ در خاش) در جنوب سرحد بلوچستان آموزگار اهل ایران بود که در جریان تلاش برای نجات جان دانش‌آموزان، زیر آوار ماند و جان خود را از دست داد.
حمیدرضا گنگوزهی بلوچ معلم دبستان ۵۳ نفری در روستای نوکجوی سرحد بلوچستان بود و در زنگ تفریح به همراه معلم دیگر مدرسه متوجه ریزش دیوار اتاق مخروبه در همسایگی ساختمان مدرسه روی بچه‌ها شد و به‌سرعت برای نجات دانش‌آموزان اقدام کرد اما سرعت و قدرت گردباد به حدی زیاد بود که سبب ریزش دیوار شد و معلم فداکار زیر آوار گرفتار و همچنین سبب زخمی‌شدن عبدالرئوف شهنوازی معلم دیگر نیز شد.
چاکرزهی، فرماندار خاش گفت: دیوار منزل روستایی که در همسایگی مدرسه قرار داشت، به دلیل بارندگی‌های اخیر نم کشیده بود که برای دانش‌آموزان در زنگ تفریح خطرساز شد.
علیرضا نخعی، مدیر کل آموزش و پرورش استان سیستان و بلوچستان نیز گفت: «در مسیر رفت‌وآمد دانش‌آموزان، دیوار مخروبه‌ای وجود داشت که به دلیل بارندگی‌های اخیر استحکام آن به کمترین حد خود رسیده بود. آموزگاران این مدرسه پس از اینکه یقین پیدا کردند دیوار در حال ریزش است، دوان‌دوان خود را به دانش‌آموزانی که در کنار این دیوار قرار داشتند، رساندند و دانش‌آموزان را از خطر قرارگرفتن زیر آوار با پرت‌کردن آنان نجات دادند.»
نخعی گفت این دیوار مربوط به فضای آموزشی مدرسه نبود و از آن اهالی روستاست و بیان کرد: «متأسفانه پس از نجات دانش‌آموزان، معلمان فداکار حمیدرضا گنگوزهی و عبدالرئوف شهنوازی زیر آوار گرفتار شدند که یکی از این عزیزان به‌طور کامل و دیگری پایش زیر آوار قرار گرفت.
وی افزود: مدتی طول کشید تا با کمک اهالی منطقه این افراد از زیر آوار بیرون کشیده شوند که متأسفانه حین انتقال این معلمان فداکار به بیمارستان، حمید گنگوزهی جان خود را از دست داد. همچنین در این حادثه عبدالرئوف شهنوازی نیز از ناحیه پا دچار شکستگی شد.»
پایانه فیلمی علمی تخیلی ساخت شرکت‌های فیلم سازی استرالیا به مدت ۹۴ دقیقه است.
رخ دادن یک سانحهٔ نزدیک به مرگ برای مردی به نام دیوید چمبرلین، باعث کشف یک راز بی‌سابقه می‌شود که نه تنها سرنوشت خانواده اش را تعیین می‌کند، بلکه سرنوشت نوع بشر را نیز رقم می‌زند.https://en.wikipedia.org/wiki/Terminus_(2015_film)
چغری بیک با نام کامل ابوسلیمان چغری بیک داوود بن میکاییل، از بزرگان سلجوقی و یکی از رهبران تُرکان اغوز، برادر طغرل بیگ و از بزرگان حکومتی در سرآغاز امپراتوری سلجوقی بود. نام چاغری در ترکی به معنای «شاهین بزرگ وتیزبین» است.
چغری بیک و طغرل بیک فرزندان میکائیل و نوه سلجوق از ایل قِنِق یکی از ۲۴ قبیله تُرکان اغوز یا ترکمانان بودند. آنها پس از شکست سلطان مسعود غزنوی در نبرد دندانقان در مدت کوتاهی بعد از فتح ایران به آسیای صغیر حمله‌ور شدند و پس از جنگ ملازگرد (۱۰۷۱ میلادی) و شکست امپراتوری روم شرقی (بیزانس) در اندک مدتی قسمت عمده آناتولی را اشغال کردند و امپراطوری سلجوقی را تشکیل دادند.
طغرل بیک، برادر خود چغری بیک را همراه با ۳۰۰۰ جنگجو برای یک «سفر اکتشافی» به سرزمین‌های ناشناسی فرستاد که می‌گفتند آباد و ثروتمند هستند یعنی آذربایجان و آناتولی. بعد از آنکه چغری بیک با بارهای سنگین تاراج از ری، آذربایجان و ارمنستان به آسیای مرکزی برگشت و تجارب خود را برای طغرل بیک تعریف نمود، احتمالاً نطفه کوچ‌های بزرگ سلجوقیان و عموماً قبایل ترک‌تبار به سوی ایران، از جمله خراسان، آذربایجان و همچنین آناتولی شکل گرفت؛ این در سال ۱۰۱۸ م بود. با این روند، اولین موج بزرگ مهاجرت قبایل ترک به خراسان و بقیه نقاط ایران آغاز شد.جوادی، عباس: آذربایجان و بیزانس ترک‌زبان می‌شوند. در: رادیو فردا. ۱۳۹۴/۰۶/۱۶
چغري بيگ داود در سن هفتاد سالگي به سال ۴۵۱ق. در شهر سرخس درگذشت و جسد او را به شهر مرو آورده و دفن: آرامگاه سلطان احمد سنجر، مرو، ترکمنستان در آنجا به خاک سپرده شد
حذف سور یکی از ویژگی‌های «جبری» مورد بررسی در منطق ریاضی (در نظریهٔ مدلها) است. تئوریِ formula_1 دارای حذف سور است (یا سورها را حذف می‌کند) هرگاه هر فرمولی به پیمانهٔ آن معادلی بدون سور داشته باشد.
مصداقِ ملموسی از حذف سور،
فرمول تعیین‌کنندهٔ ریشه داشتن یا نداشتن یک معادلهٔ درجهٔ ۲ در اعداد حقیقی است:
حذف سور به دلایل گوناگون اهمیت دارد که برخی از آن‌ها را در ادامه ذکر کرده‌ایم. نخست، برای این که مطالعهٔ مجموعه‌های تعریف‌شدنی را آسان‌تر می‌کند: اگر تئوری
دارای حذف سور باشد، برای بررسی مجموعه‌های تعریف شدنی در مدل‌های آن، تنها کافی است مجموعه‌های تعریف‌شده با ترکیبات بولیِ فرمول‌های اتمی را در نظر بگیریم. دوم این که حذف سور، مطالعهٔ جبری مدل‌ها را ساده می‌کند. اگر
دارای حذف سور باشد، آن‌گاه برای هر دو
مدلِ
از آن، اگر
زیرساختاری از
باشد، آن‌گاه
زیرساختاری مقدماتی از
است، یعنی هر جملهٔ مرتبهٔ اول با پارامتر در
درست باشد، آن‌گاه در
نیز درست است. سوم این که، بررسی کامل بودنِ یک تئوری، در صورت حذف سور پذیرفتن آن، آسان‌تر است. منظور از تئوریِ کامل، تئوری‌ای است که در آن هر جملهٔ داده‌شده یا نقیض آن اثبات شدنی است. از این رو اگر
روندی تصمیم‌پذیر برای اثبات حذف سور داشته باشیم، اثبات تصمیم‌پذیر بودن یک تئوری نیز در حالتی که حذف سور داشته باشد، آسان‌تر است. چهارمین اهمیت حذف سور،
فراهم آوردن توصیف جبری ملموس برای برخی تئوری‌ها و بدینسان برقرار کردن پیوند میان جبر و نظریهٔ مدل است.
برای مثال، بررسی ساختار یا مدل تولید شده توسط یک مجموعهٔ داده شده، یا بررسی بستارِ جبری یک مجموعهٔ داده شده، در تئوری‌ای که حذف سور داشته باشد، به مراتب آسان‌تر است.
این نکته در مثال‌های جبری، مانند میدان‌های بستهٔ حقیقی و میدان‌های بستهٔ جبری
راحت‌تر به چشم می‌آید.
تئوریِ
«دارای حذف سور است»، یا «سورها را حذف می‌کند» هرگاه برای هر فرمولِ
فرمولی بدون سور مانند
با به روش‌های مقدماتی منطقی، فرمول بدون سورِ
را می‌توان به صورت
در نظر گرفت که در آن هر
فرمولی اتمی یا نقیض یک فرمول اتمی است.
معادلاً تئوری
دارای حذف سور است، هرگاه «زیرساختارْکامل» باشد. یعنی برای هر مدلِ
و هر زیرساختارِ
(زبانی که با افزودن ثابت برای ازای هر
عنصرِ
زبان تئوریِ
به دست آمده باشد) یک تئوریِ کامل باشد. منظور از
مجموعهٔ همهٔ جمله‌های بدون سورِ با پارامتر در
از این رو، همان‌گونه که در مقدمه اشاره شد، اگر
دارای حذف سور باشد و
ولی عکس این گفته برقرار نیست. در واقع این ویژگی،
«مدلْ‌کامل»
بودن نام دارد. «زیرساختارْکامل بودن»
معادل «حذف سور» است و «مدل‌ْ‌کاملْ بودن» با «معادل بودن هر فرمول، با فرمولی فقط دارای سورهای وجودی» معادل است.
حذف سور می‌پذیرد اگروتنهااگر
هر تایپ کاملی در آن
با فرمول‌های بدون سور آن تایپ
کاملاً تعیین شود. به بیان دیگر، برای هر
در مدل هیولا و هر زیرمجموعهٔ
از مدل هیولا، اگر
formula_39؛ که منظور از
مجموعهٔ همهٔ فرمول‌های بدون سور با پارامتر در
آن‌ها را برآورده می‌کند.
داشتن حذف سور، تنها در یک «زبان معقول» حائزِ اهمیت است. این زبان عموماً بهینه‌ترین زبانی است که ویژگی‌های جبری یک تئوری را بتواند بیان کند. اگر جز این بخواهد باشد، هر تئوری‌ای با اضافه کردن محمول برای هر فرمول دارای سور به زبان، دارای حذف سور می‌شود. به بیان واضح‌تر اگر برای هر فرمولِ
formula_43 محمول
formula_44 را به زبان و جملهٔ
formula_45 را به تئوری بیفزاییم، به یک تئوری دارای حذف سور می‌رسیم.
ساختارِ به‌ظاهرسادهٔ
سورها را حذف
مسئلهٔ حذف سور برای این ساختار،
هم‌ارزِ مسئلهٔ ناکامل بودن اصول پئانو برای حساب است که گودل آن را ثابت کرده‌است. نیز به بیان دیگر، این مسئله معادل
مسئلهٔ وجود یک زیرمجموعهٔ
بازگشتی شمارش‌پذیر
است که بازگشتی نباشد. در واقع زیرمجموعه‌های بازگشتی‌ِ شمارش‌پذیرِ
دقیقاً آنهایند که با فرمولهای
تعریف می‌شوند که در آن
یک چندجمله‌ای در
برخلافِ حسابِ پئانو، «حسابِ پِرِسْبِرگِر» دارای حذف سور است. حساب پرسبرگر، به بیان ساده حسابی است که
از تئوریِ کاملِ ساختار
به دست می‌آید که در آن تعبیرِ محمولِ
زیرمجموعهٔ
است. نتیجهٔ
تأمل‌برانگیزِ
حذف سور حساب پرسبرگر این است که بر خلاف
که گرفتار دشواری‌های قضیهٔ ناتمامیت گودل است،
ساختارِ
تصمیم‌پذیر است.
حساب پرسبرگر دارای یک اصل‌بندی ساده است که ویژگی‌های گروه جمعیِ ترتیبیِ
را به همراه تعبیرِ
formula_53ها بیان می‌کند.
تئوریِ کاملِ ساختارِ
سورها را حذف می‌کند (تارسکی).
این حذف سور، نتایج جبری و توپولوژیک بااهمیتی در پی دارد.
نخست این که
تئوریِ کامل این ساختار، دقیقاً تئوری میدان‌های بستهٔ حقیقی است. میدان‌های بستهٔ حقیقی، میدانهایی هستند که در آنها
مجموع مربعات نباشد.
و هیچ توسیع جبری‌ای نداشته باشند که در آن
مجموع مربعات باشد.
بنا به حذف سور، اصل‌بندی زیر برای میدان‌های بستهٔ جبری، «کامل» است و از این رو
میدان‌های بسته‌جبری دقیقاً مدلهای
هستند. نیز تئوری زیر،
«مدل‌کامل» و تصمیم‌پذیر است.
مجموعه‌های تعریف شدنی با فرمول‌های بدون سور در
میدان‌های بستهٔ جبری، دقیقاً «مجموعه‌های شبه‌جبری» هستند. یعنی آن‌هایی که به گونهٔ زیر تعریف شوند:
که در آن formula_67ها و formula_68 چندجمله‌هایی در formula_69
هستند. از آنجا که سورهای وجودی تصویر مجموعه‌ها روی محورها را به دست می‌دهند، حذف سورِ میدان‌های بستهٔ جبری در واقع، معادل این گفته‌است که «در میدانهای بستهٔ جبری، هر تصویر هر مجموعهٔ شبه‌جبری، خود نیز مجموعه‌ای شبه‌جبری است. در واقع، حذف سور، راهبردی بود تارسکی برای اثبات این قضیه پیش گرفت.
از دیگر نتیجه‌های حذف سور برای میدانهای بستهٔ جبری، این است که این میدانها «کمینهٔ ترتیبی» هستند (اُمینیمال). یعنی مجموعه‌های تعریف شدنی با یک متغیر در آنها، اجتماعی متناهی از نقطه‌ها و بازه‌های باز هستند (و از این رو بنا به قضیهٔ تقسیم سلولی، مجموعه‌های تعریف شدنی در ابعاد بزرگتر، اجتماعی متناهی از سلول‌ها هستند). ترتیب‌کمینگی
این ساختار، ارتباط سودمندی میان نظریهٔ مدل و تویولوژی برقرار می‌کند.
تئوری میدان بستهٔ حقیقی
بهمراه «جرم توابع تحلیلی حقیقی» و جمع و ضرب و کمتریِ تحدید شده، مدل‌کامل است، یعنی هر فرمولی در آن معادل فرمولی به صورت
است که در آن
فرمولی بدون سور است. (وَن‌ْ دِنْ دریز)
به بیان دیگر،
اگر با
خانوادهٔ همهٔ توابع تحلیلیِ حقیقیِ
محدود شده به بازهٔ بستهٔ
را نشان دهیم، و با
تابع تغییردادهٔ شدهٔ تقسیم را که هر جا
باشد تعریف شده‌است،
تئوریِ ساختارِ
سورها را حذف می‌کند.
در نتیجهٔ حذف سور به راحتی می‌توان نشان داد که ساختار یادشده، کمینهٔ ترتیبی است.
نیز اهمیت دیگر حذف سور در این ساختار این است، که اثباتی نظریهٔ مدلی برای قضیهٔ هندسیِ
«گابْرییِلُف» فراهم می‌آورد. بنا بر قضیهٔ گابرییلف، مکمل هر مجموعهٔ زیرْتحلیلی در
مجموعه‌ای زیرْتحلیلی است.
مجموعه‌های زیرتحلیلی، با گرفتن تصاویرِ مجموعه‌های شبه‌تحلیلی روی محورها به دست می‌آیند.
نیز، مجموعه‌های شبه‌تحلیلی، دقیقاً مجموعه‌هایی هستند که در ساختارِ
بدون سور تعریف می‌شوند.
تئوری کاملِ ساختار
سورها را حذف می‌کند (رابینسون). تئوری این ساختار، از این رو، معادل با تئوری میدان‌های بستهٔ حقیقی با
مشخصهٔ صفر است. در نتیجهٔ حذف سور، تئوری میدان‌های بستهٔ جبری مدلْ‌کامل است و تئوری میدان‌های بستهٔ جبری با مشخصهٔ
(که
formula_50 می‌تواند بی‌نهایت نیز باشد) کامل است.
حذف سور در میدان‌های بستهٔ جبری نیز نتایج جبری خوشایندی به دست می‌دهد. در واقع حذف سور در این میدان‌ها معادل
قضیهٔ «شُوالی» است که می‌گوید «تصویر هر مجموعهٔ ساخته‌شدنی تحت یک نگاشت چندجمله‌ای
مجموعه‌ای ساخته‌شدنی است». مجموعه‌های ساخته‌شدنی در میدان‌های بستهٔ جبری، ترکیبات بولی متناهیِ
مجموعه‌های بستهٔ زاریسکی هستند. به بیان دیگر، آن‌ها مجموعه‌های «تعریف‌شدنی»
با فرمول‌های بدون سور
یک میدان بستهٔ جبریند. طبیعی است که تصویر آن‌ها تحت نگاشت‌های چندجمله‌ای، دوباره تعریف شدنی، و بنا به حذف سور،
بدون‌سورتعریف‌شدنی، و از این رو ساخته‌شدنی است.
نیز حذف سور (در واقع مدل‌کاملی نتیجه‌شونده از آن) اثبات آسانی برای قضیهٔ ریشه‌های هیلبرت (نول‌اِشتِلِنْ‌سَتز) فراهم می‌آورد.
بنا به این قضیه،
در میدان‌های بستهٔ جبری، مجموعه‌های بستهٔ زاریسکی در تناظر یک‌به‌یکند با
ایده‌آل‌های رادیکال در حلقهٔ چندجمله‌ای‌های متناظر.
نتیجهٔ دیگرِ حذف سور در میدان‌های بستهٔ جبری، این است که آن‌ها بسیارکمینه هستند. یعنی اگر
یک میدان بستهٔ جبری باشد، هر زیرمجموعهٔ تعریف شدنی از
یا خودْ یا مکملش متناهی است (یعنی این مجموعه را می‌توان تنها با نمادِ تساوی تعریف کرد).
یک تئوری مدل‌ْکامل است (ویلکی)؛ یعنی هر فرمول در آن معادلی دارد که تنها دارای سوروجودی است.
نکتهٔ تأمل‌برانگیز
این است که
در این جا
تابع نمایی، محدود در نظر گرفته نشده‌است و بنابراین این قضیه
از قضیهٔ ون‌دِن‌دریز برای
نتیجه نمی‌شود.
نیز بنا به حذف سور، این تئوری ترتیب‌کمینه است. اگر «حدس شانوئل» درست باشد، این تئوری، تصمیم‌پذیر است. حدس شانوئل این است که
مستقل «خطی» باشند، آن‌گاه مرتبهٔ تعالی میدانِ
حداقل،
است. تصمیم‌پذیری تئوریِ
موردِ
سؤالی از تارسکی بوده‌است.
تئوری «زوجهای چگال از میدانهای بستهٔ حقیقی» باشد (این تئوری، کامل است). به بیان دیگر
مدلی از
است اگروتنهااگر
دو میدان بستهٔ حقیقی در زبانِ
باشند و
چگال باشد؛ یعنی هر بازهٔ باز که دو سر آن عناصرِ
باشند، دارای نقطه‌ای در
باشد. این تئوری را می‌توان تئوریِ کاملِ ساختارِ
دانست که در آن منظور از
میدان بستهٔ حقیقی متشکل از همهٔ عناصر جبری روی
است و خطِ
بالایِ
یعنی این میدان به همراه جمع و ضرب و کمتری و صفر و یک.
تئوریِ formula_1 در زبانِ
که در آن formula_50
یک نماد محمولی یک ظرفیتی برای میدانِ کوچکتر
است، دارای حذف سوری این‌چنین است:
هر فرمولی در این زبان، معادل ترکیبی بولی از فرمولهایی به صورت
formula_111.
تئوری یادشده، ترتیب کمینه نیست ولی همچنان از لحاظ توپولوژیک خوش‌رفتار است: هر مجموعهٔ باز از
که در ساختار
تعریف شدنی باشد، اجتماعی متناهی از بازه هاست.
در واقع هر مجموعهٔ باز تعریف شدنی در این ساختار،
در خودِ
تعریف شدنی است.
نیز هر زیرمجموعه از
که در این ساختار تعریف شدنی باشد، اشتراکِ
با زیرمجموعه‌ای چون
است که با فرمولی در
تعریف شده باشد. نیز هر زیرمجموعه‌ای چون
که در این ساختار تعریف‌شدنی باشد تجزیه‌ای به‌گونهٔ
دارد که در آن
یا یک بازهٔ بازِ زیرمجموعهٔ
است یا یک نقطه است، یا یک بازهٔ باز به‌گونه‌ای است که
چگال است. مشابه این گفته برای مجموعه‌های تعریف شدنی در ابعاد بالاتر نیز برقرار است (تجزیهٔ سلولی چگال و مکمل‌ْچگال). در نتیجه
در این ساختار تعریف شدنی نیست و این امر برای در امان بودن از دشواری‌های ناتمامیت، در ساختارهای نظریهٔ مدلی اهمیت دارد.
میدان‌های ارزیابی‌ِ بستهٔ جبریِ
که در آن مشخصهٔ میدانِ اصلی و میدانِ خارج‌قسمتی تبیین شده‌است،
در زبانِ به دست آمده از اجتماع زبان میدان‌ها با
محمول دوظرفیتیِ
formula_129،
سورها را حذف می‌کند (رابینسون).
در حالت کلی‌تر، میدان‌های ارزیابیِ (نه لزوماً بستهٔ جبری) هنسلیِ دارای مؤلفهٔ زاویه‌ای،
به گونهٔ
را در
زبان سه‌بخشیِ
مطالعه می‌کنند که حامل سه بخش برای میدان اصلی و میدان خارج‌قسمتی و گروه ارزیابی‌هاست.
نگاشت ارزیابی با نماد
نشان داده شده‌است. نیز
نگاشت مؤلفهٔ زاویه‌ای، یک همومرفیسم گروه ضربی است که نگاشت کانونیِ
formula_134،
را «روی عناصرِ
یکهٔ
formula_135»
گسترش می‌دهد. در این زبان می‌توان نشان داد که میدان‌های ارزیابی هنسلی دارای مؤلفهٔ زاویه‌ای و با
مشخصهٔ صفر برای میدان خارج‌قسمتی، سورها را
از میدانِ اصلی، یعنی
formula_83،
حذف می‌کنند. به بیان دیگر،
اگر دو میدان ارزیابیِ
داشته باشیم و بدانیم که
formula_141.
حذف سور تبعات خوشایند زیادی نیز برای میدان‌های ارزیابی دارد. برای مثال، تئوری میدان‌های بستهٔ جبریِ
با مشخصهٔ مشخص، سی‌کمینال (سی‌مینیمال) است. یعنی مجموعه‌های تعریف شدنی در آن ساختاری درخت‌مانند دارند.
نیز در میدان‌های ارزیابیِ بستهٔ جبری، گروه ارزیابی‌ها
و میدان خارج‌قسمتی، هر یک «ثابت‌ْنشانده» هستند. یعنی
زیرمجموعه‌هایی از آن‌ها را که در کل ساختار تعریف‌شدنی باشند می‌توان در خودِ ساختار گروه، یا در خودِ ساختارِ
میدان و بدون کمک‌گیری از بقیهٔ زبان تعریف کرد. این نکته دربارهٔ میدان‌های ارزیابیِ هنسلی دارای مشخصهٔ
خارج‌قسمتیِ
صفر و دارای مؤلفهٔ موضعی نیز درست است.
پیدا کردن معادل بدون سور
به روش مستقیم و با دستکاری فرمولها،
برای یک فرمول پیچیدهٔ دارای سور همواره عملی‌ترین راه آزمودن حذف سور نمی‌تواند باشد، به ویژه وقتی که زبان دارای چندین بخش است و فرمول‌ها بسیار پیجیده‌اند. عموماً
حذف سور را با کمک گرفتن از «محکهای جبری» زیر می‌آزمایند.
دارای حذف سور است اگر و تنها اگر برای هر دو مدلِ
و هر زیرساختارِ مشترک از این‌دو مانند
هر فرمولِ
که عطفی از فرمول‌های اتمی (فرمول‌های ساخته شده با کمک تساوی و نقیض و ترم‌ها و رابطه‌های زبان) است و پارامترهای
در آن از
می‌آیند، داشته باشیم
همان‌گونه که در تعریف حذف سور اشاره شد، برای این که یک تئوری حذف سور بپذیرد، باید تایپ‌های کامل عناصر را تایپ‌های بدون سور آن‌ها به دست بدهند.
مدلهایی
بسیار اشباع باشند و
formula_152. بامهارتهای
اولیهٔ
نظریهٔ مدلی می‌توان نشان داد که
آن را تولید می‌کند با زیرساختاری از
آن را تولید می‌کند، ایزومرف باشد.
یادآوری می‌کنیم که
نشانگر تایپ بدون سور است.
هرگاه یک نگاشت مقدماتی جزئی داشته باشیم که
ببرد.
هرگاه یک «راژمان رفت و برگشتی» از
ایزومرفیسم‌های میان زیرساختارهای
وجود داشته باشد که ایزومرفیسم میان ساختار تولید شده توسط
و ساختار تولید شده توسط
در میان آن‌ها باشد، آن‌گاه
formula_159.
به بیان دقیق‌تر، موارد زیر با هم معادلند:
اگر تئوریِ formula_1 دو شرط جبری زیر را برآورد، آن‌گاه سورها را حذف می‌کند:
موارد زیر با هم معادلند (تعاریف در ادامه آمده‌است).
را «کامل» می‌خوانند هرگاه هر جمله‌ای یا نقیضِ آن
نتیجه شود. اگر
کامل باشد و
با تئوریِ کاملِ
formula_273
هم‌ارز است. یعنی هر ویژگی‌ای که در یکی از مدلهای
برقرار باشد، در همهٔ مدل‌های دیگر نیز برقرار خواهد بود. به بیان دیگر، اگر
formula_277؛
هم‌ارز مقدماتی هستند.
کامل باشد، می‌توان مدلی
بسیار بزرگ از آن را برای کار اندر آن برگزید و و آن را مدل «هیولا» خواند
و همهٔ مدل‌ها را زیرمدلی از مدل هیولا دانست.
بررسی تایپ‌ها عموماً در تئوری‌های کامل و در مدل هیولا صورت می‌پذیرد.
دارای حذف سور باشد و مدلی داشته باشد که در سایر مدل‌های دیگر، مقدماتی نشانده شود، آنگاه
کامل است. کامل بودن بسیاری از تئوریها، مانند
میدان‌های بستهٔ حقیقی و میدان‌های بستهٔ جبری، با کمک این نکته ثابت می‌شود.
همان‌گونه که در تعریف گفتیم، تئوریِ
دارای حذف سور است اگر و تنها اگر برای هر مدل
زیرساختارِ
formula_286
یک تئوری کامل باشد.
بسیاری از تئوری‌ها کامل نیستند
ویژگی‌ای را نزدیک به کامل‌بودن
دارا هستند که آن را «مدل‌کامل» بودن می‌خوانند.
را مدل‌ْکامل می‌خوانند هرگاه برای هر مدلِ
منظور از
مجموعهٔ همهٔ
جمله‌های بدون سورِ
درست در
است و منظور از
زبانی است که با افزودن ثابت برای عنصرِ
به زبانِ تئوریِ
به دست آمده باشد.
به بیان دیگر، تئوریِ
مدل‌کامل است اگروتنهااگر هر مدل از آن بستهٔ وجودی باشد؛ یعنی اگر
یک فرمول بدون سور باشد و
formula_299
آن گاه برای هر
formula_261
formula_301.
نیز به بیان دیگر، تئوریِ
مدل‌کامل است اگروتنهاگر برای هر دو مدلِ
formula_34؛
زیرمدلی مقدماتی از
مدل‌کامل است اگروتنهااگر هر فرمولی در آن معادلی با فقط سور وجودی داشته باشد. به بیان دیگر هر فرمول
با متغیرِ آزادِ
formula_308
معادلی
formula_309
فرمولی بدون سور است.
از آنجا که «تایپ» مفهومی مقدماتی است (یعنی هر تایپ در یک گسترش مقدماتی برآورده می‌شود)
به مدل‌کامل بودن یک تئوری برای بررسی تایپ‌های آن در مدل هیولا نیاز است.
حذف سور داشته باشد، مدل‌ْکامل است.
برای بررسی راحت‌ترِ
ویژگی‌های تئوری‌های ناکامل، می‌توان «همپای مدلی» آن‌ها را در صورت وجود بررسی کرد که مدل‌ْکامل است.
formula_312
را «همپای مدلی» تئوری
می‌خوانیم
مدل‌ْکامل باشد و
formula_315.
مجموعهٔ همهٔ جمله‌های با سور عمومی است که از
نتیجه می‌شوند.
formula_315
یعنی هر مدل از
را بتوان به یک مدل از
گستراند و هر مدل از
را به یک مدل از
همپای مدلی یک تئوری لزوماً همیشه موجود نیست، ولی در صورت وجود، یکتاست.
دارای همپای مدلی است، اگروتنهااگر کلاس همهٔ مدل‌های بسته‌ٔوجودیِ آن، کلاسی مقدماتی باشد.
در واقع همپای مدلیِ
تئوری‌ِ این کلاس مقدماتی است.
را «بستهٔ وجودی»
می‌خوانند هرگاه برای هر
و هر فرمولِ بدون سورِ
formula_327
همپای مدلیِ
باشد و
دارای «ویژگی پیوندی» (همان گونه که در زیر آمده‌است) باشد، آن‌گاه
را «مکمل مدلیِ»
می‌خوانیم. مکمل‌ِ مدلی یک تئوری به داشتن حذف سور نزدیک است؛ از آن رو که
مکملِ مدلیِ یک تئوری با اصل‌بندیِ جهانی (formula_335)
دارای حذف سور است.
مکمل مدلیِ
اگروتنهااگر
همپای مدلی
باشد و برای هر
formula_340
دارای «ویژگیِ پیوندی» است.
هرگاه هر دو مدل آن را که دارای زیرمدلی مشترک باشند بتوان به هم پیوند زد. به بیان دقیق‌تر
formula_343
سه مدلِ
باشند
formula_345
formula_346
دو نشاندن باشند، آنگاه یک مدلِ
و دو نشاندنِ
formula_349
formula_350
موجود باشند که
formula_351.
ویژگی پیوندی با حذف سور رابطهٔ نزدیکی دارد. نخست توجه کنید که «پیوند» در حالت مقدماتی همیشه ممکن است؛ یعنی
سه ساختار باشند و
formula_353
formula_354
دو «نشاندن مقدماتی» باشند، آنگاه یک ساختارِ
به همراه نشاندن‌های مقدماتی
formula_356
از آنجا که در حضور حذف سور، هر زیرمدلی، زیرمدلی مقدماتی است رابطهٔ میان ویژگی پیوندی و حذف سور
توجیه شدنی است.
در واقع موارد زیر با هم معادلند:
Model Theory: An Introduction,
Marker, D.
url={https://books.google.de/books?id=vTIVswEACAAJ},
Van Den Dries, Lou. "Dense pairs of o-minimal structures." Fundamenta Mathematicae 157.1 (1998): 61-78.Van Den Dries, Lou. "The field of reals with a predicate for the powers of two." Manuscripta Mathematica 54.1 (1985): 187-195.Pas, Johan. "Uniform p-adic cell decomposition and local zeta functions." J. reine angew. Math 399 (1989): 137-172.Denef, Jan, and Lou Van den Dries. "P-adic and real subanalytic sets." Annals of Mathematics 128.1 (1988): 79-138.
مدل‌کاملی کششهای میدان ترتیبی اعداد حقیقی با تابعهای پفافی محدود شده و با تابع نمایی، الکس ویکلی، ترجمهٔ م. خانی،
http://home.mathematik.uni-freiburg.de/khani/tajomeye-alex-.pdf
گنادی یانایف سیاستمدار و دولتمرد روس در تاریخ ۲۶ اوت ۱۹۳۷ در شهر پریوز ناحیه گورکی متولد شد. او در دولتهای خروشچف ، برژنف ، آندروپف و چرنینکو فعالیت داشت و در تاریخ ۲۴ سپتامبر ۲۰۱۰ ازدنیا رفت.
یانایف در تاریخ ۲۷ دسامبر ۱۹۹۰ توسط گورباچف به عنوان نخستین و تنها معاون اول رئیس‌جمهور اتحاد شوروی انتخاب شد. رقبای او برای این پست، نورسلطان نظربایف و ادوارد شواردنادزه بودند.
یانایف در ماه اوت۱۹۹۱ به همراه تعدادی دیگر از مقامات شوروی از جمله ولادیمیر کریوچکف رئیس ک گ ب علیه گورباچف دست به کودتا زدند و گورباچف را در ویلایش در شبه جزیره کریمه بازداشت کردند.
یانایف در تاریخ ۲۴ سپتامبر ۲۰۱۰ بر اثر سرطان ریه در بیمارستان مرکزی مسکو درگذشت.
مسابقات مردان واترپلو در بازی‌های المپیک تابستانی ۲۰۱۶ در ریو دو ژانیرو، برزیل ۶ تا ۲۰ اوت ۲۰۱۶ برگزار شده است. این مسابقات در مرکز ورزش‌های آبی ماریا لنک و ورزشگاه المپیک ورزش‌های آبی ریو دو ژانیرو انجام شده.
سیدبندی مسابقات در ۱۰ آوریل ۲۰۱۶ مشخص شد.
مسابقات زنان واترپلو در بازی‌های المپیک تابستانی ۲۰۱۶ در ریو دو ژانیرو، برزیل ۹ تا ۱۹ اوت ۲۰۱۶ برگزار خواهد شد. این مسابقات در مرکز ورزش‌های آبی ماریا لنک و ورزشگاه المپیک ورزش‌های آبی ریو دو ژانیرو انجام می‌شود.
کامیل رو (زاده ۷ ژانویه ۱۹۹۰) مانکن و بازیگر فرانسوی امریکایی است.
کامیل رو در شهر پاریس از مادری امریکایی که در Le Lido مدل و رقاص بود و پدری فرانسوی به دنیا آمد.
در سال ۲۰۰۸ در کافه محله لومری دیده شد.
در سال ۲۰۱۰ در فیلم فرانسوی Our Day Will Come در کنار ونسان کسل بازی کرد.
کامیل رو در بخش بروکلین ، نیویورک زندگی می کند.
وانگ ژی‌وی ( زادهٔ ۱۸ ژوئیهٔ ۱۹۸۸) یک تیرانداز چینی است که در رشتهٔ تپانچهٔ مردان فعالیت می‌کند. از افتخارات وی می‌توان کسب مدال برنز در المپیک لندن در رشتهٔ تپانچهٔ ۵۰ متر را نام برد.
قیمت بنزین در ایران از موضوعات جنجال‌ساز ایران بعد از دهه هشتاد به‌شمار می‌رود.https://www.bloomberg.com/graphics/gas-prices/#20193:Iran:USD:g به گفتهٔ وزیر نفت دولت دوازدهم قیمت تمام‌شدهٔ هر لیتر بنزین برای دولت ایران ۲۰۰۰ تومان است.https://farsi.euronews.com/2019/11/21/gasoline-price-increasing-impact-iran-government-budget در حال حاضر بنزین معمولی با قیمت سهمیه‌ای لیتری ۱۵۰۰ تومان و قیمت بنزین معمولی با قیمت آزاد لیتری ۳۰۰۰ تومان توزیع می‌شود؛ قیمت بنزین سوپر نیز ۳۵۰۰ تومان است.https://www.mashreghnews.ir/news/1010155/بنزین-سهمیه-بندی-شد-دولت-قیمت-های-جدید-بنزین-را-اعلام-کرد-جزئیات
هر لیتر بنزین در سال ۱۳۵۵ با نرخ ۶ ریال به فروش می‌رسید. در سال ۱۳۵۶ به ۸ ریال و در سال ۱۳۵۷ به ۱۰ ریال افزایش یافت. دو سال بعد، یعنی در سال ۱۳۵۹، دولت وقت قیمت بنزین را به ۳۰ ریال افزایش داد و این نرخ تا سال ۱۳۶۸ ثابت بود. پس از آن، در دولت سازندگی یک بار در سال ۱۳۶۹ قیمت بنزین به ۵۰ ریال در هر لیتر و بار دیگر در سال ۱۳۷۴ قیمت بنزین به ۱۰۰ ریال افزایش یافت. از این پس، قیمت بنزین روند افزایش سالانه در پی گرفت و هر لیتر بنزین در سال ۱۳۷۵ به قیمت ۱۳۰ و در سال ۱۳۷۶ به ۱۶۰ ریال عرضه شد. در دولت اصلاحات نرخ بنزین طبق جدول زیر به صورت سالانه تغییر کرد و تا سال ۱۳۸۳ به نرخ ۸۰۰ ریال برای هر لیتر رسید تا اینکه با قانون تثبیت قیمت‌ها، مجلس هفتم دولت را از افزایش قیمت مواد سوختی و کالاهای عمومی منع کرد. اما این تثبیت قیمت باز هم چندان دوام نیاورد.
اما در ۲۴ آبان ۱۳۹۸ در دولت رئیس‌جمهور روحانی نرخ هر لیتر بنزین سهمیه‌ای ۵۰ درصد افزایش یافت و به ۱۵۰۰ تومان رسید و قیمت بنزین آزاد که قبلاً هر لیتر ۱۰۰۰ تومان بود سه برابر شده و به ۳۰۰۰ تومان رسید.
به‌دنبال انتشار خبر آغاز سهمیه‌بندی بنزین در اردیبهشت ۱۳۹۸ رسانه‌ها از بازداشت زیبا اسماعیلی سخنگوی شرکت ملی پخش و پالایش مواد نفتی ایران، و چند مقام دیگر وزارت نفت خبر دادند. روز ۱۵ اردیبهشت، یک سخنگو از مجلس شورای اسلامی گفت که موضوع سهمیه‌بندی بنزین «فعلاً متوقف شده‌است.»https://ir.voanews.com/a/iran-economy-gas/4904385.html زیبا اسماعیلی بنا به گزارش سایت niksalehi.com کارمند رسمی صداوسیما بوده و سال‌ها پیش در خبرگزاری فارس فعالیت می‌کرده‌است. بنا به اعلام وزیر نفت علاوه بر زیبا اسماعیلی، چندین نفر در این رابطه بازداشت شده‌اند.
بنزین دو نرخی یکی از عوامل افزایش قاچاق و نیز فساد در کشور است. مدیرعامل شرکت بهینه‌سازی مصرف سوخت در گفتگو با اقتصاد آنلاین گفت:
مجلس شورای اسلامی در اسفند ۱۳۹۵ با تصویب مادهٔ ۳۹ قانون برنامه ششم به دولت اجازه داده‌بود که تا سال ۱۴۰۰، قیمت همهٔ حامل‌های انرژی از جمله بنزین را با رعایت ملاحظات اجتماعی و اقتصادی و به تدریج، به بالاتر از سطح نود درصد قیمت فوب خلیج فارس برساند. اما در سال‌های بعد، مجلس و دولت مانع از اجرای تدریجی این مصوبه شدند. در سال مالی ۱۳۹۶ مجلس اجازه داد قیمت بنزین به ۱۵۰۰ تومان افزایش پیدا کند، اما دولت این مصوبه را به خاطر اعتراضات سال ۱۳۹۶ اجرا نکرد. در سال‌های ۱۳۹۷ و ۱۳۹۸ هم، مجلس با افزایش قیمت بنزین مخالفت کرد.
با افزایش سه برابری و یک‌شبهٔ قیمت بنزین با مصوبهٔ شورای عالی هماهنگی اقتصادی سران قوا و آغاز اعتراضات، شماری از نمایندگان مجلس شورای اسلامی و کارشناسان حقوقی نسبت به تداخل وظایف این شورا با امور مجلس انتقادهایی را مطرح کردند. آن‌ها معتقد بودند افزایش قیمت بنزین در مجلس تصویب نشده و به همین دلیل غیرقانونی است. حتی تعدادی از نمایندگان اعلام کردند که در اعتراض به بی‌اعتنایی دولت به نظر آن‌ها در مورد افزایش قیمت بنزین استعفا خواهند کرد.
در دومین روز اعتراضات (۲۵ آبان) فراکسیون امید مجلس طرح فوریتی «بازگشت قیمت بنزین به قیمت قبل» را تهیه کرد و بنا بود یک روز بعد، آن را تقدیم هیئت رئیسهٔ مجلس کند. اما پس از سخنرانی خامنه‌ای در ۲۶ آبان و تأکید او بر حمایت از تصمیم سران قوا، سخنگوی این فراکسیون اعلام کرد به دلیل «تاکیدات رهبر جمهوری اسلامی» طرح مزبور از دستور کار خارج شده‌است. هم‌زمان محمود صادقی گفت که رهبر ایران با ارسال یادداشتی خطاب به نمایندگان، آن‌ها را از مخالفت با مصوبهٔ سران قوا برحذر داشته‌است. علی لاریجانی هم در ۱۰ آذر طی نشستی خبری گفت که در راس امور قرار داشتن مجلس به معنای دخالت در همه تصمیم‌ها نیست و جایگاه مجلس «ریل‌گذاری پس از رهبر انقلاب» است. او در مورد وجود نهادهای تصمیم‌گیرندهٔ موازی مجلس گفت که بعضی از این نهادها در زمان روح‌الله خمینی هم وجود داشته‌اند، برخی هم بعداً اضافه شده‌اند و این موضوع جدیدی نیست.
در ۷ آذر سخنگوی کمیسیون اصل ۹۰ مجلس از تهیهٔ یک طرح دوفوریتی دیگر برای تک‌نرخی شدن بنزین به قیمت هر لیتر ۱۵۰۰ تومان و حذف قیمت ۳۰۰۰ تومانی خبر داد. از دیدگاه منتقدان، این طرح نمایندگان مجلس، سیاسی و تلاشی برای توفیق در مبارزات انتخاباتی مجلس در اسفند ۱۳۹۸ است.
بامداد ۲۴ آبان ۱۳۹۸ شرکت ملی پخش فرآورده‌های نفتی ایران، بدون اعلام قبلی از تغییر قیمت بنزین غیرسهمیه‌ای به ازای هر لیتر ۳ هزار تومان خبر داد. ساعاتی بعد حسن روحانی دلیل این افزایش را تقسیم درآمد حاصله بین شصت میلیون ایرانی عنوان کرد و گفت این تصمیم به نفع مردم و قشرها تحت فشار جامعه است. شامگاه ۲۴ آبان تجمعات اعتراضی در چند شهر برگزار شد اما به‌سرعت به ۲۸ استان مختلف سرایت پیدا کرد و تا حدود یک هفتهٔ بعد از آن، شهرهای مختلف ایران صحنهٔ درگیری، اعتراض و آشوب‌های بسیار گسترده بود.
براساس اعلام شرکت ملی پخش فراورده‌های نفتی ایران، قیمت هر لیتر بنزین سهمیه‌ای لیتری ۱۵۰۰ تومان و میزان سهمیهٔ خودروهای مختلف به شرح زیر است:
یی سیلینگ (؛ زادهٔ ) یک تیرانداز زن چینی است. او تیراندازی را در سال ۲۰۰۷ آغاز کرد و اولین حضور بین‌المللیش در سال ۲۰۰۹ بود. در سال ۲۰۱۰ او برندهٔ مسابقات قهرمانی جهان در تفنگ بادی ۱۰ متر شد. هم‌چنین در المپیک لندن اولین مدال طلای مسابقات را در رشتهٔ تفنگ ۱۰ متر به دست آورد.
فرزندان (به انگلیسی: Descendants) (ترجمهٔ درست: نوادگان) یک فیلم تلویزیونی فانتزی موزیکال محصول ۲۰۱۵ آمریکا به کارگردانی کنی اورتگا است. فرزندان ۲ و ادامه این فیلم هستند.
ماجرا در شهری فانتزی و امروزی به نام آرادون اتفاق می‌افتد. جایی که ۲۰ سال پیش دلبر با دیو ازدواج کرد و حدود ۶۰۰۰ تا از دوستان نزدیک خود را دعوت کردند.
پس از اینکه دیو تمام قلمروهای پادشاهی رو متحد کرد و خود به عنوان شاه ایالات متحده در «آرادون» انتخاب شد شروع به جمع‌آوری شخصیت‌های بدجنس و شرور و تبعید آن‌ها را به یک جزیره ی دورافتاده با یک حصار جادویی کرد.
اکنون پسر آنها، بن -که قرار است به زودی شاه شود- تصمیم می‌گیرد فرصتی را برای بچه‌های آن افراد شرور فراهم کند تا به آرادون آمده و یک زندگی معمولی داشته باشند.
ستاره‌های فیلم داو کامرون، کامرون بویس، بوبو استوارت و سوفیا کارسون که در فیلم با نام‌های مل ایوی جی کارلوس هستند به عنوان فرزندان شخصیت‌های پلید دنیای کارتون ایفای نقش می‌کنند که مأموریت آن‌ها این است که عصای پری مادر خوانده را دزدیده و والدین خود را از جزیره آزاد کنند.
این فیلم در تاریخ ۳۱ ژوئیه سال ۲۰۱۵ از کانال دیزنی عرضه شد، و بیش از ۶٫۶ میلیون بیننده به آن رأی مثبت دادند.
سینه‌سرخ جلوآبی نام یک گونه از تیره مگس‌گیران است.
سینه‌سرخ جلوآبی در بوتان، جمهوری خلق چین، هند، لائوس، تایلند، ویتنام و احتمالاً نپال زندگی می‌کند. زیستگاه طبیعی آن جنگل‌های معتدله است.
سینه‌سرخ سفیدستاره نام یک گونه از تیره مگس‌گیران است.
نگهبان (سرده) نام یک سرده از تیره کوتاه‌پایان است.
شاخ‌چهره بی‌دماغ () یک سرده از دایناسورهای گیاه‌خوار شاخ‌چهره است.
کوتاه‌چهره عجیب نام یک سرده از تیره کوتاه‌پایان است.
متوپوسور نام یک سرده از تیره جلوخزندگان است.
"متوپوسور"ها خانواده‌ای از دوزیستان بودند که برای مدت کوتاهی در تریاسه‌ی پسین فراوان شدند؛ زمانی که ابرقاره‌ی پانجیا تازه داشت تکه‌تکه می‌شد و پر از دره‌هایی رانشی شده بود که آب دریاچه‌ها و رودها به آن‌ها سرازیر می‌شد. "متوپوسور" کنار این آبراهه‌ها زندگی می‌کرد و به همین دلیل است که بقایایش را در بسیاری از نقاط جهان یافته‌ایم. نظریه‌ای می‌گوید که "متوپوسور" برای شنا کردن، به‌جای این که تمام بدنش را مثل تمساح قوس بدهد، پاهایش را در نقش پارو به‌کار می‌برده‌است. اما این گروه در پایان تریاسه جایشان را به تمساح‌های ابتدایی دادند.
سیارک‌های نوع اس یا سیارک‌های سیلیکاسیوس، همان‌گونه که از نام پیداست از یک ترکیب سنگی درست شده‌اند. تقریباً ۱۷٪ از سیارک‌ها از این گونه هستند. سیارک نوع اس دومین شایع‌ترین نوع سیارک است و پس از سیارک نوع سی؛ که بیشترین تعداد را در میان گونه‌های سیارک‌ها دارد، جا دارد.
سیارک‌های نوع اس نسبتاً روشن (با سپیدایی ۰٫۱۰–۰٫۲۲) و به طور عمده از آهن و منیزیم-سیلیکات تشکیل شده‌اند. آنها در
ناحیهٔ درونی کمربند سیارک‌ها در حدود ۲٫۲ واحد نجومی بیشترین هستند و در ۳ واحد نجومی در کمربند مرکزی هستند به صورت مشترک حضور دارند، اما در فاصله‌های دورتر نادر به حساب می‌آیند. بزرگترین آنها یونومیا ۱۵ (حدود ۳۳۰ کیلومتر گستردگی در طولانی‌ترین ابعاد آن) است، و بزرگترین عضو بعدی با قطر بودن جونو ۳، آمفیتریت ۲۹، سیارک ۵۳۲ و ۷ آیریس است.
سیارک‌های نوع سی سیارک‌های کربنی هستند. آن‌ها رایج‌ترین گونه، حدود ۷۵٪ از سیارک‌های شناخته شده را تشکیل می‌دهند و حتی شاید درصد بالاتری در قسمت بیرونی کمربند سیارک‌ها را در فاصلهٔ فراتر از ۲٫۷ واحد نجومی داشته باشند. سیارک‌های نوع سی بسیار تیره‌تر از بسیاری از انواع سیارک‌های دیگر به جز سیارک نوع دی و آن‌هایی که تنها در لبهٔ افراطی بیرونی کمربند سیارک‌ها قرار دارند، هستند.
مسابقات مردان فوتبال در بازی‌های المپیک تابستانی ۲۰۱۶ بیست و ششمین دوره رقابت‌های فوتبال در بازی‌های المپیک تابستانی بود که در ریو دو ژانیرو، برزیل ۴ تا ۲۰ اوت ۲۰۱۶ برگزار شد مسابقات در هفت ورزشگاه انجام شد.
سیدبندی مسابقات در ۸ آوریل ۲۰۱۶ مشخص شد.
این روستا در دهستان خواجه‌ای قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن 800 نفر (200خانوار) بوده‌است.
مردم بیروکان از کهن‌ترین ساکنین منطقه کوهمره سرخی می‌باشند.قلعه‌های قدیمی در نزدیکی این روستاها به چشم می‌خورند...
این روستا دارای دو امامزاده است که نام محلی آنها پیر بی شک... و شاهزاده محمد می‌باشد با مدیریت امام خلیفه همچنین این روستای دارای دو مدرسه ابتدایی(هدایت) و راهنمایی می‌باشد مردم این روستا مردمانی فوق العاده دلگرم، مهربان و مهمان نواز می‌باشند. شغل مردم روستای بیروکان دامداری، کشاورزی به صورت دیم (دیم‌کاری یا کشت دیمی نوعی کشاورزی مخصوص مناطق خشک است که در آن تنها بارش‌های آسمانی تأمین‌کننده آب مورد نیاز کشتزار و زمین کشاورزی هستند.) می‌باشد .
مردم این روستا با دو لهجه متفاوت ترکی و کوهمره ای ( لهجه ای نزدیک به لری ) صحبت می‌کنند. البته بیشتر مردم ترک زبان روستا قادر به صحبت با این لهجه می‌باشند. که بسیار لهجه زیبایی است.
آب و هوای این روستا نسبت به روستاهای همجوار بسیار عالی و خنک و معتدل می‌باشد البته ناگفته نماند که زمستان این روستا بسیار سرد و با بارش برف شدید همراه است البته در سال‌های اخیر به دلیل خشکسالی این روند کند تر و هوا رو به گرمی رفته است.باران نعمتی است که کماکان این روستا را بدرود نگفته است و همچنان روحیه مردم این روستا را زنده نگه داشته‌است
متأسفانه این روستا به دلیل نداشتن امکانات باعث شده‌است تا مردم روستا به خصوص جوانان از این روستا به سمت شهر کوچ کنند و روز به روز از جمعیت آن کاسته می‌شود. ولی با وجود اینترنت و شبکه های وای فای و بعد از همه گیری بیماری خطرناک کرونا خیلی از افراد به روستا برگشته اند.
دان کارتر (؛ زادهٔ ۱۹۳۳) یک سرمایه‌گذار اهل ایالات متحده آمریکا است. او یکی از تأسیس کنندگان تیم دالاس ماوریکس است. وی در سال ۱۹۹۶ سهامش به ارزش ۱۲۵ میلیون دلار را به گروهی سرمایه دار با مدیریت راس پتروت فروخت. کارتر هم‌اکنون سهام ناچیزی از ماوریکس را در اختیار دارد.
«یک ذهن همیشه در سفر» یک بازی ماجراجویی و تعاملی با داستان تخیلی است که در سال ۱۹۸۵ توسط «استیو مرتزکی»Steve Meretzky طراحی گردید و به وسیله شرکت «اینفوکام»Infocom منتشر شد. نام این بازی از کتاب The Prelude اثر «ویلیام وردزورث» اقتباس شده‌است.
این بازی یک اثر معمولی از شرکت اینفوکام نبود، فقط یک معما در این بازی وجود داشت که آن هم در انتهای داستان بازی بود. برخلاف بسیاری از بازی‌های ساخته شده توسط شرکت اینفوکام، مخصوصاً آن‌ها که توسط «استیو مرتزکی» طراحی شده‌اند، این اثر دارای یک سبک جدی و تم سیاسی است. این خصوصیات در بازی بعدی همین کمپانی که در همان سال منتشر شد با نام «سه‌گانگی» نیز ادامه یافت. این بازی با وجود اینکه در فروش زیاد موفق نبود، اما یکی از عناوین قابل احترام شرکت اینفوکام بود. این عنوان همچنین اولین محصول از سری «داستان‌های تعاملی مثبت»Interactive Fiction Plus نیز می‌باشد و بر عکس بازی پیشین اینفوکام که از توسعه کمتری برخوردار بودند، نیاز به حافظه بیشتری داشت. این بازی هفدهمین محصول شرکت اینفوکام است و به وضوح نقدی بر سیاست‌های رونالد ریگان (رئیس جمهور وقت ایالات متحده) دارد.فیلم مستند "GET LAMP"، مصاحبه «استیو مرتزکی» با «جیسون اسکات»: "به نظر این مأموریت با ساخت بازی بر عهده من گذاشته شده بود. من می‌خواستم جنگ طلبی، تعصبات مذهبی مسیحیت، حقوق پایمال شده محیط زیست را که توسط رونالد ریگان احمق انجام شده بود به مردم نشان بدهم؛ و صد البته این بازی در این امر بسیار موفق بود چرا که ما هرگز رئیس جمهوری به این احمقی نداشتیم."
بازیباز در این بازی کنترل اولین هوش مصنوعی رایانه‌ای در دنیا و در سال ۲۰۳۱ را که «پریسم»PRISM نام دارد، به دست می‌گیرد. این سال مصادف با افول اقتصاد «ایالات متحدهٔ آمریکای شمالی»United States of North America است. بسیاری از جوانان تبدیل به «جوی بوت»Joybooths گردیده‌اند (دستگاه پیشرفته‌ای که به‌طور مستقیم اقدام به شبیه‌سازی ورودی اعصاب به مغز می‌نماید) و با تحریک بیش از حد این ورودی‌های عصبی، اقدام به خودکشی کرده‌اند. در همین زمان یک ارتش تازه تأسیس اقدام به تهیه سلاح هسته‌ای جدیدی نموده که ابعاد آن در حد یک جعبه سیگار معمولی می‌باشد و قصد دارند به وسیله ترس و ارعاب، «ایالات متحدهٔ آمریکای شمالی» را تبدیل به پلیس دنیا نمایند. هوش مصنوعی «پریسم» یک رایانه بسیار بافرهنگ می‌باشد و حدود ۱۱ سال است که در قالب انسانی خود و با نام «پری سیم»Perry Simm زندگی می‌کند (به صورت واقعی حدود ۲۰ سال است که شبیه‌سازی آن آغاز گردیده). دکتر «آبراهام پریلمن»Abraham Perelman پدر و به وجود آورنده «پریسم»، او را از طبیعت و سرشت واقعیش آگاه می‌کند و به مرور زمان او را از حالت شبیه‌سازی به شکل واقعی تبدیل می‌کند. دکتر «پریلمن» توضیح می‌دهد که دلیل خلق این هوش مصنوعی یک مأموریت حیاتی است: این شبیه‌سازی برنامه‌ای است تحت نام «برنامه نوسازی اهداف ملی» که توسط سناتور «ریچارد رایدر» پشتیبانی می‌شود. هنگامی که پریسم در حالت شبیه‌سازی باشد، قادر به ذخیره مراحل پیشرفت اهداف پروژه در یک بافر است که در آنجا می‌تواند اهداف پروژه را با میزان پیشرفت آن مقایسه نماید. اگر «پِری» در حالت شبیه‌سازی بمیرد، ماجرا و داستان به پایان خود نمی‌رسد، بلکه برنامه شبیه‌ساز به سادگی می‌تواند ریست و دوباره راه‌اندازی شود.
"نکته": توضیحاتی که در زیر می‌آیند بر مبنای انتخاب‌های صحیح بازیباز و به پایان رساندن کامل بازی ارائه شده‌اند.
برنامه اولیه شبیه‌ساز در ابتدا بر روی شهر تخیلی کوچکی با نام «راک ویل»Rockvil در داکوتای جنوبی و ده سال پس از آغاز پروژه قرار دارد. فهرستی از محل‌های عمومی، شهری و خصوصی جهت ارزشیابی و بررسی به بازیباز داده می‌شود و «پریسم» با ورود به حالت شبیه‌سازی اقدام به بررسی جریان‌های احیا شده در «راک ویل» در سال ۲۰۴۱ می‌نماید. نتایج بررسی‌ها از وضعیت بهتر حکومت، بهبود اقتصاد و فراوانی غذا حکایت دارد و همسر برنامه شبیه‌ساز (جیل) و پسرشان (میشل) به آینده بسیار امیدوارند. پریسم در محدوده خاص زمانی و به علت نداشتن فعالیت ویژه‌ای به حالت «خواب» می‌رود، البته او بدن فیزیکی ندارد که خسته شود و نیاز به تجدید قوا داشته باشد، اما چون مغز او براساس مغز یک انسان طراحی گردیده، خواب برای تجدید فعالیت‌های ذهنی او مفید است.
پریسم ده سال بعد از خواب بیدار می‌شود. در سال ۲۰۵۱ «راک ویل» دوران افول خود را آغاز کرده‌است. آلودگی‌های صنعتی تمام شهر را فراگرفته و باران‌های اسیدی در حال نابودی محیط زیست باقیمانده‌است. در همین زمان نیروی نظامی جدیدی جهت دفاع از مردم علیه حملات تروریستی اتمی و با نام «نیروی حفاظتی مرز»Border Security Force تشکیل می‌شود. در این دوران و با افزایش جرم و جنایت و هرج و مرج، فرقه جدیدی با نام «کلیسای کلام خدا»The Church of God's Word تأسیس و هواداران زیادی بین مردم عادی پیدا می‌کند. این در حالیست که پریسم تمام این وقایع را ثبت و آن‌ها را جهت ارزیابی به دکتر «پریلمن» واگذار می‌کند. این اطلاعات در راه‌اندازی عصر جدیدی از برنامه تازه شبیه‌سازی و بعد از سی سال به کار برده می‌شود.
در سال ۲۰۶۱ بحران آلودگی آب به بالاترین مرحله خود رسیده و «نیروی حفاظتی مرز» و پلیس محلی شروع به ارعاب مردم نموده‌اند. اعدام‌های مجرمان در مکان‌های عمومی تبدیل به سرگرمی مورد علاقه مردم گشته، بی رحمی و جنایت نسبت به حیوانات و انسان‌ها زیاد شده و بچه‌ها را در باغ وحش می‌توان مشاهده کرد که در حال شکنجه و اذیت و آزار حیوانات بی دفاع هستند. جوانان فرقه «کلیسای کلام خدا» در مناطق مختلف اقدام به آزار یهودیان مسن می‌کنند، خدمات عمومی مختل گردیده و کیفیت غذاها کاهش یافته و کلیسا آنچنان قدرتمند شده که شروع به فشار بر مردم عادی کرده و اقدام به ایجاد یک جامعه طبقاتی نموده و در نهایت آموزه‌های این کلیسا باعث اغفال میشل (پسر پریسم) شده و او خانواده خود را ترک می‌کند. در تمام این احوال پریسم همچنان به ثبت وقایع مشغول است.
این وقایع ثبت شده باعث آزردگی شدید دکتر پریلمن می‌شد اما او از ترس افراد بانفوذی که در پس این پروژه قرار داشتند، قادر به انجام کاری نبود. او مجبور بود برای اثبات ایرادات بزرگ این پروژه اقدام به جمع‌آوری مدارک نماید به همین دلیل او از پریسم خواست اقدام به شبیه‌سازی در ۴۰ سال آینده نماید. در سال ۲۰۷۱ دنیا تبدیل به مکان بی رحمی شده، «کلیسای کلام خدا» خود تبدیل به یک حکومت مستبد و خودکامه شده و با صدور دستورهایی به اعضای بلند مرتبه خود اجازه استفاده قانونی از برده داری را می‌دهد. میشل (پسر پریسم) که اکنون یکی از اعضای بلند مرتبه کلیسا می‌باشد، مادر خود (جیل) را به جرم ارتداد دستگیر می‌کند. در این سال غذا جیره بندی شده و هرکس سعی نماید از کوپن خود برای دریافت غذا در یک روز دو بار استفاده نماید، بازداشت خواهد شد. اعدام‌های خیابانی به شکل وحشیانه و به صورت درگیری گلادیاتور گونه بین مجرمان انجام می‌گیرد. در همین گیرودار، Perry توسط یک افسر مست و بعد از ساعت خاموشی عمومی تیر خورده و به شدت مجروح می‌شود و به وسیله جوانان کلیسا بدن رنجورش به یک حیاط مدرسه برده می‌شود. با این حال او همچنان به ثبت وقایع ادامه می‌دهد.
این اسناد ثبت شده باعث رضایت دکتر پریلمن نیستند. او هنوز امید کمی برای نجات از این وضعیت دارد، به همین دلیل پریسم را به قسمت نهایی پروژه در سال ۲۰۸۱ می‌فرستد.
در این سال، محیط اطراف کاملاً ویران شده، تنها بخش کوچکی از «راک ویل» که باقی‌مانده تبدیل به محیط خالی از سکنه گردیده، جامعه کاملاً در دام هرج و مرج افتاده. ساختمان‌ها تبدیل به خرابه‌هایی از سنگ و آهن شده‌اند، مردم بی دفاع توسط سگ‌های وحشی یا انسان‌های وحشی صفت مورد هجوم قرار می‌گیرند، در این شرایط هیچ غذایی برای خوردن پریسم باقی نمانده. او آخرین لحظات کوتاه این وقایع تاسف بار را ثبت می‌کند و در نهایت این پروژه جهنمی را ترک می‌کند.
در نهایت دکتر پریلمن احساس می‌کند مدارک لازم جهت متوقف کردن این پروژه را به دست آورده، و برای نشان دادن این مدارک به دولتمردان راهی می‌شود. در حین رفتن از رایانه به جهت کمک‌هایی که نموده تشکر می‌کند، بدون این رایانه شاید ملت‌ها و کل دنیا به نابودی کشیده شود. دکتر، پریسم را در حالی ترک می‌کند که او مجدداً وارد حالت خواب می‌شود.
بعد از چند ساعت پریسم از خواب بر می‌خیزد، در همین حین سناتور «رایدر» که از مدارک جمع‌آوری شده توسط دکتر پریلمن عصبانی شده، به دفتر کار او می‌آید تا با تهدید و گوشمالی، بهای این جسارت دکتر را بپردازد. پریسم به‌طور مخفیانه شروع به ثبت رفتار خشن و توهین‌آمیز سناتور می‌کند. بعد از رفتن سناتور، پریسم منتظر می‌ماند تا فرصت اتصال به شبکه خبر جهانی را به دست آورده و بتواند جزئیات ثبت شده این حادثه را انتقال دهد.
بعد از مدت کوتاهی از رفتن سناتور یک هواپیما بر روی سقف ساختمان فرود آمده و مردان سناتور از آن خارج می‌شوند. به نظر می‌رسد این افراد قصد دسترسی به محتویات حافظه پریسم را دارند. کامپیوتر که از قصد آن‌ها آگاه می‌شود دریچه‌های ورودی هوا را می‌بندد و افراد سناتور را توسط گاز بیهوش می‌کند. در همین زمان امکان اتصال به شبکه خبر جهانی برای پریسم فراهم می‌شود و فیلم خشونت و تهدیدهای سناتور از طریق شبکه جهانی پخش می‌شود.
با افشای تهدیدات، مقبولیت عمومی سناتور در بین مردم کاهش پیدا کرد. دکتر پریلمن برای قدردانی از پریسم به او اجازه می‌دهد به بخش پایانی پروژه بپیوندد. بخش پایانی پروژه در سال ۲۰۹۱ کلید می‌خورد و بر طبق پروژه جدیدی براساس صلح‌جویی و عدالت محوری تنظیم شده. در سال ۲۰۹۱ «پریسم» به خانواده اش می‌پیوندد و به همراه همسر و پسرش زندگی شاد و موفقی تجربه می‌کند و چشم به روزهای طلایی آینده می‌دوزد.
این بازی یکی از عناوین غیرمعمول تولید شده توسط شرکت «اینفوکام» می‌باشد که بنا به اظهار نظر طراح بازی «استیو مرتزکی» دارای اشاره‌های متعددی به سیاست و مسائل اجتماعی است. داستان بازی در محلی به نام «ایالات متحده آمریکای شمالی» اتفاق می‌افتد که در واقع متشکل از کشورهای آمریکا و کانادای امروزی است و قوانین این کشورها شباهت بسیاری با کشور داخل بازی دارد. واشنگتن در بازی به عنوان پایتخت حضور دارد. اوج داستان بازی در قسمتی می‌باشد که پریسم متوجه می‌شود پروژه شکست خورده و جامعه به سمت هرج و مرج کشیده خواهد شد.
«استیو مرتزکی» همچنین از بحث و جدل‌های فراوان بازیبازان و منتقدان در مورد این بازی خبر داد و این انتقادات تا آنجا پیش رفت که گروه‌های سیاسی «راست گرا» و «عوام گراها» نیز وارد این بحث‌ها شدند.
اشارات مورد نظر سیاسی و قانونگذاری در بازی شامل موارد زیر می‌باشند:
اگر بازیباز بتواند به پایان خوب بازی برسد، قهرمان بازی به حالت شبیه‌سازی سال ۲۰۹۱ فرستاده می‌شود و بقیه زندگی خود را استراحت خواهد کرد.
اشاره‌های نویسنده داستان بازی به مسائل دوران ریاست جمهوری «رونالد ریگان» می‌باشد: شدت عمل در مسائل خارجی به صورت سیاسی یا نظامی، قطع کردن خدمات رایگان دولتی و تأکید بر مسائل مذهبی.فیلم مستند "GET LAMP"، مصاحبه «استیو مرتزکی» با «جیسون اسکات»: "به نظرم ریگان فقط بر اثر یک اشتباه بزرگ دوباره انتخاب شد، از نظر من این یک اشتباه بود. یا شاید هم در زندگی من بعد از انتخاب نیکسون این بدترین مورد بود. این بازی شاید چیزی بود که ما در شرکت اینفوکام خواستیم با ساخت آن واقعیت‌های در حال اتفاقا داخل کشور را به مردم نشان دهیم."
همچنین در این بازی در سال ۲۰۳۱، دو کشور یونان و گواتمالا اتحاد ضد آمریکای شمالی را تشکیل می‌دهند (در واقعیت کره شمالی و آلبانی)، دولتمردان سیاه پوست آفریقای جنوبی مورد حمله گروه تروریستی بنیادگرای سفید پوستی به نام WIZO قرار می‌گیرند. رهبر لیبی معمر قذافی در جریان یک انفجار اتمی تصادفی در سال ۱۹۹۸ کشته می‌شود. جمهوری‌های اتحاد جماهیر شوروی به‌طور معنی داری از اتحادیه کشورهای سوسیالیستی خارج شده ولی همچنان برای امنیت ایالات متحده خطرناک به‌شمار می‌روند؛ و کشورهای بلوک شرق در سال ۲۰۳۱ اقدام به یک تحول و رنسانس در خود می‌نمایند.
از آنجایی که این بازی یکی از محصولات غیرمتعارف شرکت «اینفوکام» می‌باشد، بسته‌بندی بازی شامل محتویات خاصی بود که اصطلاحاً feelies نامیده می‌شوند:
نویسنده داستان بازی «استیو مرتزکی» به این نکته اشاره کرده بود که در مورد این بازی انتظار بحث و جدل و مناقشه سیاسی را داشته‌است. اما وقتی بازی منتشر شد و هیاهوی مورد انتظار در مورد آن بلند نشد، «مرتزکی» تصمیم گرفت بازی را بسازد که مقداری مسائل جنسی در آن باشد، زیرا به نظر او هیچ چیز مانند مسائل جنسی نمی‌توانست بحث و مناقشه راه بیندازد. نتیجه این تصمیم، تولید بازی بود.
این بازی شامل یک مرحله از سختی با نام Advanced می‌باشد. همچنین ۱۷۸ مکان مختلف در بازی وجود دارند.Infocom Fact Sheet, بخش ششم مقاله VI, Game Statistics
مسابقات زنان فوتبال در بازی‌های المپیک تابستانی ۲۰۱۶ در ریو دو ژانیرو، برزیل ۳ تا ۱۹ اوت ۲۰۱۶ برگزار خواهد شد. این مسابقات در هفت ورزشگاه انجام می‌شود.
دسته‌بندی مسابقات در ۸ آوریل ۲۰۱۶ مشخص شد.
رابرت فالسم (؛ زادهٔ ) یک سیاست‌مدار اهل ایالات متحده آمریکا است. وی از سال ۱۹۷۶ تا ۱۹۸۱ شهردار دالاس بود.
لری اوبرین (؛ – ) یک سیاست‌مدار، و وکیل اهل ایالات متحده آمریکا و بین سال‌های ۱۹۷۵ تا ۱۹۸۴ مأمور عالی رتبه اتحادیه ملی بسکتبال بود.
مأمور عالی رتبه اتحادیه ملی بسکتبال () مدیر اجرایی اتحادیه ملی بسکتبال است که توسط صاحبان لیگ ان بی ای انتخاب می‌شود.