No.336
ブール代数値の解析学と超準解析
Analysis of Boolean-Valued Functions and Nonstandard Analysis
 
1978/07/03〜1978/07/06
難波 完爾
NANBA,KANJI
 
目 次
 
1. 多値論理におけるValid Sequentについて (ブール代数値の解析学と超準解析)------------------------------------------------------------1
       高野 道夫 (TAKANO,MITIO)
 
2. Cherlin Chainの集合論への応用 (ブール代数値の解析学と超準解析)-------------------------------------------------------------------24
    名古屋大学理学部   安本 雅洋 (YASUMOTO,MASAHIRO)
 
3. $B^{(B')}$-Valued Extensions for B-Valued Structures (ブ-ル代数値の解析学と超準解析)---------------------------------------------38
    早稲田大学理工学部   田嶋 信一 (TAJIMA,SHINICHI)
 
4. IdealのSaturationの問題について (ブール代数値の解析学と超準解析)-----------------------------------------------------------------41
    神戸大学教養部   角田 譲 (KAKUDA,YUZURU)
 
5. 圈論の集合論的基礎づけに関するノートとくに"$Z_O$ in ZF"について (ブール代数値の解析学と超準解析)---------------------------------53
    九州大学工学部   倉田 令二朗 (KURATA,REIJIRO)
 
6. 最近のRecursion Theoryについて (ブール代数値の解析学と超準解析)------------------------------------------------------------------65
    法政大学工学部   田中 尚夫 (TANAKA,HISAO)
 
7. Sheaves of B-Valued Structures (ブ-ル代数値の解析学と超準解析)-------------------------------------------------------------------87
    早稲田大学理工学部   高橋 真 (TAKAHASHI,MAKOTO)
 
8. Type 2 ObjectでのRecursion (ブール代数値の解析学と超準解析)---------------------------------------------------------------------101
    名古屋大学理学部   篠田 寿一 (SHINODA,JUICHI)
 
9. 超準解析を内蔵するニ,三の集合論の紹介 (ブール代数値の解析学と超準解析)----------------------------------------------------------117
    東京大学教養学部   斎藤 正彦 (SAITO,MASAHIKO)
 
10. 完備ブール代数値の解析学 (ブール代数値の解析学と超準解析)----------------------------------------------------------------------126
    名古屋大学教養部   難波 完爾 (NAMBA,KANJI)
 
11. 証明論の教科書の中で超準解析を書くとすると (ブール代数値の解析学と超準解析)----------------------------------------------------135
    筑波大学数学系   本橋 信義 (MOTOHASHI,NOBUYOSHI)