The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1975, volume: 40, number: 2

  1. Harvey Friedman
    One Hundred and Two Problems in Mathematical Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:113-129 [Journal]
  2. Leonard P. Sasso Jr.
    A Survey of Partial Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:130-140 [Journal]
  3. Martin Gerson
    The Inadequacy of the Neighbourhood Semantics for Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:141-148 [Journal]
  4. Maurice Boffa
    Sets Equipollent to their Power Set in NF. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:149-150 [Journal]
  5. John Lake
    Natural Models and Ackermann-Type Set Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:151-158 [Journal]
  6. A. M. Dawes, J. B. Florence
    Independent Godel Sentences and Independent Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:159-166 [Journal]
  7. George Metakides, J. M. Plotkin
    An Algebraic Characterization of Power Set in Countable Standard Models of ZF. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:167-170 [Journal]
  8. Jane Bridge
    A Simplification of the Bachmann Method for Generating Large Countable Ordinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:171-185 [Journal]
  9. Ralph McKenzie
    On Spectra, and the Negative Solution of the Decision Problem for Identities having a Finite Nontrivial Model. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:186-196 [Journal]
  10. Anna Michaelides Penk
    Two Forms of the Axiom of Choice for an Elementary Topos. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:197-212 [Journal]
  11. Walter Baur
    N0-Categorical Modules. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:213-220 [Journal]
  12. William C. Powell
    Extending Godel's Negative Interpretation to ZF. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:221-229 [Journal]
  13. Paul C. Gilmore, Donald A. Martin, Elliott Mendelson
    Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:2, pp:299-304 [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