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