The Journal of Symbolic Logic, Volume 52

Volume 52, Number 1, March 1987

Larry J. Stockmeyer: Classifying the Computational Complexity of Problems. 1-43 BibTeX
William J. Mitchell: Prikry Forcing at kappa⁺ and Beyond. 44-50 BibTeX
Jan Tryba: No Jonsson Filters Over alef omega. 51-53 BibTeX
Paul C. Eklof, Hans-Christian Mez: Modules of Existentially Closed Algebras. 54-63 BibTeX
Philip D. Welch: The Reals in Core Models. 64-67 BibTeX
Joan Rand Moschovakis: Relative Lawlessness in Intuitionistic Analysis. 68-88 BibTeX
Martin W. Bunder: Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory Logic. 89-110 BibTeX
Péter Komjáth: Morasses and the Levy-Collapse. 111-115 BibTeX
Max A. Dickmann: Elimination of Quantifiers for Ordered Valuation Rings. 116-128 BibTeX
Matt Kaufmann, James H. Schmerl: Remarks on Weak Notions of Saturation in Models of Peano Arithmetic. 129-148 BibTeX
James M. Henle: Concerning Ultrafilters on Ultrapowers. 149-151 BibTeX
Shih Ping Tung: Definability in Number Fields. 152-155 BibTeX
Anand Pillay, Charles Steinhorn: On Dedekind Complete O-Minimal Structures. 156-164 BibTeX
George Boolos, Vann McGee: The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation. 165-171 BibTeX
Valentin F. Turchin: A Constructive Interpretation of the Full Set Theory. 172-201 BibTeX
Colin McLarty: Elementary Axioms for Canonical Points of Toposes. 202-204 BibTeX
David Marker: A Strongly Minimal Expansion of (omega, s). 205-207 BibTeX
Robert S. Lubarsky: Simple R. E. Degree Structures. 208-213 BibTeX
Pier Luigi Ferrari: A Note on a Proof of Hilbert's Second epsilon-Theorem. 214-215 BibTeX
Robert E. Beaudoin: Strong Analogues of Martin's Axiom Imply Axiom R. 216-218 BibTeX
Hans Lauchli, Christian Savioz: Monadic Second Order Definable Relations on the Binary Tree. 219-226 BibTeX
Colin G. Bailey: Some New Natural a-RE-Degrees. 227-231 BibTeX
Randall Dougherty: Sequential Discreteness and Clopen-I-Boolean Classes. 232-242 BibTeX
Luis E. Sanchis: Completeness of Transfinite Evaluation in an Extension of the Lambda Calculus. 243-275 BibTeX

Volume 52, Number 2, June 1987

Ludomir Newelski: On Partitions of the Real Line Into Compact Sets. 353-359 BibTeX
Saharon Shelah: Semiproper Forcing Axiom Implies Martin Maximum but Not PFA⁺. 360-367 BibTeX
S. Heinrich, C. Ward Henson, L. C. Moore Jr.: A Note on Elementary Equivalence of C(K) Space. 368-373 BibTeX
T. E. Forster: Term Models for Weak Set Theories with a Universal Set. 374-387 BibTeX
Thomas Jech: A Hierarchy of Filters On Regular Uncountable Cardinals. 388-395 BibTeX
Krzysztof Ciesielski: Martin's Axiom and a Regular Topological Space with Uncountable Net Weight Whose Countable Product is Hereditarily Separable and Hereditarily Lindelof. 396-399 BibTeX
Anand Pillay, Bruno Poizat: Pas D'Imaginaires Dans L'Infini! 400-403 BibTeX
Paul Bankston: Reduced Coproducts of Compact Hausdorff Spaces. 404-424 BibTeX
J. Zimbarg Sobrinho: On the Consistency of Self-Referential Systems. 425-436 BibTeX
Paolo Lipparini: Limit Ultrapowers and Abstract Logics. 437-454 BibTeX
Ray Turner: A Theory of Properties. 455-472 BibTeX
Walter Alexandre Carnielli: Systematization of Finite Many-Valued Logics Through the Method of Tableaux. 473-493 BibTeX
Franco Montagna: Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation. 494-511 BibTeX
Chris Mortensen: Inconsistent Nonstandard Arithmetic. 512-518 BibTeX
E. V. Krishnamurthy, B. P. Vickers: Compact Numeral Representation with Combinators. 519-525 BibTeX
Steve Giambrone, Robert K. Meyer, Alasdair Urquhart: A Contractionless Semilattice Semantics. 526-529 BibTeX
R. Michael Canjar: Complete Boolean Ultraproducts. 530-542 BibTeX
Steven Buechler: Isolated Types in a Weakly Minimal Set. 543-547 BibTeX
Steven Buechler: On Nontrivial Types of U-Rank. 548-551 BibTeX

Volume 52, Number 3, September 1987

Mitsuhiro Okada: A Simple Relationship between Buchholz's New System of Ordinal Notations and Takeuti's System of Ordinal Diagrams. 577-581 BibTeX
Marcia J. Groszek: Combinatorics on Ideals and Forcing with Trees. 582-593 BibTeX
Robert A. Di Paola, Alex Heller: Dominical Categories: Recursion Theory without Elements. 594-635 BibTeX
Mark F. Sharlow: Proper Classes via the Iterative Conception of Set. 636-650 BibTeX
Peter Lars Dordal: A Model in which the Base-Matrix Tree Cannot have Cofinal Branches. 651-664 BibTeX
Neil Tennant: Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic. 665-680 BibTeX
Henry A. Kierstead: On pi₁-Automorphism of Recursive Linear Orders. 681-688 BibTeX
Nader Vakil: Monadic Binary Relations and the Monad Systems at Near-Standard Points. 689-697 BibTeX
Alistair H. Lachlan: Complete Theories with Only Universal and Existential Axioms. 698-711 BibTeX
Hanamantagouda P. Sankappanavar: Semi-De Morgan Algebras. 712-724 BibTeX
Michiel van Lambalgen: Von Mises' Definition of Random Sequences Reconsidered. 725-755 BibTeX
Bruce M. Kapron: Modal Sequents and Definability. 756-762 BibTeX
Anand Pillay: First Order Topological Structures and Theories. 763-778 BibTeX
Michael H. Albert: A Preservation Theorem for EC-Structures with Applications. 779-785 BibTeX
Michael H. Albert, Ross Willard: Injectives in Finitely Generated Universal Horn Classes. 786-792 BibTeX
Zofia Adamowicz: Open Induction and the True Theory of Rationals. 793-801 BibTeX
Douglas N. Hoover: An Analytic Completeness Theorem for Logics with Probability Quantifiers. 802-816 BibTeX
Randall Dougherty: Monotone but not Positive Subsets of the Cantor Space. 817-818 BibTeX
Ingemarie Bethke: On the Existence of Extensional Partial Combinatory Algebras. 819-833 BibTeX
Othman Qasim Malhas: Quantum Logic and the Classical Propositional Calculus. 834-841 BibTeX
Stuart T. Smith: Nonstandard Characterizations of Recursive Saturation and Resplendency. 842-863 BibTeX
J. Michael Dunn, Leonard Lipshitz: Meeting of the Association for Symbolic Logic: Indianapolis. 883-887 BibTeX

Volume 52, Number 4, December 1987

Joji Takahashi: Partition Properties of M-Ultrafilters and Ideals. 897-907 BibTeX
Philip D. Welch: Minimality in the \triangle¹₃-Degrees. 908-915 BibTeX
Samuel R. Buss: Polynomial Size Proofs of the Propositional Pigeonhole Principle. 916-927 BibTeX
Dan Velleman: Gap-2 Morasses of Height omega. 928-938 BibTeX
Arnon Avron: A Constructive Analysis of RM. 939-951 BibTeX
Robert S. Lubarsky: Uncountable Master Codes and the Jump Hierarchy. 952-958 BibTeX
Andreas Baudisch: On Two Hierarchies of Dimensions. 959-968 BibTeX
R. A. G. Seely: Categorical Semantics for Higher Order Polymorphic Lambda Calculus. 969-989 BibTeX
Qi Feng: On the Rowbottom M-Ultrafilters. 990-993 BibTeX
Françoise Delon: Corps Portant Un Nombre Fini de Valuations. 994-1004 BibTeX
Claudia Henrion: Properties of Subtle Cardinals. 1005-1019 BibTeX
Ludomir Newelski: Omitting Types and the Real Line. 1020-1026 BibTeX
Alain Touraille: Theories d'Algebres de Boole Munies d'Ideaux Distingues. I. Theories Elementaires. 1027-1043 BibTeX