The Journal of Symbolic Logic, Volume 52

Volume 52, Number 1, March 1987

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

Volume 52, Number 2, June 1987

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

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

Volume 52, Number 4, December 1987

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

Last update Tue Feb 14 04:21:04 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page