Collection home page

0976 証明論における順序数   15
(http://hdl.handle.net/2433/59866)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 15 of 15
BibliographyContents
表紙・目次
   (1997-02)
  数理解析研究所講究録, 976
file type icon
Bounded Arithmetic vs. Propositional Calculus
  Arai, Noriko H. (1997-02)
  数理解析研究所講究録, 976: 1-12
file type icon
NDKにおける自然な証明についての考察(証明論における順序数)
  八杉, 満利子, 中田, 昌宏 (1997-02)
  数理解析研究所講究録, 976: 13-26
file type icon
COUNTING SMALL SETS IN WEAK BOUNDED ARITHMETIC
  KUROTA, SATORU (1997-02)
  数理解析研究所講究録, 976: 27-33
file type icon
On Buss and Turan's extensions of Haken's results
  KIKUCHI, MAKOTO (1997-02)
  数理解析研究所講究録, 976: 34-37
file type icon
Normal forms for derivations in Arai's AI$_\xi^-$
  Ikeda, Kazuma (1997-02)
  数理解析研究所講究録, 976: 38-54
file type icon
Characterization Theorems for Multiplicative Fragment of Intuitionistic Non-Commutative Linear Logic : Preliminary Report
  NAGAYAMA, Misao, OKADA, Mitsuhiro (1997-02)
  数理解析研究所講究録, 976: 55-69
file type icon
A system of $\lambda\mu$ - calculus proper to the implicational fragment of classical natural deduction with one conclusion
  ANDOU, Yuuki (1997-02)
  数理解析研究所講究録, 976: 70-76
file type icon
2階算術の諸体系 : モデル論的手法による分析 その3(証明論における順序数)
  田中, 一之 (1997-02)
  数理解析研究所講究録, 976: 77-85
file type icon
II$_\infty^0$-BCT の保存性について(証明論における順序数)
  山崎, 武 (1997-02)
  数理解析研究所講究録, 976: 86-96
file type icon
From the Attic
  Arai, Toshiyasu (1997-02)
  数理解析研究所講究録, 976: 97-124
file type icon
Consistency Proof via Pointwise Induction
  Arai, Toshiyasu (1997-02)
  数理解析研究所講究録, 976: 125-134
file type icon
Introducing the Hardline in Proof Theory
  Arai, Toshiyasu (1997-02)
  数理解析研究所講究録, 976: 135-145
file type icon
Semantic Characterizations for Reachability and Trace Equivalence in a Linear Logic-Based Process Calculus : Preliminary Report
  Okada, Mitsuhiro, Terui, Kazushige (1997-02)
  数理解析研究所講究録, 976: 146-168
file type icon
A Hierarchy of the Fragments of the System of Inductive Definition : Preliminary Report
  Hamano, Masahiro, Okada, Mitsuhiro (1997-02)
  数理解析研究所講究録, 976: 169-181
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 15 of 15