كليدواژه زبان طبيعي :
بافه , صوري , حلقه ها , كاتگوريكي , }epsilon{ پاياني , صدق پذيري , كوهيرنت , گستره , حقيقي , ميدان , موضعي , حقيقي , توپوس ها , مورفيسم
چكيده :
هدف از اين رساله ، اساسا تعريف جانشيني مناسب براي تيوري ميدان هاي بسته حقيقي و ميدان هاي صوري حقيقي در تيوري توپوس هاست . مقاله 4 كه مرجع اصلي تهيه اين رساله بوده است ، در راستاي پاسخ گويي به اين سوال مطرح مي شود كه چگونه مي توان جانشيني مناسب براي مجموعه اعداد حقيقي R درتيوري توپوس ها داشت . اين سوال نيز به نوبه خود در پي تلاش برا ي يافتن مدل هايي از هندسه ديفرانسيل و مينفلد در تيوري توپوس ها مطرح شده است . تيوري هندسه ديفرانسيل سينتتيك با قرار دادن مبناي منطقي خود بر منطق انتوييسيونيستي مدل هاي خود را در ميان توپوس هاي گروتنديك مي يابد، در اين جانشيني آنچه كه نقش R را ايفاء مي كند حلقه R epsilon است كه R يك شي حلقه اي موضعي در يك توپوي گروتنديك است .اين رساله در راستاي غني تر ساختن ساختار جبري R epsilon عمل مي كند و سعي مي شود خواص جبري مانند بست جبري بودن ، صوري حقيقي بودن و ...در تيوري توپوس ها بگونه اي تعريف شوند كه - epsilon پايا هم باشند يعني اگر R يك شي حلقه اي با آن خواص بود آنگاه R epsilon نيز چنين باشد. خلاصه مندرجات : ...تعبير كاتگوريكي منطق +تيوري هاي جبري بزبان l**g +حلقه هاي موضعي صوري حقيقي و - epsilon پاياني +ضميمه :توپوس هاي گروتنديك ، قضيه بار...
