The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1989, volume: 54, number: 4

  1. Penelope Maddy
    The Roots of Contemporary Platonism. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1121-1144 [Journal]
  2. Sy D. Friedman
    Coding Over a Measurable Cardinal. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1145-1159 [Journal]
  3. Rodney G. Downey
    On Hyper-Torre Isols. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1160-1166 [Journal]
  4. H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth
    Descriptive Set Theory Over Hyperfinite Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1167-1180 [Journal]
  5. William Craig
    Near-Equational and Equational Systems of Logic for Partial Functions II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1181-1215 [Journal]
  6. Yiannis N. Moschovakis
    The Formal Language of Recursion. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1216-1252 [Journal]
  7. Denis Richard
    Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1253-1287 [Journal]
  8. Carl G. Jockusch Jr., Manuel Lerman, Robert I. Soare, Robert Solovay
    Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1288-1323 [Journal]
  9. Gregory L. McColm
    Some Restrictions on Simple Fixed Points of the Integers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1324-1345 [Journal]
  10. Bradd Hart
    A Proof of Morley's Conjecture. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1346-1358 [Journal]
  11. Rami P. Grossberg, Bradd Hart
    The Classification of Excellent Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1359-1381 [Journal]
  12. James H. Schmerl
    Large Resplendent Models Generated by Indiscernibles. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1382-1388 [Journal]
  13. Michiel van Lambalgen
    Algorithmic Information Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1389-1400 [Journal]
  14. Marco Forti, Roland Hinnion
    The Consistency Problem for Positive Comprehension Principles. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1401-1418 [Journal]
  15. Gerard R. Renardel de Lavalette
    Interpolation in Fragments of Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1419-1430 [Journal]
  16. Saharon Shelah
    The Number of Pairwise Non-Elementary-Embeddable Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1431-1455 [Journal]
  17. Harvey Friedman, Michael Sheard
    The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1456-1459 [Journal]
  18. Fabio Bellissima, Massimo Mirolli
    A General Treatment of Equivalent Modalities. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1460-1471 [Journal]
  19. George Epstein
    Fifth Southeastern Logic Symposium. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1498- [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