書誌情報 | ファイル |
表紙・目次 (1984-10) 数理解析研究所講究録, 540
| |
A naive example of a proper $\Pi^0_4$ set of reals(Foundational Study and Its Applications) Hanazawa, Masazumi; Tanaka, Hisao (1984-10) 数理解析研究所講究録, 540: 1-7
| |
Structure theory for ${^\Pi_\sim}{^1_n}$ sets in the plain with countable sections(Foundational Study and Its Applications) YASUDA, Yutaka (1984-10) 数理解析研究所講究録, 540: 8-59
| |
直感主義論理の新しい模型(数学基礎論及びその応用) 古森, 雄一 (1984-10) 数理解析研究所講究録, 540: 60-79
| |
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) MOTOHASHI, Nobuyoshi (1984-10) 数理解析研究所講究録, 540: 80-84
| |
ON THEORIES HAVING A FINITE NUMBER OF NON-ISOMORPHIC COUNTABLE MODELS(Foundational Study and Its Applications) TSUBOI, Akito (1984-10) 数理解析研究所講究録, 540: 85-90
| |
Paris Harrington原理とその周辺(数学基礎論及びその応用) 倉田, 令二朗 (1984-10) 数理解析研究所講究録, 540: 91-107
| |
A proof-theoretic approach to Paris-Harrington's results(Foundational Study and Its Applications) Kadota, Noriya; Ono, Hiroakira (1984-10) 数理解析研究所講究録, 540: 108-117
| |
Completeness of A[B](Foundational Study and Its Applications) Takahashi, Makoto (1984-10) 数理解析研究所講究録, 540: 118-136
| |
P($\omega$)/finite上のlimits(数学基礎論及びその応用) 加茂, 静夫 (1984-10) 数理解析研究所講究録, 540: 137-144
| |
Boole値解析学と作用素環論(数学基礎論及びその応用) Ozawa, Masanao (1984-10) 数理解析研究所講究録, 540: 145-164
| |
Strongly compactsについての二つの定理(数学基礎論及びその応用) 阿部, 吉弘 (1984-10) 数理解析研究所講究録, 540: 165-177
| |
無限生成アーベル群の基本定理と局所無限生成代数的位相幾何への試み(数学基礎論及びその応用) 江田, 勝哉 (1984-10) 数理解析研究所講究録, 540: 178-188
| |
Finite images and elementary equivalence of algebraic structures(Foundational Study and Its Applications) OGER, F. (1984-10) 数理解析研究所講究録, 540: 189-204
| |