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