Collection home page

Mathematical Logic and Applications '92   17
(http://hdl.handle.net/2433/81922)

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