Volume 54, Number 1, March 1989
Ingrid Lindstrom:
A Construction of Non-Well-Founded Sets within Martin-Lof's Type Theory.
57-64
Lew Gordeev:
Generalizations of the One-Dimensional Version of the Kruskal-Friedman Theorems.
100-121
Rami P. Grossberg:
Models with Second Order Properties in Successors of Singulars.
122-137
Alan S. Stern:
Sequential Theories and Infinite Distributivity in the Lattice of Chapters.
190-206
Thomas Jech:
Positive sum Operations on Ordinals and Normal Filters on Greatly Mahlo Cardinals.
226-233
H. Luckhardt:
Herbrand-Analysen Zweier Beweise Des Satzes von Roth: Polynomiale Anzahlschranken.
234-263
Terrence Millar:
Finite Extensions and the Number of Countable Models.
264-270
Marc Bezem:
Compact and Majorizable Functionals of Finite Type.
271-280
Volume 54, Number 2, June 1989
Anthony Robinson:
Equational Logic of Partial Functions Under Kleene Equality: A Complete and an Incomplete Set of Rules.
354-362
David M. Clark:
The Structure of Algebraically and Existentially Closed Stone and Double Stone Algebras.
363-375
Ron Sigal:
Undecidable Complexity Statements in E alpha S-Arithmetic.
415-427
Qi Feng:
An Ideal Characterization of Mahlo Cardinals.
467-473
Robert S. Lubarsky:
Sacks Forcing Sometimes Needs Help to Produce a Minimal Upper Bound.
490-498
James S. Royer:
Two Recursion Theoretic Characterizations of Proof Speed-Ups.
522-526
S. Barry Cooper:
The Strong Anticupping Property for Recursively Enumerable Degrees.
527-539
Rodney G. Downey:
Recursively Enumerable m- and tt-Degrees. I: The Quantity of m- Degrees.
553-567
Yang Dongping:
The Third Asian Conference in Mathematical Logic.
673-685
Volume 54, Number 3, September 1989
Fred Appenzeller:
An Independence Result in Quadratic Form Theory: Infinitary Combinatorics Applied to epsilon-Hermitian Spaces.
689-699
Moti Gitik:
On Generic Elementary Embeddings.
700-707
James C. Owings:
A Cardinality Version of Biegel's Nonspeedup Theorem.
761-767
William Craig:
Near-Equational and Equational Systems of Logic for Partial Functions I.
795-827
Anand Pillay:
A Note on Subgroups of the Automorphism Group of a Saturated Model, and Regular Types.
858-864
David Marker:
Non Sigman Axiomatizable Almost Strongly Minimal Theories.
921-927
Roger D. Maddux:
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.
951-974
Martin Kummer:
A Note on Direct Sums of Friedbergnumberings.
1009-1010
Lee A. Rubel:
Digital Simulation of Analog Computation and Church's Thesis.
1011-1017
Peter Perkins:
Finite Axiomatizability for Equational Theories of Computable Groupoids.
1018-1022
Jan Krajícek,
Pavel Pudlák:
Propositional Proof Systems, the Consistency of First Order Theories and the Complexity of Computations.
1063-1079
Ali Nesin:
Groups of Finite Morley Rank with Transitive Group Automorphisms.
1080-1082
Volume 54, Number 4, December 1989
William Craig:
Near-Equational and Equational Systems of Logic for Partial Functions II.
1181-1215
Denis Richard:
Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers.
1253-1287
Gregory L. McColm:
Some Restrictions on Simple Fixed Points of the Integers.
1324-1345
Bradd Hart:
A Proof of Morley's Conjecture.
1346-1358
James H. Schmerl:
Large Resplendent Models Generated by Indiscernibles.
1382-1388
Saharon Shelah:
The Number of Pairwise Non-Elementary-Embeddable Models.
1431-1455
data released under the ODC-BY 1.0 license
