Collection home page

Logic and the Foundations of Mathematics   14
(http://hdl.handle.net/2433/98136)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14
BibliographyContents
表紙・目次
   (1986-04)
  数理解析研究所講究録, 588
file type icon
Ultrafilters over P$\kappa \lambda$(Logic and the Foundations of Mathematics)
  阿部, 吉弘 (1986-04)
  数理解析研究所講究録, 588: 1-8
file type icon
アーベル群の$\mathbb{Z}$-双対について(数学基礎論)
  江田, 勝哉 (1986-04)
  数理解析研究所講究録, 588: 9-19
file type icon
The statement AN is equivalent to the statement n$(\beta \omega \backslash \omega)$ > c(Logic and the Foundations of Mathematics)
  Kamo, Shizuo (1986-04)
  数理解析研究所講究録, 588: 20-24
file type icon
Reflexion Principle on Second order Arithmetic(Logic and the Foundations of Mathematics)
  倉田, 令二朗 (1986-04)
  数理解析研究所講究録, 588: 25-28
file type icon
ON THE MEANINGS OF THE LOGICAL CONSTANTS AND THE JUSTIFICATIONS OF THE LOGICAL LAWS(Logic and the Foundations of Mathematics)
  Martin-Lof, Per (1986-04)
  数理解析研究所講究録, 588: 29-107
file type icon
双対空間と算法(数学基礎論)
  難波, 完爾 (1986-04)
  数理解析研究所講究録, 588: 108-127
file type icon
Some results on reflection principles in fragments of Peano arithmetic(Logic and the Foundations of Mathematics)
  Ono, Hiroakira (1986-04)
  数理解析研究所講究録, 588: 128-135
file type icon
V$^{(\mathrm{B})}$ の Banach 空間論とその応用(数学基礎論)
  小澤, 正直 (1986-04)
  数理解析研究所講究録, 588: 136-148
file type icon
THREE THEOREMS ON THE COMPUTABILITY OF LINEAR OPERATORS THEIR EIGENVALUES AND EIGENVECTORS(Logic and the Foundations of Mathematics)
  Pour-El, Marian Boykan, Richards, Ian (1986-04)
  数理解析研究所講究録, 588: 149-161
file type icon
Kripkeモデルの基底としての$\mathbb{R}$ と $\mathbb{Q}$(数学基礎論)
  高野, 道夫 (1986-04)
  数理解析研究所講究録, 588: 162-174
file type icon
Hyper-principle and the functional structure of ordinal diagrams(Logic and the Foundations of Mathematics)
  Yasugi, Mariko (1986-04)
  数理解析研究所講究録, 588: 175-189
file type icon
On the Uniformization of Analytic Sets with countable sections : Abstract(Logic and the Foundations of Mathematics)
  YASUDA, Yutaka (1986-04)
  数理解析研究所講究録, 588: 190-192
file type icon
Hilbert irreducibility sequences and nonstandard arithmetic(Logic and the Foundations of Mathematics)
  Yasumoto, Masahiro (1986-04)
  数理解析研究所講究録, 588: 193-195
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14