Volume 54,
Number 1,
March 1989
Volume 54,
Number 2,
June 1989
- Yuri Gurevich, Saharon Shelah:
On the Strength of the Interpretation Method.
305-323 BibTeX
- S. Barry Cooper:
A Jump Class of Noncappable Degrees.
324-353 BibTeX
- Anthony Robinson:
Equational Logic of Partial Functions Under Kleene Equality: A Complete and an Incomplete Set of Rules.
354-362 BibTeX
- David M. Clark:
The Structure of Algebraically and Existentially Closed Stone and Double Stone Algebras.
363-375 BibTeX
- Steffen Lempp, Theodore A. Slaman:
A Limit on Relative Genericity in the Recursively Enumerable Sets.
376-395 BibTeX
- James H. Schmerl:
Partially Ordered Sets and the Independence Property.
396-401 BibTeX
- Jörg H. Siekmann, Peter Szabó:
The Undecidability of the DA-Unification Problem.
402-414 BibTeX
- Ron Sigal:
Undecidable Complexity Statements in E alpha S-Arithmetic.
415-427 BibTeX
- Ivan N. Soskov:
Definability Via Enumerations.
428-440 BibTeX
- Alan H. Mekler, Saharon Shelah:
Uniformization Principles.
441-459 BibTeX
- Warren D. Goldfarb:
Random Models and the Maslov Class.
460-466 BibTeX
- Qi Feng:
An Ideal Characterization of Mahlo Cardinals.
467-473 BibTeX
- M. Victoria Marshall R.:
Higher Order Reflection Principles.
474-489 BibTeX
- Robert S. Lubarsky:
Sacks Forcing Sometimes Needs Help to Produce a Minimal Upper Bound.
490-498 BibTeX
- Françoise Delon, François Lucas:
Inclusions et Produits de Groupes Abeliens Ordonnes Etudies au Premier Ordre.
499-511 BibTeX
- Zoe Chatzidakis:
An Expansion of ~ Fp.
512-521 BibTeX
- James S. Royer:
Two Recursion Theoretic Characterizations of Proof Speed-Ups.
522-526 BibTeX
- S. Barry Cooper:
The Strong Anticupping Property for Recursively Enumerable Degrees.
527-539 BibTeX
- Akihiro Kanamori:
Regressive Partitions and Borel Diagonalization.
540-552 BibTeX
- Rodney G. Downey:
Recursively Enumerable m- and tt-Degrees. I: The Quantity of m- Degrees.
553-567 BibTeX
- C. A. Johnson:
On Ideals and Stationary Reflection.
568-575 BibTeX
- Petr Hájek, Antonín Kucera:
On Recursion Theory in I Sigma1.
576-589 BibTeX
- Martin W. Bunder, J. Roger Hindley, Jonathan P. Seldin:
On Adding (xi) to Weak Equality in Combinatory Logic.
590-607 BibTeX
- Stanley S. Wainer:
Slow Growing Versus Fast Growing.
608-614 BibTeX
- Heinz-Dieter Ebbinghaus, J. Fernandez-Prida, M. Garrido, Daniel Lascar, Mario Rodríguez-Artalejo:
European Summer Meeting of the Association for Symbolic Logic.
647-672 BibTeX
- Yang Dongping:
The Third Asian Conference in Mathematical Logic.
673-685 BibTeX
- Hajnal Andréka, M. Ferenczi, István Németi, György Serény:
Algebraic Logic Conference.
686 BibTeX
Volume 54,
Number 3,
September 1989
- Fred Appenzeller:
An Independence Result in Quadratic Form Theory: Infinitary Combinatorics Applied to epsilon-Hermitian Spaces.
689-699 BibTeX
- Moti Gitik:
On Generic Elementary Embeddings.
700-707 BibTeX
- D. H. Fremlin, Peter Nyikos:
Saturating Ultrafilters on N.
708-718 BibTeX
- Tomek Bartoszynski, Jaime I. Ihoda, Saharon Shelah:
The Cofinality of Cardinal Invariants Related to Measure and Category.
719-726 BibTeX
- Galen Weitkamp:
The Sigma12 Theory of Axioms of Symmetry.
727-734 BibTeX
- Klaus Ambos-Spies, Manuel Lerman:
Lattice Embeddings into the Recursively Enumerable Degrees II.
735-760 BibTeX
- James C. Owings:
A Cardinality Version of Biegel's Nonspeedup Theorem.
761-767 BibTeX
- Luis Jaime Corredor:
Bad Groups of Finite Morley Rank.
768-773 BibTeX
- Friedrich Wehrung:
Nonabsoluteness of Elementary Embeddings.
774-778 BibTeX
- Clement F. Kent, Bernard R. Hodgson:
Extensions of Arithmetic For Proving Termination of Computations.
779-794 BibTeX
- William Craig:
Near-Equational and Equational Systems of Logic for Partial Functions I.
795-827 BibTeX
- Tomek Bartoszynski, Jaime I. Ihoda:
On the Cofinality of the Smallest Covering of the Real Line by Meager Sets.
828-832 BibTeX
- J. C. E. Dekker, Erik Ellentuck:
Isols and the Pigeonhole Principle.
833-846 BibTeX
- Bruno Poizat:
Generix Strikes Again.
847-857 BibTeX
- Anand Pillay:
A Note on Subgroups of the Automorphism Group of a Saturated Model, and Regular Types.
858-864 BibTeX
- Alain Louveau:
Two Results on Borel Orders.
865-874 BibTeX
- John T. Baldwin:
Diverse Classes.
875-893 BibTeX
- Harvey Friedman, Lee J. Stanley:
A Borel Reducibility Theory for Classes of Countable Structures.
894-914 BibTeX
- Alexander S. Kechris, David Marker, Ramez L. Sami:
pi11 Borel Sets.
915-920 BibTeX
- David Marker:
Non Sigman Axiomatizable Almost Strongly Minimal Theories.
921-927 BibTeX
- Lou van den Dries, David Marker, Gary Martin:
Definable Equivalence Relations on Algebraically Closed Fields.
928-935 BibTeX
- Roman Kossak, Mark E. Nadel, James H. Schmerl:
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic.
936-940 BibTeX
- J. Denef, Leonard Lipshitz:
Decision Problems for Differential Equations.
941-950 BibTeX
- Roger D. Maddux:
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.
951-974 BibTeX
- Douglas A. Cenzer, Rick L. Smith:
On the Ranked Points of A pi01 Set.
975-991 BibTeX
- Giovanni Sambin, V. Vaccaro:
A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness.
992-999 BibTeX
- Peter Fletcher:
Nonstandard Set Theory.
1000-1008 BibTeX
- Martin Kummer:
A Note on Direct Sums of Friedbergnumberings.
1009-1010 BibTeX
- Lee A. Rubel:
Digital Simulation of Analog Computation and Church's Thesis.
1011-1017 BibTeX
- Peter Perkins:
Finite Axiomatizability for Equational Theories of Computable Groupoids.
1018-1022 BibTeX
- Franco Montagna, Andrea Sorbi:
Creativeness and Completeness in Recursion Categories of Partial Recursive Operators.
1023-1041 BibTeX
- Josep Maria Font, Ventura Verdú:
A First Approach to Abstract Modal Logics.
1042-1062 BibTeX
- Jan Krajícek, Pavel Pudlák:
Propositional Proof Systems, the Consistency of First Order Theories and the Complexity of Computations.
1063-1079 BibTeX
- Ali Nesin:
Groups of Finite Morley Rank with Transitive Group Automorphisms.
1080-1082 BibTeX
- Yuri Gurevich, Saharon Shelah:
Time Polynomial in Input or Output.
1083-1088 BibTeX
Volume 54,
Number 4,
December 1989
- Penelope Maddy:
The Roots of Contemporary Platonism.
1121-1144 BibTeX
- Sy D. Friedman:
Coding Over a Measurable Cardinal.
1145-1159 BibTeX
- Rodney G. Downey:
On Hyper-Torre Isols.
1160-1166 BibTeX
- H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth:
Descriptive Set Theory Over Hyperfinite Sets.
1167-1180 BibTeX
- William Craig:
Near-Equational and Equational Systems of Logic for Partial Functions II.
1181-1215 BibTeX
- Yiannis N. Moschovakis:
The Formal Language of Recursion.
1216-1252 BibTeX
- Denis Richard:
Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers.
1253-1287 BibTeX
- Carl G. Jockusch Jr., Manuel Lerman, Robert I. Soare, Robert Solovay:
Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion.
1288-1323 BibTeX
- Gregory L. McColm:
Some Restrictions on Simple Fixed Points of the Integers.
1324-1345 BibTeX
- Bradd Hart:
A Proof of Morley's Conjecture.
1346-1358 BibTeX
- Rami P. Grossberg, Bradd Hart:
The Classification of Excellent Classes.
1359-1381 BibTeX
- James H. Schmerl:
Large Resplendent Models Generated by Indiscernibles.
1382-1388 BibTeX
- Michiel van Lambalgen:
Algorithmic Information Theory.
1389-1400 BibTeX
- Marco Forti, Roland Hinnion:
The Consistency Problem for Positive Comprehension Principles.
1401-1418 BibTeX
- Gerard R. Renardel de Lavalette:
Interpolation in Fragments of Intuitionistic Propositional Logic.
1419-1430 BibTeX
- Saharon Shelah:
The Number of Pairwise Non-Elementary-Embeddable Models.
1431-1455 BibTeX
- Harvey Friedman, Michael Sheard:
The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic.
1456-1459 BibTeX
- Fabio Bellissima, Massimo Mirolli:
A General Treatment of Equivalent Modalities.
1460-1471 BibTeX
- George Epstein:
Fifth Southeastern Logic Symposium.
1498 BibTeX
Copyright © Sun May 17 00:11:59 2009
by Michael Ley (ley@uni-trier.de)
