The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1982, volume: 47, number: 1

  1. A. M. Dawes
    Splitting Theorems for Speed-Up Related to Order of Enumeration. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:1-7 [Journal]
  2. Richard A. Shore
    On Homogeneity and Definability in the First-Order Theory of the Turing Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:8-16 [Journal]
  3. Richard Statman
    Completeness, Invariance and lambda-Definability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:17-26 [Journal]
  4. C. H. Applebaum
    An Introduction to omega-Extensions of omega-Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:27-36 [Journal]
  5. Uri Abraham, Saharon Shelah
    Forcing With Stable Posets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:37-42 [Journal]
  6. Thomas Jech
    On Hereditarily Countable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:43-47 [Journal]
  7. Robert E. Byerly
    An Invariance Notion in Recursion Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:48-66 [Journal]
  8. Robert E. Byerly
    Recursion Theory and the Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:67-83 [Journal]
  9. Julius B. Barbanel
    Supercompact Cardinals, Elementary Embeddings and Fixed Points. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:84-88 [Journal]
  10. Julius B. Barbanel
    Supercompact Cardinals and Trees of Normal Ultrafilters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:89-109 [Journal]
  11. Stål Aanderaa, Egon Börger, Harry R. Lewis
    Conservative Reduction Classes of Krom Formulas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:110-130 [Journal]
  12. Marcel Crabbé
    On the Consistency of an Impredicative Subsystem of Quine's NF. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:131-136 [Journal]
  13. James M. Henle, William S. Zwicker
    Ultrafilters on Spaces of Partitions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:137-146 [Journal]
  14. Anand Pillay
    Dimension Theory and Homogeneity for Elementary Extensions of a Model. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:147-160 [Journal]
  15. E. M. Kleinberg
    A Measure Representation Theorem for Strong Partition Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:161-168 [Journal]
  16. Iraj Kalantari, Anne Leggett
    Simplicity in Effective Topology. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:169-183 [Journal]
  17. E. G. K. López-Escobar
    Implicational Logics in Natural Deduction Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:184-186 [Journal]
  18. Carl Morgenstern
    On Generalized Quantifiers in Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:187-190 [Journal]
  19. George Boolos
    Extremely Undecidable Sentences. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:1, pp:191-196 [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