Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 13.

前
1
2
次

検索結果:

書誌情報	ファイル
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
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
直感主義論理の新しい模型(数学基礎論及びその応用) 古森, 雄一 (1984-10) 数理解析研究所講究録, 540: 60-79
Paris Harrington原理とその周辺(数学基礎論及びその応用) 倉田, 令二朗 (1984-10) 数理解析研究所講究録, 540: 91-107
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
ON THEORIES HAVING A FINITE NUMBER OF NON-ISOMORPHIC COUNTABLE MODELS(Foundational Study and Its Applications) TSUBOI, Akito (1984-10) 数理解析研究所講究録, 540: 85-90
無限生成アーベル群の基本定理と局所無限生成代数的位相幾何への試み(数学基礎論及びその応用) 江田, 勝哉 (1984-10) 数理解析研究所講究録, 540: 178-188
A proof-theoretic approach to Paris-Harrington's results(Foundational Study and Its Applications) Kadota, Noriya; Ono, Hiroakira (1984-10) 数理解析研究所講究録, 540: 108-117
Strongly compactsについての二つの定理(数学基礎論及びその応用) 阿部, 吉弘 (1984-10) 数理解析研究所講究録, 540: 165-177
P($\omega$)/finite上のlimits(数学基礎論及びその応用) 加茂, 静夫 (1984-10) 数理解析研究所講究録, 540: 137-144