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
- 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
- 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
- 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
- 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
- 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 pi1-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
- 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 \triangle13-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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team