書誌情報 | ファイル |
表紙・目次 (1993-01) 数理解析研究所講究録, 818
| |
A Note on Minimal Models(Mathematical Logic and Applications'92) IKEDA, KOICHIRO (1993-01) 数理解析研究所講究録, 818: 1-3
| |
MARKOV'S PRINCIPLE, CHURCH'S THESIS AND LINDELOF'S THEOREM(Mathematical Logic and Applications'92) 石原, 哉 (1993-01) 数理解析研究所講究録, 818: 4-10
| |
不完全性定理とWKL$_0$(数理論理学とその応用) 菊池, 誠; 田中, 一之 (1993-01) 数理解析研究所講究録, 818: 11-19
| |
On Malign Input Distributions for Algorithms(Mathematical Logic and Applications'92) Kobayashi, Kojiro (1993-01) 数理解析研究所講究録, 818: 20-34
| |
RESEARCH ON THE THEORY OF FINITE MODELS WITHOUT EQUALITIES(Mathematical Logic and Applications'92) LO, LIBO (1993-01) 数理解析研究所講究録, 818: 35-41
| |
$\omega_1$-Souslin trees under countable support iterations(Mathematical Logic and Applications'92) MIYAMOTO, Tadatoshi (1993-01) 数理解析研究所講究録, 818: 42-59
| |
ブール代数のfirst-order property と分割について(数理論理学とその応用) 永山, 操 (1993-01) 数理解析研究所講究録, 818: 60-69
| |
経路積分と超準解析(数理論理学とその応用) 中村, 徹 (1993-01) 数理解析研究所講究録, 818: 70-84
| |
単純代入特性と公理X$_n$(数理論理学とその応用) 佐々木, 克己 (1993-01) 数理解析研究所講究録, 818: 85-98
| |
A NOTE ON A POLYNOMIAL TIME REDUCIBILITY(Mathematical Logic and Applications'92) SHINODA, JUICHI (1993-01) 数理解析研究所講究録, 818: 99-110
| |
Infinitary Jonsson functions and elementary embeddings(Mathematical Logic and Applications'92) SHIOYA, MASAHIRO (1993-01) 数理解析研究所講究録, 818: 111-117
| |
On Splitting Numbers(Mathematical Logic and Applications'92) SUZUKI, TOSHIO (1993-01) 数理解析研究所講究録, 818: 118-120
| |
$\lambda$ + 項の値の上限について(数理論理学とその応用) 竹内, 泉 (1993-01) 数理解析研究所講究録, 818: 121-130
| |
Verbal Topology of a Group(Mathematical Logic and Applications'92) 田中, 克己 (1993-01) 数理解析研究所講究録, 818: 131-133
| |
Large indiscernible sets of a structure(Mathematical Logic and Applications'92) Tsuboi, Akito (1993-01) 数理解析研究所講究録, 818: 134-140
| |
PTIME degrees の decidability problems について(数理論理学とその応用) 津田, 照子 (1993-01) 数理解析研究所講究録, 818: 141-150
| |