No.180

1973/02/12〜1973/02/14

松本　和夫

MATSUMOTO,KAZUO

目　次

1. GeneralizedスライスとFinite Model Property (数理論理とモデル理論)-----------------------------------------------------------------1

　　　　東京大学理学部　　　古森 雄一　(KOMORI,YUICHI)

　

2. 2個の生成元を持つFree IN-Algebra及びFree ICN-Algebraの決定 (数理論理とモデル理論)------------------------------------------------10

　　　　東京大学理学部　　　佐藤 雅彦　(SATO,MASAHIKO)

　

3. Combinatory Logicについて (数理論理とモデル理論)---------------------------------------------------------------------------------20

　　　　津田塾大学　　　細井 勉　(HOSOI,TSUTOMU)

　

4. Boole代数値実数論 (数理論理とモデル理論)-----------------------------------------------------------------------------------------30

　　　　名古屋大学教養部　　　難波 完爾　(NAMBA,KANJI)

　

5. Arithmetically Definable Analysis (数理論理とモデル理論)-------------------------------------------------------------------------39

　　　　静岡大学理学部　　　八杉 満利子　(YASUGI,MARIKO)

　

6. Algebraic Kripke Model (数理論理とモデル理論)------------------------------------------------------------------------------------52

　　　　京都大学理学部　　　永井 覚　(NAGAI,SATORU)

　

7. N-Tournamentの定義可能性と量記号の消去 (数理論理とモデル理論)--------------------------------------------------------------------60

　　　　学習院大学　　　本橋 信義　(MOTOHASHI,NOBUYOSHI)

　

8. 直観主義述語論理におけるSkolem Functionについて (数理論理とモデル理論)-----------------------------------------------------------65

　　　　城西大学理学部　　　白井 古希男　(SHIRAI,KOKIO)

　

9. Consistency Proof for Arithmetic in All Finite Types (数理論理とモデル理論)------------------------------------------------------75

　　　　東京電機大学　　　花谷 圭人　(HANATANI,YOSHITO)