Volume 50,
Number 1,
March 1985
- Rodney G. Downey, Geoffrey R. Hird:
Automorphisms of Supermaximal Subspaces.
1-9
- Jean Benabou:
Fibered Categories and the Foundations of Naive Category Theory.
10-37
- C. G. McKay:
A Consistent Propositional Logic Without any Finite Models.
38-41
- Johann A. Makowsky:
Vopenka's Principle and Compact Logics.
42-48
- Zofia Adamowicz, Guillermo Morales-Luna:
A Recursive Model for Arithmetic with Weak Induction.
49-54
- Philip D. Welch:
Comparing Incomparable Kleene Degrees.
55-58
- Jean A. Larson:
The Number of One-Generated Cylindric Set Algebras of Dimension Greater than Two.
59-71
- George M. Wilmers:
Bounded Existential Induction.
72-90
- Robert Solovay:
Explicit Henkin Sentences.
91-93
- James E. Baumgartner, Peter Lars Dordal:
Adjoining Dominating Functions.
94-101
- Michael C. Nagle, S. K. Thomason:
The Extensions of the Modal Logic K5.
102-109
- Howard Becker:
Determinacy of Banach Games.
110-122
- Victor Harnik:
Stability Theory and Set Existence Axioms.
123-137
- Wolfgang Maass:
Variations on Promptly Simple Sets.
138-148
- Kosta Dosen:
Sequent-Systems for Modal Logic.
149-168
- Hiroakira Ono, Yuichi Komori:
Logics Without the Contraction Rule.
169-201
- Mike Prest:
The Generalised RK-Order, Orthogonality and Regular Types for Modules.
202-219
- Michael Sheard:
Co-Critical Points of Elementary Embeddings.
220-226
- Walter Oberschelp, Britta Schinzel, Wolfgang Thomas, Michael M. Richter:
European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983.
259-283
- John T. Baldwin, Matt Kaufmann, Julia F. Knight:
Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984.
284-286
Volume 50,
Number 2,
June 1985
- John Mayberry:
Global Quantification in Zermelo-Fraenkel Set Theory.
289-301
- G. Sageev, Saharon Shelah:
On the Structure of Ext(A, Z) in ZFC+.
302-315
- Daniel Lascar:
Quelques Precisions sur la D.O.P. et la Profondeur d'Une Theorie.
316-330
- Jacqueline Vauzeilles:
Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??.
331-338
- Roel C. de Vrijer:
A Direct Proof of the Finite Developments Theorem.
339-343
- Nicolas D. Goodman:
Replacement and Collection in Intuitionistic Set Theory.
344-348
- John P. Hartley:
Effective Discontinuity and a Characterisation of the Superjump.
349-358
- Marc Bezem:
Isomorphisms Between HEO and HROE, ECF and ICFE.
359-371
- Julian L. Hook:
A Note on Interpretations of Many-Sorted Theories.
372-374
- Thomas J. Grilliot:
Disturbing Arithmetic.
375-379
- Andreas Rapp:
The Ordered Field of Real Numbers and Logics with Malitz Quantifiers.
380-389
- Peter Gärdenfors:
Propositional Logic Based on the Dynamics of Belief.
390-394
- Patrick Bellot:
A New Proof for Craig's Theorem.
395-396
- Franco Montagna, Andrea Sorbi:
Universal Recursion Theoretic Properties of R.E. Preordered Structures.
397-406
- Maurice Boffa, Paolo Casalegno:
The Consistency of Some 4-Stratified Subsystem of NF Including NF3.
407-411
- Robert Goldblatt:
On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic.
412-422
- Pavel Pudlák:
Cuts, Consistency Statements and Interpretations.
423-441
- Simon Thompson:
Axiomatic Recursion Theory and the Continuous Functionals.
442-450
- Ian A. Mason:
The Metatheory of the Classical Propositional Calculus is not Axiomatizable.
451-457
- Paul E. Howard:
Subgroups of a Free Group and the Axiom of Choice.
458-467
- Lou van den Dries, Rick L. Smith:
Decidable Regularly Closed Fields of Algebraic Numbers.
468-475
- Ali Enayat:
Weakly Compact Cardinals in Models of Set Theory.
476-486
- John K. Slaney:
3088 Varieties A Solution to the Ackermann Constant Problem.
487-501
- Marco Forti, Furio Honsell:
The Consistency of the Axiom of Universality for the Ordering of Cardinalities.
502-509
- Carlos E. Alchourrón, Peter Gärdenfors, David Makinson:
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.
510-530
- Arthur W. Apter:
An AD-Like Model.
531-543
Volume 50,
Number 3,
September 1985
Volume 50,
Number 4,
December 1985
- Hajnal Andréka, István Németi:
On the Number of Generators of Cylindric Algebras.
865-873
- Yoshihiro Abe:
Some Results Concerning Strongly Compact Cardinals.
874-880
- Moti Gitik:
Nonsplitting Subset of P (+).
881-894
- R. C. Flagg:
Epistemic Set Theory is a Conservative Extension of Intuitionistic Set Theory.
895-902
- John Bacon:
The Completeness of a Predicate-Functor Logic.
903-926
- Denis Richard:
Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive or Negative Integers is Definable From Successor and Divisibility.
927-935
- Stewart Baldwin:
The -Ordering on Normal Ultrafilters.
936-952
- Anne Bauval:
Polynomial Rings and Weak Second-order Logic.
953-972
- Daniel Lascar:
Why Some People are Excited by Vaught's Conjecture.
973-982
- Kevin McEvoy, S. Barry Cooper:
On Minimal Pairs of Enumeration Degrees.
983-1001
- Sy D. Friedman:
A Guide to "Coding the Universe" by Beller, Jensen, Welch.
1002-1019
- Anand Pillay, Charles Steinhorn:
A Note on Nonmultidimensional Superstable Theories.
1020-1024
- Paul C. Eklof, Hans-Christian Mez:
The Ideal Structure of Existentially Closed Algebras.
1025-1043
- Steven Buechler:
The Geometry of Weakly Minimal Types.
1044-1053
- Steven Buechler:
One Theorem of Zil'ber's on Strongly Minimal Sets.
1054-1061
- Sauro Tulipani:
An Algorithm to Determine, For any Prime p, A Polynomial-Sized Horn Sentence which Expresses "The Cardinality is not p".
1062-1064
- Donald A. Martin, Terence Parsons, Alexander S. Kechris:
Annual Meeting of the Association for Symbolic Logic.
1094-1102
Copyright © Mon Nov 2 21:47:02 2009
by Michael Ley (ley@uni-trier.de)
