Volume 52,
Numbers 1-2,
15 April 1991
Papers presented at the International Symposium on Mathematical Logic and its Applications Nagoya,
Japan,
November 7-11,
1988
- Juichi Shinoda, Tosiyuki Tugué:
Preface - Papers presented at the International Symposium on Mathematical Logic and its Applications Nagoya, Japan, November 7-11, 1988.
1 BibTeX
- Samuel R. Buss:
Propositional Consistency Proofs.
3-29 BibTeX
- Hajime Ishihara:
Constructive Compact Operators on a Hilbert Space.
31-37 BibTeX
- Carl G. Jockusch Jr., Robert I. Soare:
Degrees of Orderings Not Isomorphic to Recursive Linear Orderings.
39-64 BibTeX
- Akihiro Kanamori:
Regressive Partition Relations, n-Subtle Cardinals, and Borel Diagonalization.
65-77 BibTeX
- Alexander S. Kechris:
Boundedness Theorems for Dilators and Ptykes.
79-92 BibTeX
- Alexander S. Kechris, W. Hugh Woodin:
A Strong Boundedness Theorem for Dilators.
93-97 BibTeX
- H. Jerome Keisler:
From Discrete to Continuous Time.
99-141 BibTeX
- Jan Krajícek, Pavel Pudlák, Gaisi Takeuti:
Bounded Arithmetic and the Polynomial Hierarchy.
143-153 BibTeX
- Theodore A. Slaman:
The Density of Infima in the Recursively Enumerable Degrees.
155-179 BibTeX
- Kazuyuki Tanaka:
Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma02 Games).
181-193 BibTeX
- Masahiro Yasumoto:
Nonstandard Arithmetic of Hilbert Subsets.
195-202 BibTeX
Volume 52,
Number 3,
24 June 1991
Copyright © Sat May 16 23:50:41 2009
by Michael Ley (ley@uni-trier.de)
