ساختن اندازه هار در زیرنظریه هایی از حساب مرتبه دوم با ارزشهای نااستاندارد یا استاندارد
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
- نویسنده مریم رحیم زاده صومعه سرایی
- استاد راهنما مجتبی منیری
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1380
چکیده
در این پایان نامه به توصیف نتایج tanaka-yamazaki که در سال 2000 میلادی در j.symbolic logic به چاپ رسیده است می پردازیم که در آن مطالعه ریاضیات وارونه وجود (و یکتایی) اندازه هار برای گروههای فشرده جدایی پذیر (دارای مدول پیوستگی یکنواخت برای دو عمل) پرداخته می شود. نشان داده می شود که وجود اندازه هار برای گروههای فشرده جدائی پذیر روی نظریه زمینه ای rca، معادل با لم ضعیف کونیگ می باشد. اثبات مذکور از دو اثبات متباین و قدیمی تر که یکی ساختنی و دیگری نااستاندارد بوده است ریشه گرفته است. در ادامه بدون استفاده از روشهای نااستاندارد، ثابت می شود که روی rca، این حکم که هر گروه فشرده جدایی پذیر که دو عمل آن مدول پیوستگی یکنواخت دارند دارای یک اندازه هار یکتاست، با wwkl معادل است. در سه فصل نخست مقدمات لازم شامل وجود و یگانگی اندازه هار در ریاضیات کلاسیک (با روشهای استاندارد و نااستاندارد) و نیز پیش نیازهای لازم از زیرنظریه های حساب مرتبه دوم شامل مطالبی از نظریه اندازه، آنالیز نااستاندارد و قضیه خود نشانندگی برای wkl آورده شده است.
منابع مشابه
حساب مرتبه اول پئانو و زیرنظریه های آن همراه با چند مساله مرتبط در نظریه پیچیدگی
در این مقاله، مروری بر نظریه های مرتبه اول حساب خواهیم داشت. همچنین اشاره خواهیم کرد که زیرنظریه های ضعیف حساب، ارتباط های اساسی با نظریه پیچیدگی دارند. در انتها، اشاره ای به نظریه های مرتبه اول شهودی حساب خواهیم کرد.
متن کاملاثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
متن کاملاثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
متن کاملمدل های نااستاندارد تعریف پذیر در حساب پئانو
در این پایان نامه به خواص مدل های تعریف پذیر حساب پئانو در مدل های دیگر پئانو پرداخته می شود.
15 صفحه اولتلاقی مرتبه ی اول و تلاقی مرتبه ی دوم از مفهوم "ورزیدن" در فلسفه ی ویتگنشتاین
در این مقاله اولاً نشان داده شده که تلقی متعارف از مفهوم "ورزیدن" در فلسفه ویتگنشتاین عبارت است از تلقی درمانگرایانه. مطابق با این تلقی، معیار هنجاری صحت و سقم کاربست واژگان را نمی‌توان در قالب کلمات قرار داد. این تلقی را می‌توان سویه سلبی ایده هنجارمندی قلمداد کرد. ثانیاً استدلال خواهد شد که تلقی درمانگرایانه کفایت نمی‌کند. برای بدست دادن تلقی موجه از ایده هنجارمندی، سویه ایجابی مفهوم "ورزیدن" ...
متن کاملمطالعه آزمایشگاهی و عددی خرابی در سنگ گرانیتی با استفاده از تانسور ترک مرتبه دوم
یکی از رویکردهای مورد استفاده در بررسی اثرات ترک بر رفتار محیط ناپیوسته سنگی، مطالعه بر روی محیط پیوسته معادل محیط ترک خورده می باشد. از جمله این روش ها، روش مبتنی بر تانسور ترک است که اثرات هندسی حضور ترک ها شامل اندازه، امتداد، و چگالی عددی آن ها را در بر می گیرد. نوشته حاضر به رویکرد جدید تعیین تانسور ترک از مرتبه دوم با استفاده از آزمایشات تعیین سرعت موج طولی در محیط پرداخته و نیز بر نقش آن...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023