Payamvdn/NorthPersian_fa_wiki huggingface dataset:
a_1 دارای حذف سور است، هرگاه «زیرساختارْکامل» باشد. یعنی برای هر مدلِ formula_23 و هر زیرساختارِ formula_24 تئوریِ formula_25 در زبانِ formula_26 (زبانی که با افزودن ثابت برای ازای هر عنصرِ formula_27 به زبان تئوریِ formula_1 به دست آمده باشد) یک تئوریِ کامل باشد. منظور از formula_29 مجموعهٔ همهٔ جمله های بدون سورِ با پارامتر در formula_27 است. از این رو، همان گونه که در مقدمه اشاره شد، اگر formula_1 دارای حذف سور باشد و formula_32 و formula_33 آن گاه formula_34. ولی عکس این گفته برقرار نیست. در واقع این ویژگی، «مدلْ کامل» بودن نام دارد. «زیرساختارْکامل بودن» معادل «حذف سور» است و «مدل ْ کاملْ بودن» با «معادل بودن هر فرمول، با فرمولی فقط دارای سورهای وجودی» معادل است. نیز تئوریِ formula_1 حذف سور می پذیرد اگروتنهااگر هر تایپ کاملی در آن با فرمول های بدون سور آن تایپ کاملاً تعیین شود. به بیان دیگر، برای هر formula_36 در مدل هیولا و هر زیرمجموعهٔ formula_27 از مدل هیولا، اگر formula_38 آن گاه formula_39؛ که منظور از formula_40 مجموعهٔ همهٔ فرمول های بدون سور با پارامتر در formula_27 است که formula_42 آن ها را ب
رآورده می کند. مثالها. داشتن حذف سور، تنها در یک «زبان معقول» حائزِ اهمیت است. این زبان عموماً بهینه ترین زبانی است که ویژگی های جبری یک تئوری را بتواند بیان کند. اگر جز این بخواهد باشد، هر تئوری ای با اضافه کردن محمول برای هر فرمول دارای سور به زبان، دارای حذف سور می شود. به بیان واضح تر اگر برای هر فرمولِ formula_43 محمول formula_44 را به زبان و جملهٔ formula_45 را به تئوری بیفزاییم، به یک تئوری دارای حذف سور می رسیم. اعداد طبیعی و حساب پئانو. ساختارِ به ظاهرسادهٔ formula_46 سورها را حذف نمی کند. مسئلهٔ حذف سور برای این ساختار، هم ارزِ مسئلهٔ ناکامل بودن اصول پئانو برای حساب است که گودل آن را ثابت کرده است. نیز به بیان دیگر، این مسئله معادل مسئلهٔ وجود یک زیرمجموعهٔ بازگشتی شمارش پذیر از formula_47 است که بازگشتی نباشد. در واقع زیرمجموعه های بازگشتی ِ شمارش پذیرِ formula_47 دقیقاً آنهایند که با فرمولهای formula_49 تعریف می شوند که در آن formula_50 یک چندجمله ای در formula_51 باشد. حساب پِرِسْبِرگِر. برخلافِ حسابِ پئانو، «حسابِ پِرِسْبِرگِر» دارای حذف سور است. حساب پرسبرگر، به بیان ساده حسابی است که از تئوری
ِ کاملِ ساختار formula_52 به دست می آید که در آن تعبیرِ محمولِ formula_53 زیرمجموعهٔ formula_54 از formula_55 است. نتیجهٔ تأمل برانگیزِ حذف سور حساب پرسبرگر این است که بر خلاف formula_56 که گرفتار دشواری های قضیهٔ ناتمامیت گودل است، ساختارِ formula_57 تصمیم پذیر است. حساب پرسبرگر دارای یک اصل بندی ساده است که ویژگی های گروه جمعیِ ترتیبیِ formula_57 را به همراه تعبیرِ formula_53ها بیان می کند. میدانهای بستهٔ حقیقی. تئوریِ کاملِ ساختارِ formula_60 سورها را حذف می کند (تارسکی). این حذف سور، نتایج جبری و توپولوژیک بااهمیتی در پی دارد. نخست این که تئوریِ کامل این ساختار، دقیقاً تئوری میدان های بستهٔ حقیقی است. میدان های بستهٔ حقیقی، میدانهایی هستند که در آنها formula_61 مجموع مربعات نباشد. و هیچ توسیع جبری ای نداشته باشند که در آن formula_61 مجموع مربعات باشد. بنا به حذف سور، اصل بندی زیر برای میدان های بستهٔ جبری، «کامل» است و از این رو میدان های بسته جبری دقیقاً مدلهای تئوریِ کاملِ ساختارِ formula_60 هستند. نیز تئوری زیر، «مدل کامل» و تصمیم پذیر است. مجموعه های تعریف شدنی با فرمول های بدون سور در میدان های بستهٔ
جبری، دقیقاً «مجموعه های شبه جبری» هستند. یعنی آن هایی که به گونهٔ زیر تعریف شوند: formula_66 که در آن formula_67ها و formula_68 چندجمله هایی در formula_69 هستند. از آنجا که سورهای وجودی تصویر مجموعه ها روی محورها را به دست می دهند، حذف سورِ میدان های بستهٔ جبری در واقع، معادل این گفته است که «در میدانهای بستهٔ جبری، هر تصویر هر مجموعهٔ شبه جبری، خود نیز مجموعه ای شبه جبری است. در واقع، حذف سور، راهبردی بود تارسکی برای اثبات این قضیه پیش گرفت. از دیگر نتیجه های حذف سور برای میدانهای بستهٔ جبری، این است که این میدانها «کمینهٔ ترتیبی» هستند (اُمینیمال). یعنی مجموعه های تعریف شدنی با یک متغیر در آنها، اجتماعی متناهی از نقطه ها و بازه های باز هستند (و از این رو بنا به قضیهٔ تقسیم سلولی، مجموعه های تعریف شدنی در ابعاد بزرگتر، اجتماعی متناهی از سلول ها هستند). ترتیب کمینگی این ساختار، ارتباط سودمندی میان نظریهٔ مدل و تویولوژی برقرار می کند. میدانِ ترتیبیِ اعداد حقیقی به همراه جرم توابع تحلیلیِ حقیقی. تئوری میدان بستهٔ حقیقی formula_70 بهمراه «جرم توابع تحلیلی حقیقی» و جمع و ضرب و کمتریِ تحدید شده، مدل کامل است، یع
نی هر فرمولی در آن معادل فرمولی به صورت formula_71 است که در آن formula_72 فرمولی بدون سور است. (وَن ْ دِنْ دریز) به بیان دیگر، اگر با formula_73 خانوادهٔ همهٔ توابع تحلیلیِ حقیقیِ محدود شده به بازهٔ بستهٔ formula_74 را نشان دهیم، و با formula_75 تابع تغییردادهٔ شدهٔ تقسیم را که هر جا formula_76 باشد تعریف شده است، تئوریِ ساختارِ formula_77 سورها را حذف می کند. در نتیجهٔ حذف سور به راحتی می توان نشان داد که ساختار یادشده، کمینهٔ ترتیبی است. نیز اهمیت دیگر حذف سور در این ساختار این است، که اثباتی نظریهٔ مدلی برای قضیهٔ هندسیِ «گابْرییِلُف» فراهم می آورد. بنا بر قضیهٔ گابرییلف، مکمل هر مجموعهٔ زیرْتحلیلی در formula_70 مجموعه ای زیرْتحلیلی است. مجموعه های زیرتحلیلی، با گرفتن تصاویرِ مجموعه های شبه تحلیلی روی محورها به دست می آیند. نیز، مجموعه های شبه تحلیلی، دقیقاً مجموعه هایی هستند که در ساختارِ formula_79 بدون سور تعریف می شوند. میدانهای بستهٔ جبری. تئوری کاملِ ساختار formula_80 سورها را حذف می کند (رابینسون). تئوری این ساختار، از این رو، معادل با تئوری میدان های بستهٔ حقیقی با مشخصهٔ صفر است. در نتیجهٔ حذف سو
ر، تئوری میدان های بستهٔ جبری مدلْ کامل است و تئوری میدان های بستهٔ جبری با مشخصهٔ formula_50 (که formula_50 می تواند بی نهایت نیز باشد) کامل است. حذف سور در میدان های بستهٔ جبری نیز نتایج جبری خوشایندی به دست می دهد. در واقع حذف سور در این میدان ها معادل قضیهٔ «شُوالی» است که می گوید «تصویر هر مجموعهٔ ساخته شدنی تحت یک نگاشت چندجمله ای مجموعه ای ساخته شدنی است». مجموعه های ساخته شدنی در میدان های بستهٔ جبری، ترکیبات بولی متناهیِ مجموعه های بستهٔ زاریسکی هستند. به بیان دیگر، آن ها مجموعه های «تعریف شدنی» با فرمول های بدون سور در یک میدان بستهٔ جبریند. طبیعی است که تصویر آن ها تحت نگاشت های چندجمله ای، دوباره تعریف شدنی، و بنا به حذف سور، بدون سورتعریف شدنی، و از این رو ساخته شدنی است. نیز حذف سور (در واقع مدل کاملی نتیجه شونده از آن) اثبات آسانی برای قضیهٔ ریشه های هیلبرت (نول اِشتِلِنْ سَتز) فراهم می آورد. بنا به این قضیه، در میدان های بستهٔ جبری، مجموعه های بستهٔ زاریسکی در تناظر یک به یکند با ایده آل های رادیکال در حلقهٔ چندجمله ای های متناظر. نتیجهٔ دیگرِ حذف سور در میدان های بستهٔ جبری، این است که آن ها
بسیارکمینه هستند. یعنی اگر formula_83 یک میدان بستهٔ جبری باشد، هر زیرمجموعهٔ تعریف شدنی از formula_83 یا خودْ یا مکملش متناهی است (یعنی این مجموعه را می توان تنها با نمادِ تساوی تعریف کرد). میدان ترتیبی اعداد حقیقی به همراه تابعِ نمایی نامحدود. تئوریِ ساختارِ formula_85 یک تئوری مدل ْکامل است (ویلکی)؛ یعنی هر فرمول در آن معادلی دارد که تنها دارای سوروجودی است. نکتهٔ تأمل برانگیز این است که در این جا تابع نمایی، محدود در نظر گرفته نشده است و بنابراین این قضیه از قضیهٔ ون دِن دریز برای formula_86 نتیجه نمی شود. نیز بنا به حذف سور، این تئوری ترتیب کمینه است. اگر «حدس شانوئل» درست باشد، این تئوری، تصمیم پذیر است. حدس شانوئل این است که اگر formula_87 روی formula_70 مستقل «خطی» باشند، آن گاه مرتبهٔ تعالی میدانِ formula_89 حداقل، formula_90 است. تصمیم پذیری تئوریِ formula_91 موردِ سؤالی از تارسکی بوده است. زوجهای چگال از میدانهای بستهٔ حقیقی. فرض کنید formula_1 تئوری «زوجهای چگال از میدانهای بستهٔ حقیقی» باشد (این تئوری، کامل است). به بیان دیگر زوج formula_93 مدلی از formula_1 است اگروتنهااگر formula_95 و formula_9
6 دو میدان بستهٔ حقیقی در زبانِ formula_97 باشند و formula_96 در formula_95 چگال باشد؛ یعنی هر بازهٔ باز که دو سر آن عناصرِ formula_95 باشند، دارای نقطه ای در formula_96 باشد. این تئوری را می توان تئوریِ کاملِ ساختارِ formula_102 دانست که در آن منظور از formula_103 میدان بستهٔ حقیقی متشکل از همهٔ عناصر جبری روی formula_104 است و خطِ بالایِ formula_70 یعنی این میدان به همراه جمع و ضرب و کمتری و صفر و یک. تئوریِ formula_1 در زبانِ formula_107 که در آن formula_50 یک نماد محمولی یک ظرفیتی برای میدانِ کوچکتر است، دارای حذف سوری این چنین است: هر فرمولی در این زبان، معادل ترکیبی بولی از فرمولهایی به صورت formula_110 است که در آن formula_111. تئوری یادشده، ترتیب کمینه نیست ولی همچنان از لحاظ توپولوژیک خوش رفتار است: هر مجموعهٔ باز از formula_70 که در ساختار formula_102 تعریف شدنی باشد، اجتماعی متناهی از بازه هاست. در واقع هر مجموعهٔ باز تعریف شدنی در این ساختار، در خودِ formula_114 تعریف شدنی است. نیز هر زیرمجموعه از formula_115 که در این ساختار تعریف شدنی باشد، اشتراکِ formula_103 با زیرمجموعه ای چون formula_117 از
formula_70 است که با فرمولی در formula_119 تعریف شده باشد. نیز هر زیرمجموعه ای چون formula_120 از formula_70 که در این ساختار تعریف شدنی باشد تجزیه ای به گونهٔ formula_122 دارد که در آن هر formula_123 یا یک بازهٔ بازِ زیرمجموعهٔ formula_120 است یا یک نقطه است، یا یک بازهٔ باز به گونه ای است که formula_125 و formula_126 در formula_127 چگال است. مشابه این گفته برای مجموعه های تعریف شدنی در ابعاد بالاتر نیز برقرار است (تجزیهٔ سلولی چگال و مکمل ْچگال). در نتیجه formula_47 در این ساختار تعریف شدنی نیست و این امر برای در امان بودن از دشواری های ناتمامیت، در ساختارهای نظریهٔ مدلی اهمیت دارد. میدانهای ارزیابی. تئوری میدان های ارزیابی ِ بستهٔ جبریِ که در آن مشخصهٔ میدانِ اصلی و میدانِ خارج قسمتی تبیین شده است، در زبانِ به دست آمده از اجتماع زبان میدان ها با محمول دوظرفیتیِ formula_129، سورها را حذف می کند (رابینسون). در حالت کلی تر، میدان های ارزیابیِ (نه لزوماً بستهٔ جبری) هنسلیِ دارای مؤلفهٔ زاویه ای، به گونهٔ formula_130 را در زبان سه بخشیِ formula_131 مطالعه می کنند که حامل سه بخش برای میدان اصلی و میدان خارج قسمت
ی و گروه ارزیابی هاست. نگاشت ارزیابی با نماد formula_132 نشان داده شده است. نیز formula_133 نگاشت مؤلفهٔ زاویه ای، یک همومرفیسم گروه ضربی است که نگاشت کانونیِ formula_134، را «روی عناصرِ یکهٔ formula_135» گسترش می دهد. در این زبان می توان نشان داد که میدان های ارزیابی هنسلی دارای مؤلفهٔ زاویه ای و با مشخصهٔ صفر برای میدان خارج قسمتی، سورها را از میدانِ اصلی، یعنی formula_83، حذف می کنند. به بیان دیگر، اگر دو میدان ارزیابیِ formula_130 و formula_138 داشته باشیم و بدانیم که formula_139 و formula_140 آنگاه formula_141. حذف سور تبعات خوشایند زیادی نیز برای میدان های ارزیابی دارد. برای مثال، تئوری میدان های بستهٔ جبریِ با مشخصهٔ مشخص، سی کمینال (سی مینیمال) است. یعنی مجموعه های تعریف شدنی در آن ساختاری درخت مانند دارند. نیز در میدان های ارزیابیِ بستهٔ جبری، گروه ارزیابی ها و میدان خارج قسمتی، هر یک «ثابت ْنشانده» هستند. یعنی زیرمجموعه هایی از آن ها را که در کل ساختار تعریف شدنی باشند می توان در خودِ ساختار گروه، یا در خودِ ساختارِ میدان و بدون کمک گیری از بقیهٔ زبان تعریف کرد. این نکته دربارهٔ میدان های ارزیابیِ ه
نسلی دارای مشخصهٔ خارج قسمتیِ صفر و دارای مؤلفهٔ موضعی نیز درست است. روش های معمول برای بررسی حذف سور. پیدا کردن معادل بدون سور به روش مستقیم و با دستکاری فرمولها، برای یک فرمول پیچیدهٔ دارای سور همواره عملی ترین راه آزمودن حذف سور نمی تواند باشد، به ویژه وقتی که زبان دارای چندین بخش است و فرمول ها بسیار پیجیده اند. عموماً حذف سور را با کمک گرفتن از «محکهای جبری» زیر می آزمایند. روش اول. تئوری formula_1 دارای حذف سور است اگر و تنها اگر برای هر دو مدلِ formula_143 و هر زیرساختارِ مشترک از این دو مانند formula_144 هر فرمولِ formula_145 که عطفی از فرمول های اتمی (فرمول های ساخته شده با کمک تساوی و نقیض و ترم ها و رابطه های زبان) است و پارامترهای formula_146 در آن از formula_27 می آیند، داشته باشیم formula_148 روش دوم، راژمانهای رفت و برگشتی. همان گونه که در تعریف حذف سور اشاره شد، برای این که یک تئوری حذف سور بپذیرد، باید تایپ های کامل عناصر را تایپ های بدون سور آن ها به دست بدهند. فرض کنید formula_149 و formula_150 مدلهایی بسیار اشباع باشند و formula_151 و formula_152. بامهارتهای اولیهٔ نظریهٔ مدلی می توان نشان
داد که formula_153 اگر و تنها اگر زیرساختاری از formula_149 که formula_146 آن را تولید می کند با زیرساختاری از formula_150 که formula_157 آن را تولید می کند، ایزومرف باشد. یادآوری می کنیم که formula_158 نشانگر تایپ بدون سور است. نیز formula_159 هرگاه یک نگاشت مقدماتی جزئی داشته باشیم که formula_146 را به formula_157 ببرد. هرگاه یک «راژمان رفت و برگشتی» از ایزومرفیسم های میان زیرساختارهای formula_149 و formula_150 وجود داشته باشد که ایزومرفیسم میان ساختار تولید شده توسط formula_146 در formula_149 و ساختار تولید شده توسط formula_157 در formula_150 در میان آن ها باشد، آن گاه formula_159. به بیان دقیق تر، موارد زیر با هم معادلند: روش چهارم. اگر تئوریِ formula_1 دو شرط جبری زیر را برآورد، آن گاه سورها را حذف می کند: روش پنجم. موارد زیر با هم معادلند (تعاریف در ادامه آمده است). مفاهیم نزدیک به حذف سور. کامل بودن. تئوریِ formula_1 را «کامل» می خوانند هرگاه هر جمله ای یا نقیضِ آن از formula_1 نتیجه شود. اگر formula_1 کامل باشد و formula_23 آن گاه formula_1 با تئوریِ کاملِ formula_273 هم ارز است. یعنی هر ویژگی ای که
در یکی از مدلهای formula_1 برقرار باشد، در همهٔ مدل های دیگر نیز برقرار خواهد بود. به بیان دیگر، اگر formula_1 کامل باشد و formula_32 آن گاه formula_277؛ یعنی formula_95 و formula_96 هم ارز مقدماتی هستند. هرگاه formula_1 کامل باشد، می توان مدلی بسیار بزرگ از آن را برای کار اندر آن برگزید و و آن را مدل «هیولا» خواند و همهٔ مدل ها را زیرمدلی از مدل هیولا دانست. نیز بررسی تایپ ها عموماً در تئوری های کامل و در مدل هیولا صورت می پذیرد. اگر formula_1 دارای حذف سور باشد و مدلی داشته باشد که در سایر مدل های دیگر، مقدماتی نشانده شود، آنگاه formula_1 کامل است. کامل بودن بسیاری از تئوریها، مانند میدان های بستهٔ حقیقی و میدان های بستهٔ جبری، با کمک این نکته ثابت می شود. همان گونه که در تعریف گفتیم، تئوریِ formula_1 دارای حذف سور است اگر و تنها اگر برای هر مدل formula_23 و هر زیرساختارِ formula_24 تئوریِ formula_286 یک تئوری کامل باشد. مدلْ کامل بودن. بسیاری از تئوری ها کامل نیستند ولی ویژگی ای را نزدیک به کامل بودن دارا هستند که آن را «مدل کامل» بودن می خوانند. تئوریِ formula_1 را مدل ْکامل می خوانند هرگاه برای هر مدلِ f
ormula_23 تئوریِ formula_289 در زبان formula_290 یک تئوری کامل باشد. منظور از formula_291 مجموعهٔ همهٔ جمله های بدون سورِ درست در formula_95 است و منظور از formula_290 زبانی است که با افزودن ثابت برای عنصرِ formula_95 به زبانِ تئوریِ formula_1 به دست آمده باشد. به بیان دیگر، تئوریِ formula_1 مدل کامل است اگروتنهااگر هر مدل از آن بستهٔ وجودی باشد؛ یعنی اگر formula_23 و formula_43 یک فرمول بدون سور باشد و formula_299 آن گاه برای هر formula_261 داریم formula_301. نیز به بیان دیگر، تئوریِ formula_1 مدل کامل است اگروتنهاگر برای هر دو مدلِ formula_299 داشته باشیم formula_34؛ یعنی formula_95 زیرمدلی مقدماتی از formula_96 باشد. تئوریِ formula_1 مدل کامل است اگروتنهااگر هر فرمولی در آن معادلی با فقط سور وجودی داشته باشد. به بیان دیگر هر فرمول با متغیرِ آزادِ formula_308 معادلی به گونهٔ formula_309 داشته باشد. که در آن formula_72 فرمولی بدون سور است. از آنجا که «تایپ» مفهومی مقدماتی است (یعنی هر تایپ در یک گسترش مقدماتی برآورده می شود) به مدل کامل بودن یک تئوری برای بررسی تایپ های آن در مدل هیولا نیاز است. اگر formula_
1 حذف سور داشته باشد، مدل ْکامل است. همپای مدلی. برای بررسی راحت ترِ ویژگی های تئوری های ناکامل، می توان «همپای مدلی» آن ها را در صورت وجود بررسی کرد که مدل ْکامل است. تئوریِ formula_312 را «همپای مدلی» تئوری formula_1 می خوانیم هرگاه formula_312 مدل ْکامل باشد و formula_315. منظور از formula_266 مجموعهٔ همهٔ جمله های با سور عمومی است که از formula_1 نتیجه می شوند. به بیان دیگر، formula_315 یعنی هر مدل از formula_1 را بتوان به یک مدل از formula_312 گستراند و هر مدل از formula_312 را به یک مدل از formula_1. همپای مدلی یک تئوری لزوماً همیشه موجود نیست، ولی در صورت وجود، یکتاست. تئوریِ formula_1 دارای همپای مدلی است، اگروتنهااگر کلاس همهٔ مدل های بسته ٔوجودیِ آن، کلاسی مقدماتی باشد. در واقع همپای مدلیِ formula_1، تئوری ِ این کلاس مقدماتی است. مدلِ formula_23 را «بستهٔ وجودی» می خوانند هرگاه برای هر formula_299 و هر فرمولِ بدون سورِ formula_327 که در آن formula_261 داشته باشیم formula_329. مُکمّلِ مدلی. اگر formula_312 همپای مدلیِ formula_1 باشد و formula_1 دارای «ویژگی پیوندی» (همان گونه که در زیر آمده است) باشد
، آن گاه formula_312 را «مکمل مدلیِ» formula_1 می خوانیم. مکمل ِ مدلی یک تئوری به داشتن حذف سور نزدیک است؛ از آن رو که مکملِ مدلیِ یک تئوری با اصل بندیِ جهانی (formula_335) دارای حذف سور است. نیز formula_312 مکمل مدلیِ formula_1 است. اگروتنهااگر همپای مدلی formula_1 باشد و برای هر formula_23 تئوریِ formula_340 در زبان formula_290 یک تئوری کامل باشد. ویژگی پیوندی. تئوریِ formula_1 دارای «ویژگیِ پیوندی» است. هرگاه هر دو مدل آن را که دارای زیرمدلی مشترک باشند بتوان به هم پیوند زد. به بیان دقیق تر هرگاه formula_343 سه مدلِ formula_1 باشند و formula_345 و formula_346 دو نشاندن باشند، آنگاه یک مدلِ formula_96 از formula_1 و دو نشاندنِ formula_349 و formula_350 موجود باشند که formula_351. ویژگی پیوندی با حذف سور رابطهٔ نزدیکی دارد. نخست توجه کنید که «پیوند» در حالت مقدماتی همیشه ممکن است؛ یعنی اگر formula_343 سه ساختار باشند و formula_353 برای formula_354 دو «نشاندن مقدماتی» باشند، آنگاه یک ساختارِ formula_96 به همراه نشاندن های مقدماتی formula_356 پیدا می شوند که formula_351. از آنجا که در حضور حذف سور، هر زیرمدلی،
زیرمدلی مقدماتی است رابطهٔ میان ویژگی پیوندی و حذف سور توجیه شدنی است. در واقع موارد زیر با هم معادلند:
گنادی یانایف سیاستمدار و دولتمرد روس در تاریخ ۲۶ اوت ۱۹۳۷ در شهر پریوز ناحیه گورکی متولد شد. او در دولتهای خروشچف ، برژنف ، آندروپف و چرنینکو فعالیت داشت و در تاریخ ۲۴ سپتامبر ۲۰۱۰ درگذشت. معاون اول رییس جمهور. یانایف در تاریخ ۲۷ دسامبر ۱۹۹۰ توسط گورباچف به عنوان نخستین و تنها معاون اول رئیس جمهور اتحاد شوروی انتخاب شد. رقبای او برای این پست، نورسلطان نظربایف و ادوارد شواردنادزه بودند. کودتای اوت ۱۹۹۱. یانایف در ماه اوت۱۹۹۱ به همراه تعدادی دیگر از مقامات شوروی از جمله ولادیمیر کریوچکف رئیس ک گ ب علیه گورباچف دست به کودتا زدند و گورباچف را در ویلایش در شبه جزیره کریمه بازداشت کردند. درگذشت. یانایف در تاریخ ۲۴ سپتامبر ۲۰۱۰ بر اثر سرطان ریه در بیمارستان مرکزی مسکو درگذشت.
مسابقات مردان واترپلو در بازی های المپیک تابستانی ۲۰۱۶ در ریو دو ژانیرو، برزیل ۶ تا ۲۰ اوت ۲۰۱۶ برگزار شده است. این مسابقات در مرکز ورزش های آبی ماریا لنک و ورزشگاه المپیک ورزش های آبی ریو دو ژانیرو انجام شده. سیدبندی. سیدبندی مسابقات در ۱۰ آوریل ۲۰۱۶ مشخص شد.
مسابقات زنان واترپلو در بازی های المپیک تابستانی ۲۰۱۶ در ریو دو ژانیرو، برزیل ۹ تا ۱۹ اوت ۲۰۱۶ برگزار خواهد شد. این مسابقات در مرکز ورزش های آبی ماریا لنک و ورزشگاه المپیک ورزش های آبی ریو دو ژانیرو انجام می شود. سیدبندی. سیدبندی مسابقات در ۱۰ آوریل ۲۰۱۶ مشخص شد.
کامیل رو (زاده ۷ ژانویه ۱۹۹۰) مانکن و بازیگر فرانسوی - آمریکایی است. او در فیلم "روزهای فروشگاه حیوانات خانگی" بازی کرده است. اوایل زندگی. کامیل رو در شهر پاریس از مادری آمریکایی که در Le Lido مدل و رقاص بود و پدری فرانسوی به دنیا آمد. حرفه ای. در سال ۲۰۰۸ در کافه محله لومری دیده شد. در سال ۲۰۱۰ در فیلم فرانسوی Our Day Will Come در کنار ونسان کسل بازی کرد. زندگی شخصی. کامیل رو در بخش بروکلین، نیویورک زندگی می کند.
وانگ ژی وی ( زادهٔ ۱۸ ژوئیهٔ ۱۹۸۸) یک تیرانداز چینی است که در رشتهٔ تپانچهٔ مردان فعالیت می کند. از افتخارات وی می توان کسب مدال برنز در المپیک لندن در رشتهٔ تپانچهٔ ۵۰ متر را نام برد.
قیمت بنزین در ایران از مهم ترین موضوعات اقتصادی و سیاست گذاری کشور به شمار می رود. این محصول حیاتی انرژی تحت تأثیر سیاست های یارانه ای، سهمیه بندی و اصلاحات اقتصادی قرار دارد و تغییرات آن، علاوه بر تأثیر مستقیم بر بازار انرژی، بر هزینه های زندگی و رفتار مصرف کنندگان نیز اثرگذار است. در حال حاضر (۲۰۲۴–۲۰۲۵)، بنزین معمولی در ایران با دو نرخ عرضه می شود: نرخ یارانه ای حدود ۱۵۰۰ تومان و نرخ آزاد حدود ۳۰۰۰ تومان؛ همچنین بنزین سوپر با قیمت تقریبی ۳۵۰۰ تومان در دسترس است. این قیمت ها نسبت به قیمت های جهانی پایین تر هستند، اما با توجه به تورم و کاهش قدرت خرید، تأثیر قابل توجهی بر هزینه های زندگی خانوارها دارند. رئیس جمهور ایران در سال ۲۰۲۴ سیاست های یارانه ای سوخت را «غیرمنطقی» ارزیابی کرده و بر لزوم اصلاح این سیاست ها تأکید نمود. مصرف بنزین در ایران روند افزایشی داشته است. بر اساس گزارش شرکت ملی پالایش و پخش فرآورده های نفتی، مصرف روزانه در خرداد ۱۴۰۴ به حدود ۱۴۲ میلیون لیتر رسید که افزایش قابل توجهی نسبت به سال های پیشین نشان می دهد. این افزایش مصرف، همراه با سیاست های مدیریت مصرف و سهمیه بندی، تأثیرات گسترده ای بر
اقتصاد کشور داشته است. افزایش قیمت بنزین در ایران همچنین به ناآرامی های اجتماعی منجر شده است. اعتراضات آبان ۱۳۹۸ که در پی افزایش ۳۰۰ درصدی قیمت سوخت رخ داد، نمونه ای از حساسیت بالای جامعه نسبت به تغییرات قیمت سوخت و اثر آن بر هزینه های زندگی است. سهمیه بندی بنزین. با اجرای سهمیه بندی سوخت در ایران در دولت احمدی نژاد از تیر ماه ۱۳۸۶ هر لیتر بنزین سهمیه ای با نرخ ۱۰۰ تومان و بنزین آزاد ۴۰۰ تومان عرضه شد. مرحله بعدی افزایش قیمت بنزین در ۲۸ آذر ۱۳۸۹ با اجرای هدفمندسازی یارانه ها در ایران کلید خورد و هر لیتر بنزین سهمیه ای به ۴۰۰ تومان و بنزین آزاد ۷۰۰ تومان افزایش یافت. افزایش بعدی قیمت بنزین در سال ۱۳۹۳ در دولت تدبیر و امید با اجرای مرحله دوم هدفمندسازی یارانه ها در ایران هر لیتر بنزین سهمیه ای را به ۷۰۰ تومان و بنزین آزاد ۱۰۰۰ تومان رساند؛ که با تک نرخی شدن بنزین در سال ۱۳۹۴ به قیمت ۱۰۰۰ تومان پرونده بنزین سهمیه ای بسته شد. اما در ۲۴ آبان ۱۳۹۸ در دولت رئیس جمهور روحانی نرخ هر لیتر بنزین سهمیه ای ۵۰ درصد افزایش یافت و به ۱۵۰۰ تومان رسید و قیمت بنزین آزاد که قبلاً هر لیتر ۱۰۰۰ تومان بود سه برابر شده و به ۳۰۰۰ تو
مان رسید. خبر سهمیه بندی بنزین و بازداشت ها. به دنبال انتشار خبر آغاز سهمیه بندی بنزین در اردیبهشت ۱۳۹۸ رسانه ها از بازداشت زیبا اسماعیلی سخنگوی شرکت ملی پخش و پالایش مواد نفتی ایران، و چند مقام دیگر وزارت نفت خبر دادند. روز ۱۵ اردیبهشت، یک سخنگو از مجلس شورای اسلامی گفت که موضوع سهمیه بندی بنزین «فعلاً متوقف شده است.» زیبا اسماعیلی بنا به گزارش سایت niksalehi.com کارمند رسمی صداوسیما بوده و سال ها پیش در خبرگزاری فارس فعالیت می کرده است. بنا به اعلام وزیر نفت علاوه بر زیبا اسماعیلی، چندین نفر در این رابطه بازداشت شده اند. فساد در بنزین دو نرخی. بنزین دو نرخی یکی از عوامل افزایش قاچاق و نیز فساد در کشور است. مدیرعامل شرکت بهینه سازی مصرف سوخت در گفتگو با اقتصاد آنلاین گفت: جایگاه مجلس در موضوع بنزین. مجلس شورای اسلامی در اسفند ۱۳۹۵ با تصویب مادهٔ ۳۹ قانون برنامه ششم به دولت اجازه داده بود که تا سال ۱۴۰۰، قیمت همهٔ حامل های انرژی از جمله بنزین را با رعایت ملاحظات اجتماعی و اقتصادی و به تدریج، به بالاتر از سطح نود درصد قیمت فوب خلیج فارس برساند. اما در سال های بعد، مجلس و دولت مانع از اجرای تدریجی این مصوبه شدن
د. در سال مالی ۱۳۹۶ مجلس اجازه داد قیمت بنزین به ۱۵۰۰ تومان افزایش پیدا کند، اما دولت این مصوبه را به خاطر اعتراضات سال ۱۳۹۶ اجرا نکرد. در سال های ۱۳۹۷ و ۱۳۹۸ هم، مجلس با افزایش قیمت بنزین مخالفت کرد. با افزایش سه برابری و یک شبهٔ قیمت بنزین با مصوبهٔ شورای عالی هماهنگی اقتصادی سران قوا و آغاز اعتراضات، شماری از نمایندگان مجلس شورای اسلامی و کارشناسان حقوقی نسبت به تداخل وظایف این شورا با امور مجلس انتقادهایی را مطرح کردند. آن ها معتقد بودند افزایش قیمت بنزین در مجلس تصویب نشده و به همین دلیل غیرقانونی است. حتی تعدادی از نمایندگان اعلام کردند که در اعتراض به بی اعتنایی دولت به نظر آن ها در مورد افزایش قیمت بنزین استعفا خواهند کرد. در دومین روز اعتراضات (۲۵ آبان) فراکسیون امید مجلس طرح فوریتی «بازگشت قیمت بنزین به قیمت قبل» را تهیه کرد و بنا بود یک روز بعد، آن را تقدیم هیئت رئیسهٔ مجلس کند. اما پس از سخنرانی خامنه ای در ۲۶ آبان و تأکید او بر حمایت از تصمیم سران قوا، سخنگوی این فراکسیون اعلام کرد به دلیل «تاکیدات رهبر جمهوری اسلامی» طرح مزبور از دستور کار خارج شده است. هم زمان محمود صادقی گفت که رهبر ایران با ا
رسال یادداشتی خطاب به نمایندگان، آن ها را از مخالفت با مصوبهٔ سران قوا برحذر داشته است. علی لاریجانی هم در ۱۰ آذر طی نشستی خبری گفت که در راس امور قرار داشتن مجلس به معنای دخالت در همه تصمیم ها نیست و جایگاه مجلس «ریل گذاری پس از رهبر انقلاب» است. او در مورد وجود نهادهای تصمیم گیرندهٔ موازی مجلس گفت که بعضی از این نهادها در زمان روح الله خمینی هم وجود داشته اند، برخی هم بعداً اضافه شده اند و این موضوع جدیدی نیست. در ۷ آذر سخنگوی کمیسیون اصل ۹۰ مجلس از تهیهٔ یک طرح دوفوریتی دیگر برای تک نرخی شدن بنزین به قیمت هر لیتر ۱۵۰۰ تومان و حذف قیمت ۳۰۰۰ تومانی خبر داد. از دیدگاه منتقدان، این طرح نمایندگان مجلس، سیاسی و تلاشی برای توفیق در مبارزات انتخاباتی مجلس در اسفند ۱۳۹۸ است. افزایش قیمت در سال ۹۸. بامداد ۲۴ آبان ۱۳۹۸ شرکت ملی پخش فرآورده های نفتی ایران، بدون اعلام قبلی از تغییر قیمت بنزین غیرسهمیه ای به ازای هر لیتر ۳ هزار تومان خبر داد. ساعاتی بعد حسن روحانی دلیل این افزایش را تقسیم درآمد حاصله بین شصت میلیون ایرانی عنوان کرد و گفت این تصمیم به نفع مردم و قشرها تحت فشار جامعه است. شامگاه ۲۴ آبان تجمعات اعتراضی در
چند شهر برگزار شد اما به سرعت به ۲۸ استان مختلف سرایت پیدا کرد و تا حدود یک هفتهٔ بعد از آن، شهرهای مختلف ایران صحنهٔ درگیری، اعتراض و آشوب های بسیار گسترده بود. براساس اعلام شرکت ملی پخش فراورده های نفتی ایران، قیمت هر لیتر بنزین سهمیه ای لیتری ۱۵۰۰ تومان و میزان سهمیهٔ خودروهای مختلف به شرح زیر است:
یی سیلینگ (؛ زادهٔ ) یک تیرانداز زن چینی است. او تیراندازی را در سال ۲۰۰۷ آغاز کرد و اولین حضور بین المللیش در سال ۲۰۰۹ بود. در سال ۲۰۱۰ او برندهٔ مسابقات قهرمانی جهان در تفنگ بادی ۱۰ متر شد. هم چنین در المپیک لندن اولین مدال طلای مسابقات را در رشتهٔ تفنگ ۱۰ متر به دست آورد.