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
- Samuel R. Buss:
Propositional Consistency Proofs.
3-29
- Hajime Ishihara:
Constructive Compact Operators on a Hilbert Space.
31-37
- Carl G. Jockusch Jr., Robert I. Soare:
Degrees of Orderings Not Isomorphic to Recursive Linear Orderings.
39-64
- Akihiro Kanamori:
Regressive Partition Relations, n-Subtle Cardinals, and Borel Diagonalization.
65-77
- Alexander S. Kechris:
Boundedness Theorems for Dilators and Ptykes.
79-92
- Alexander S. Kechris, W. Hugh Woodin:
A Strong Boundedness Theorem for Dilators.
93-97
- H. Jerome Keisler:
From Discrete to Continuous Time.
99-141
- Jan Krajícek, Pavel Pudlák, Gaisi Takeuti:
Bounded Arithmetic and the Polynomial Hierarchy.
143-153
- Theodore A. Slaman:
The Density of Infima in the Recursively Enumerable Degrees.
155-179
- Kazuyuki Tanaka:
Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma02 Games).
181-193
- Masahiro Yasumoto:
Nonstandard Arithmetic of Hilbert Subsets.
195-202
Volume 52,
Number 3,
24 June 1991
- Tapani Hyttinen, Heikki Tuuri:
Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories.
203-248
- Paolo Mancosu:
Generalizing Classical and Effective Model Theory in Theories of Operations and Classes.
249-308
Copyright © Fri Dec 4 20:27:09 2009
by Michael Ley (ley@uni-trier.de)
