Collection home page

Foundational Study and Its Applications   14
(http://hdl.handle.net/2433/98085)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14
BibliographyContents
表紙・目次
   (1984-10)
  数理解析研究所講究録, 540
file type icon
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
file type icon
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
file type icon
直感主義論理の新しい模型(数学基礎論及びその応用)
  古森, 雄一 (1984-10)
  数理解析研究所講究録, 540: 60-79
file type icon
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
file type icon
ON THEORIES HAVING A FINITE NUMBER OF NON-ISOMORPHIC COUNTABLE MODELS(Foundational Study and Its Applications)
  TSUBOI, Akito (1984-10)
  数理解析研究所講究録, 540: 85-90
file type icon
Paris Harrington原理とその周辺(数学基礎論及びその応用)
  倉田, 令二朗 (1984-10)
  数理解析研究所講究録, 540: 91-107
file type icon
A proof-theoretic approach to Paris-Harrington's results(Foundational Study and Its Applications)
  Kadota, Noriya, Ono, Hiroakira (1984-10)
  数理解析研究所講究録, 540: 108-117
file type icon
Completeness of A[B](Foundational Study and Its Applications)
  Takahashi, Makoto (1984-10)
  数理解析研究所講究録, 540: 118-136
file type icon
P($\omega$)/finite上のlimits(数学基礎論及びその応用)
  加茂, 静夫 (1984-10)
  数理解析研究所講究録, 540: 137-144
file type icon
Boole値解析学と作用素環論(数学基礎論及びその応用)
  Ozawa, Masanao (1984-10)
  数理解析研究所講究録, 540: 145-164
file type icon
Strongly compactsについての二つの定理(数学基礎論及びその応用)
  阿部, 吉弘 (1984-10)
  数理解析研究所講究録, 540: 165-177
file type icon
無限生成アーベル群の基本定理と局所無限生成代数的位相幾何への試み(数学基礎論及びその応用)
  江田, 勝哉 (1984-10)
  数理解析研究所講究録, 540: 178-188
file type icon
Finite images and elementary equivalence of algebraic structures(Foundational Study and Its Applications)
  OGER, F. (1984-10)
  数理解析研究所講究録, 540: 189-204
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14