No.540
数学基礎論及びその応用
Foundational Study and Its Applications
 
1984/07/16〜1984/07/19
角田 譲
KAKUDA,YUZURU
 
目 次
 
1. A naive example of a proper $\Pi^0_4$ set of reals(Foundational Study and Its Applications)---------------------------------------1
    埼玉大学理学部 / 法政大学工学部   花沢 正純 / 田中 尚夫 (Hanazawa, Masazumi / Tanaka, Hisao)
 
2. Structure theory for ${^\Pi_\sim}{^1_n}$ sets in the plain with countable sections(Foundational Study and Its Applications)-------8
    Institute of Educational Engineering, Tokai University   安田 豊 (YASUDA, Yutaka)
 
3. 直感主義論理の新しい模型(数学基礎論及びその応用)---------------------------------------------------------------------------------60
    静岡大学理学部   古森 雄一 (Komori, Yuichi)
 
4. A decision method for a set of first order classical formulas and its application to decision problems for non-classical propositional logics(Foundational Study and Its Applications)---80
    筑波大学数学系   本橋 信義 (MOTOHASHI, Nobuyoshi)
 
5. ON THEORIES HAVING A FINITE NUMBER OF NON-ISOMORPHIC COUNTABLE MODELS(Foundational Study and Its Applications)-------------------85
    University of Tsukuba   坪井 明人 (TSUBOI, Akito)
 
6. Paris Harrington原理とその周辺(数学基礎論及びその応用)---------------------------------------------------------------------------91
    九州大学工学部   倉田 令二朗 (Kurata, Reijiro)
 
7. A proof-theoretic approach to Paris-Harrington's results(Foundational Study and Its Applications)-------------------------------108
    Department of Applied Mathematics, Faculty of Engineering, Hiroshima University / Faculty of Integrated Arts and Sciences, Hiroshima University   角田 法也 / 小野 久晰 (Kadota, Noriya / Ono, Hiroakira)
 
8. Completeness of A[B](Foundational Study and Its Applications)-------------------------------------------------------------------118
    早稲田大学理工学部   高橋 真 (Takahashi, Makoto)
 
9. P($\omega$)/finite上のlimits(数学基礎論及びその応用)----------------------------------------------------------------------------137
    大阪府立大学総合科学部   加茂 静夫 (Kamo, Shizuo)
 
10. Boole値解析学と作用素環論(数学基礎論及びその応用)------------------------------------------------------------------------------145
    東京工業大学理学部   小澤 正直 (Ozawa, Masanao)
 
11. Strongly compactsについての二つの定理(数学基礎論及びその応用)------------------------------------------------------------------165
    福島高等専門学校   阿部 吉弘 (Abe, Yoshihiro)
 
12. 無限生成アーベル群の基本定理と局所無限生成代数的位相幾何への試み(数学基礎論及びその応用)---------------------------------------178
    筑波大学   江田 勝哉 (Eda, Katsuya)
 
13. Finite images and elementary equivalence of algebraic structures(Foundational Study and Its Applications)----------------------189
    Departement de Mathematiques, Universite Paris VII   OGER, F.