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