The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Journals in DBLP

J. Symb. Log.
1976, volume: 41, number: 2

  1. Alistair H. Lachlan, R. Lebeuf
    Countable Initial Segments of the Degrees of Unsolvability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:289-300 [Journal]
  2. Johan van Benthem
    Modal Reduction Principles. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:301-312 [Journal]
  3. Zofia Adamowicz
    On Finite Lattices of Degrees of Constructibility of Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:313-322 [Journal]
  4. William C. Powell
    A Completeness Theorem for Zermelo-Fraenkel Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:323-327 [Journal]
  5. Michael Beeson
    Derived Rules of Inference Related to the Continuity of Effective Operations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:328-336 [Journal]
  6. Scott K. Lehmann
    An Interpretation of "Finite" Modal First-Order Languages in Classical Second-Order Languages. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:337-340 [Journal]
  7. Harry R. Lewis
    Krom Formulas with One Dyadic Predicate Letter. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:341-362 [Journal]
  8. Harvey Friedman
    Uniformly Defined Descending Sequences of Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:363-367 [Journal]
  9. John Paulos
    Noncharacterizability of the Syntax Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:368-372 [Journal]
  10. Douglas R. Busch
    lambda-Scales, kappa-Souslin Sets and a New Definition of Analytic Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:373-378 [Journal]
  11. Harold Simmons
    Large and Small Existentially Closed Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:379-390 [Journal]
  12. J. C. E. Dekker
    Projective Planes of Infinite But Isolic Order. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:391-404 [Journal]
  13. Manuel Lerman
    Congruence Relations, Filters, Ideals, and Definability in Lattices of alpha-Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:405-418 [Journal]
  14. Manuel Lerman
    Types of Simple alpha-Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:419-426 [Journal]
  15. F. Lowenthal
    Equivalence of Some Definitions of Recursion in a Higher Type Object. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:427-435 [Journal]
  16. Johan van Benthem
    Modal Formulas are Either Elementary or not sigma triangle-Elementary. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:436-438 [Journal]
  17. Larry W. Miller
    Normal Functions and Constructive Ordinal Notations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:439-459 [Journal]
  18. Yuri Gurevich
    The Decision Problem for Standard Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:460-464 [Journal]
  19. John Lake
    Relative Consistency of an Extension of Ackermann's Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:465-466 [Journal]
  20. Martin W. Bunder
    The Inconsistency of F * 21. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:467-468 [Journal]
  21. Dwight R. Bean
    Effective Coloration. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:469-480 [Journal]
  22. James E. Baumgartner, Leo Harrington, E. M. Kleinberg
    Adding a Closed Unbounded Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:481-482 [Journal]
  23. Northrup Fowler III
    alpha-Decompositions of alpha-Spaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:483-488 [Journal]
  24. John E. Hutchinson
    Order Types of Ordinals in Models of Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:489-502 [Journal]
  25. A. Bezboruah, John C. Shepherdson
    Godel's Second Incompleteness Theorem for Q. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:503-512 [Journal]
  26. Robert I. Soare
    The Infinite Injury Priority Method. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:513-530 [Journal]
  27. Jon Barwise, John S. Schlipf
    An Introduction to Recursively Saturated and Resplendent Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:531-536 [Journal]
  28. Gregory L. Cherlin
    Model Theoretic Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:537-545 [Journal]
  29. John T. Baldwin, Donald A. Martin, Robert I. Soare, William W. Tait
    Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:2, pp:551-560 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002