Volume 97,
Numbers 1-3,
21 March 1999
- Saharon Shelah, Andrés Villaveces:
Toward Categoricity for Classes with no Maximal Models.
1-25
- Fairouz Kamareddine, Roel Bloo, Rob Nederpelt:
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations.
27-45
- Saharon Shelah, J. K. Truss:
On Distinguishing Quotients of Symmetric Groups.
47-83
- Oleg V. Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin:
Extended Order-Generic Queries.
85-125
- Matthias Baaz, Alexander Leitsch:
Cut Normal Forms and Proof Complexity.
127-177
- Norman Danner:
Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus.
179-201
- Michael Benedikt:
Hierarchies of Measure-Theoretic Ultrafilters.
203-219
- Gerhard Jäger, Thomas Strahm:
Bar Induction and omega Model Reflection.
221-230
- Georg Gottlob, Nicola Leone, Helmut Veith:
Succinctness as a Source of Complexity in Logical Formalisms.
231-260
Copyright © Fri Dec 4 20:27:10 2009
by Michael Ley (ley@uni-trier.de)
