Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 14 (Search time: 0.037 seconds).
Item hits:
BibliographyContents
Kripkeモデルの基底としての$\mathbb{R}$ と $\mathbb{Q}$(数学基礎論)
  高野, 道夫 (1986-04)
  数理解析研究所講究録, 588: 162-174
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 
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 
V$^{(\mathrm{B})}$ の Banach 空間論とその応用(数学基礎論)
  小澤, 正直 (1986-04)
  数理解析研究所講究録, 588: 136-148
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 
アーベル群の$\mathbb{Z}$-双対について(数学基礎論)
  江田, 勝哉 (1986-04)
  数理解析研究所講究録, 588: 9-19
file type icon 
Reflexion Principle on Second order Arithmetic(Logic and the Foundations of Mathematics)
  倉田, 令二朗 (1986-04)
  数理解析研究所講究録, 588: 25-28
file type icon 
双対空間と算法(数学基礎論)
  難波, 完爾 (1986-04)
  数理解析研究所講究録, 588: 108-127
file type icon