No.818

1992/08/03〜1992/08/06

篠田 寿一

Juichi Shinoda

目　次

1. A Note on Minimal Models(Mathematical Logic and Applications'92)------------------------------------------------------------------1

　　　　Institute of Mathematics, University of Tsukuba　　　池田 宏一郎　(IKEDA, KOICHIRO)

　

2. MARKOV'S PRINCIPLE, CHURCH'S THESIS AND LINDELOF'S THEOREM(Mathematical Logic and Applications'92)--------------------------------4

　　　　北陸先端科学技術大学院大学情報科学研究科　　　石原 哉

　

3. 不完全性定理とWKL$_0$(数理論理学とその応用)--------------------------------------------------------------------------------------11

　　　　東京工業大学理学部,東北大学理学部 / 東北大学教養学部　　　菊池 誠 / 田中 一之　(Kikuchi, Makoto / Tanaka, Kazuyuki)

　

4. On Malign Input Distributions for Algorithms(Mathematical Logic and Applications'92)---------------------------------------------20

　　　　東京工業大学理学部　　　小林 孝次郎　(Kobayashi, Kojiro)

　

5. RESEARCH ON THE THEORY OF FINITE MODELS WITHOUT EQUALITIES(Mathematical Logic and Applications'92)-------------------------------35

　　　　NAGOYA UNIVERSITY OF COMMERCE AND BUSINESS ADMINISTRATION　　　LO, LIBO

　

6. $\omega_1$-Souslin trees under countable support iterations(Mathematical Logic and Applications'92)------------------------------42

　　　　南山大学経営学部　　　宮元 忠敏　(MIYAMOTO, Tadatoshi)

　

7. ブール代数のfirst-order property と分割について(数理論理学とその応用)------------------------------------------------------------60

　　　　Department of Mathematics, Tokyo Women's Christian University　　　永山 操　(Nagayama, Misao)

　

8. 経路積分と超準解析(数理論理学とその応用)-----------------------------------------------------------------------------------------70

　　　　駿台予備学校　　　中村 徹　(Nakamura, Toru)

　

9. 単純代入特性と公理X$_n$(数理論理学とその応用)------------------------------------------------------------------------------------85

　　　　東京理科大学理工学部　　　佐々木 克己　(SASAKI, Katsumi)

　

10. A NOTE ON A POLYNOMIAL TIME REDUCIBILITY(Mathematical Logic and Applications'92)------------------------------------------------99

　　　　名古屋大学人間情報学研究科　　　篠田 寿一　(SHINODA, JUICHI)

　

11. Infinitary Jonsson functions and elementary embeddings(Mathematical Logic and Applications'92)---------------------------------111

　　　　Institute of Mathematics, University of Tsukuba　　　塩谷 真弘　(SHIOYA, MASAHIRO)

　

12. On Splitting Numbers(Mathematical Logic and Applications'92)-------------------------------------------------------------------118

　　　　大阪府立大学総合科学部　　　鈴木 登志雄　(SUZUKI, TOSHIO)

　

13. $\lambda$ + 項の値の上限について(数理論理学とその応用)-------------------------------------------------------------------------121

　　　　東北大学工学研究科　　　竹内 泉　(Takeuti, Izumi)

　

14. Verbal Topology of a Group(Mathematical Logic and Applications'92)-------------------------------------------------------------131

　　　　九州歯科大学　　　田中 克己　(Tanaka, Katsumi)

　

15. Large indiscernible sets of a structure(Mathematical Logic and Applications'92)------------------------------------------------134

　　　　筑波大学数学系　　　坪井 明人　(Tsuboi, Akito)

　

16. PTIME degrees の decidability problems について(数理論理学とその応用)----------------------------------------------------------141

　　　　神戸大学自然科学研究科　　　津田 照子　(Tsuda, Teruko)