Collection home page

Analysis of Boolean-Valued Functions and Nonstandard Analysis   12
(http://hdl.handle.net/2433/101059)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 12 of 12
BibliographyContents
表紙・目次
   (1978-10)
  数理解析研究所講究録, 336
file type icon
多値論理におけるValid Sequentについて (ブール代数値の解析学と超準解析)
  高野, 道夫 (1978-10)
  数理解析研究所講究録, 336: 1-23
file type icon
Cherlin Chainの集合論への応用 (ブール代数値の解析学と超準解析)
  安本, 雅洋 (1978-10)
  数理解析研究所講究録, 336: 24-37
file type icon
$B^{(B')}$-Valued Extensions for B-Valued Structures (ブ-ル代数値の解析学と超準解析)
  田嶋, 信一 (1978-10)
  数理解析研究所講究録, 336: 38-40
file type icon
IdealのSaturationの問題について (ブール代数値の解析学と超準解析)
  角田, 譲 (1978-10)
  数理解析研究所講究録, 336: 41-52
file type icon
圈論の集合論的基礎づけに関するノートとくに"$Z_O$ in ZF"について (ブール代数値の解析学と超準解析)
  倉田, 令二朗 (1978-10)
  数理解析研究所講究録, 336: 53-64
file type icon
最近のRecursion Theoryについて (ブール代数値の解析学と超準解析)
  田中, 尚夫 (1978-10)
  数理解析研究所講究録, 336: 65-86
file type icon
Sheaves of B-Valued Structures (ブ-ル代数値の解析学と超準解析)
  高橋, 真 (1978-10)
  数理解析研究所講究録, 336: 87-100
file type icon
Type 2 ObjectでのRecursion (ブール代数値の解析学と超準解析)
  篠田, 寿一 (1978-10)
  数理解析研究所講究録, 336: 101-116
file type icon
超準解析を内蔵するニ,三の集合論の紹介 (ブール代数値の解析学と超準解析)
  斎藤, 正彦 (1978-10)
  数理解析研究所講究録, 336: 117-125
file type icon
完備ブール代数値の解析学 (ブール代数値の解析学と超準解析)
  難波, 完爾 (1978-10)
  数理解析研究所講究録, 336: 126-134
file type icon
証明論の教科書の中で超準解析を書くとすると (ブール代数値の解析学と超準解析)
  本橋, 信義 (1978-10)
  数理解析研究所講究録, 336: 135-149
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 12 of 12