The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1972, volume: 37, number: 3

  1. Bienvenido F. Nebres
    Infinitary Formulas Preserved Under Unions of Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:449-465 [Journal]
  2. Charles D. Parsons
    On n-Quantifier Induction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:466-482 [Journal]
  3. R. Phillips
    Addition in Nonstandard Models of Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:483-486 [Journal]
  4. John T. Baldwin
    Almost Strongly Minimal Theories. I. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:487-493 [Journal]
  5. C. Ward Henson
    Countable Homogeneous Relational Structures and N0-Categorical Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:494-500 [Journal]
  6. John Stillwell
    Decidability of the Almost All Theory of Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:501-506 [Journal]
  7. Jesse B. Wright
    Characterization of Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:507-511 [Journal]
  8. Angus Macintyre
    Omitting Quantifier-Free Types in Generic Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:512-520 [Journal]
  9. James H. Schmerl
    An Elementary Sentence which Has Ordered Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:521-530 [Journal]
  10. James H. Schmerl, Saharon Shelah
    On Power-like Models for Hyperinaccessible Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:531-537 [Journal]
  11. James D. Davis
    The Inconsistency of a Certain Axiom System for Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:538-542 [Journal]
  12. Louise Hay
    A Note on Frame Extensions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:543-545 [Journal]
  13. Gregory L. Cherlin
    The Model-Companion of a Class of Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:546-556 [Journal]
  14. Erik Ellentuck
    An Algebraic Difference Between Isols and Cosimple Isols. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:557-561 [Journal]
  15. Andreas Blass
    Theories without Countable Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:562-568 [Journal]
  16. Andreas Blass
    On the Inadequacy of Inner Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:569-571 [Journal]
  17. Raphael M. Robinson
    Some Representations of Diophantine Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:572-578 [Journal]
  18. Dov M. Gabbay
    Decidability of Some Intuitionistic Predicate Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:579-587 [Journal]
  19. K. Jon Barwise
    The Hanf Number of Second Order Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:588-594 [Journal]
  20. Solomon Garfunkel, Herbert S. Shank
    On the Undecidability of Finite Planar Cubic Graphs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:595-597 [Journal]
  21. S. Barry Cooper
    Jump Equivalence of the triangle 02 Hyperhyperimmune Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:598-600 [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