default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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 Läuchli, 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 - Stefan Heinrich, C. Ward Henson, Lawrence Carlton 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 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 - 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 \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 - Robert 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-11 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
