No.588
数学基礎論
Logic and the Foundations of Mathematics
 
1985/11/18〜1985/11/21
篠田 寿一
SHINODA,JUICHI
 
目 次
 
1. Ultrafilters over P$\kappa \lambda$(Logic and the Foundations of Mathematics)-----------------------------------------------------1
    福島高等専門学校   阿部 吉弘 (Abe, Yoshihiro)
 
2. アーベル群の$\mathbb{Z}$-双対について(数学基礎論)---------------------------------------------------------------------------------9
    筑波大学   江田 勝哉
 
3. The statement AN is equivalent to the statement n$(\beta \omega \backslash \omega)$ > c(Logic and the Foundations of Mathematics)---20
    Univ. of Osaka Prefecture   Kamo, Shizuo
 
4. Reflexion Principle on Second order Arithmetic(Logic and the Foundations of Mathematics)-----------------------------------------25
    九州大学工学部   倉田 令二朗
 
5. ON THE MEANINGS OF THE LOGICAL CONSTANTS AND THE JUSTIFICATIONS OF THE LOGICAL LAWS(Logic and the Foundations of Mathematics)----29
    Department of Mathematics, University of Stockholm   Martin-Lof, Per
 
6. 双対空間と算法(数学基礎論)------------------------------------------------------------------------------------------------------108
    東京大学教養学部   難波 完爾 (Namba, Kanji)
 
7. Some results on reflection principles in fragments of Peano arithmetic(Logic and the Foundations of Mathematics)----------------128
    Hiroshima University   小野 寛晰 (Ono, Hiroakira)
 
8. V$^{(\mathrm{B})}$ の Banach 空間論とその応用(数学基礎論)-----------------------------------------------------------------------136
    名古屋大学教養学部   小澤 正直 (Ozawa, Masanaro)
 
9. THREE THEOREMS ON THE COMPUTABILITY OF LINEAR OPERATORS THEIR EIGENVALUES AND EIGENVECTORS(Logic and the Foundations of Mathematics)---149
       Pour-El, Marian Boykan / Richards, Ian
 
10. Kripkeモデルの基底としての$\mathbb{R}$ と $\mathbb{Q}$(数学基礎論)-------------------------------------------------------------162
    新潟大学教育学部   高野 道夫 (Takano, Mitio)
 
11. Hyper-principle and the functional structure of ordinal diagrams(Logic and the Foundations of Mathematics)---------------------175
    Institute of Information Science, University of Tsukuba   Yasugi, Mariko
 
12. On the Uniformization of Analytic Sets with countable sections : Abstract(Logic and the Foundations of Mathematics)------------190
    Tokai University   YASUDA, Yutaka
 
13. Hilbert irreducibility sequences and nonstandard arithmetic(Logic and the Foundations of Mathematics)--------------------------193
       Yasumoto, Masahiro