The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1987, volume: 52, number: 1

  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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. James M. Henle
    Concerning Ultrafilters on Ultrapowers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:1, pp:149-151 [Journal]
  12. Shih Ping Tung
    Definability in Number Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:1, pp:152-155 [Journal]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002