書誌情報	ファイル
表紙・目次    (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