Volume 51, Number 1, March 1986
Volume 51, Number 2, June 1986
- Klaus Ambos-Spies, Manuel Lerman:
Lattice Embeddings into the Recursively Enumerable Degrees.
257-272

- Peter Clote:
A Generalization of the Limit Lemma and Clopen Games.
273-291

- Eugene W. Madison, B. Zimmermann-Huisgen:
Combinatorial and Recursive Aspects of the Automorphism Group of the Countable Atomless Boolean Algebra.
292-301

- Rami P. Grossberg, Saharon Shelah:
On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property, Part A.
302-322

- Steven Buechler:
Maximal Chains in the Fundamental Order.
323-326

- Akihiro Kanamori:
Finest Partitions for Ultrafilters.
327-332

- Nicolas D. Goodman:
Replacement and Collection: A Correction.
333

- Françoise Delon:
Periodicite Des Theories Elementaires Des Corps De Series Formelles Iterees.
334-351

- Theodore A. Slaman:
On the Kleene Degrees of pi11 Sets.
352-359

- Andrea Cantini:
On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic.
360-373

- Simon Thomas:
Theories with Finitely Many Models.
374-376

- C. Ward Henson, H. Jerome Keisler:
On the Strength of Nonstandard Analysis.
377-386

- Nicolas D. Goodman:
Flagg Realizability in Arithmetic.
387-392

- Paul C. Gilmore:
Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes.
393-411

- Terrence Millar:
Prime Models and Almost Decidability.
412-420

- Victor Harnik:
omega1-Like Recursively Saturated Models of Presburger's Arithmetic.
421-429

- Terrence Millar:
Recursive Categoricity and Persistence.
430-434

- J. C. E. Dekker:
The Inclusion-Exclusion Principle for Finitely Many Isolated Sets.
435-447

- Masazumi Hanazawa, Mitio Takano:
An Interpolation Theorem in Many-Valued Logic.
448-452

- Theodore A. Slaman:
Sigma1 Definitions with Parameters.
453-461

- Peter Aczel, Jeff B. Paris, A. J. Wilkie, George M. Wilmers, C. E. M. Yates:
European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984.
480-502

- Phillip J. Staines:
Meeting of the Association for Symbolic Logic: Sydney, 1984.
503-506

- Andreas Blass, Louise Hay, Peter G. Hinman:
Meeting of the Association for Symbolic Logic: Chicago, 1985.
507-510

Volume 51, Number 3, September 1986
- Joji Takahashi:
A Saturation Property of Ideals and Weakly Compact Cardinals.
513-525

- R. Michael Canjar:
Small Filter Forcing.
526-546

- Stewart Baldwin:
Between Strong and Superstrong.
547-559

- Jacek Cichon, Janusz Pawlikowski:
On Ideals of Subsets of the Plane and on Cohen Reals.
560-569

- Bruno Poizat:
Attention a la Marche!
570-585

- Miodrag Raskovic:
Completeness Theorem for Biprobability Models.
586-590

- Arthur W. Apter, James M. Henle:
Large Cardinal Structures Below alefomega.
591-603

- William S. Zwicker:
Pkappalambda Combinatorics II: The RK Ordering Beneath a Supercompact Measure.
604-616

- C. A. Johnson:
Distributive Ideals and Partition Relations.
617-625

- Jonathan P. Seldin:
On the Proof Theory of the Intermediate Logic MH.
626-647

- Moti Gitik:
On Precipitousness of the Nonstationary Ideal Over a Supercompact.
648-662

- John P. Burgess:
The Truth is Never Simple.
663-681

- Tsuyoshi Yukami:
Taking Out LK Parts from a Proof in Peano Arithmetic.
682-700

- Julius B. Barbanel:
Supercompact Cardinals, Trees of Normal Ultrafilters, and the Partition Property.
701-708

- Anand Pillay:
Some Remarks on Definable Equivalence Relations in O-Minimal Structures.
709-714

- Gabriel Srour:
The Independence Relation in Separably Closed Fields.
715-725

- Andreas Blass, Andre Scedrov:
Small Decidable Sheaves.
726-731

- Thomas G. McLaughlin:
Some Elementary Degree-Theoretic Reasons Why Structures Need Similarity Types.
732-747

- Andre Scedrov:
Some Properties of Epistemic Set Theory with Collection.
748-754

- T. G. Kucera:
Stability Theory for Topological Logic, with Applications to Topological Modules.
755-769

- Christine Ann Haught:
The Degrees Below A 1-Generic Degree < 0?
770-777

- Xavier Caicedo:
A Simple Solution to Friedman's Fourth Problem.
778-784

- Daniele Mundici:
Inverse Topological Systems and Compactness in Abstract Model Theory.
785-794

- Bruno Poizat:
A L'Ouest D'Eden.
795-816

- Jon Barwise, Solomon Feferman, David Israel:
Meeting of the Association for Symbolic Logic: Stanford, California, 1985.
832-862

Volume 51, Number 4, December 1986
Last update Tue May 21 19:20:26 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page