The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1977, volume: 42, number: 2

  1. Philip W. Grant
    Strict-pi11 Predicates on Countable and Cofinality omega Transitive Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:161-173 [Journal]
  2. James H. Schmerl
    An Axiomatization for a Class of Two-Cardinal Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:174-178 [Journal]
  3. David Pincus, Robert Solovay
    Definability of Measures and Ultrafilters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:179-190 [Journal]
  4. George Boolos
    On Deciding the Provability of Certain Fixed Point Statements. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:191-193 [Journal]
  5. A. S. Troelstra
    Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:194-202 [Journal]
  6. James E. Baumgartner, Alan D. Taylor, Stanley Wagon
    On Splitting Stationary Subsets of Large Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:203-214 [Journal]
  7. Maurice Boffa
    The Consistency Problem for NF. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:215-220 [Journal]
  8. George F. McNulty
    Fragments of First Order Logic, I: Universal Horn Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:221-237 [Journal]
  9. Dirk van Dalen
    The Use of Kripke's Schema as a Reduction Principle. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:238-240 [Journal]
  10. Richard Mansfield
    Sheaves and Normal Submodels. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:241-250 [Journal]
  11. Alan H. Mekler
    Theories with Models of Prescribed Cardinalities. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:251-253 [Journal]
  12. Rainer Deissler
    Minimal Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:254-260 [Journal]
  13. Menachem Magidor, Jerome I. Malitz
    Compactness and Transfer for a Fragment of L2. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:261-268 [Journal]
  14. Dov M. Gabbay
    Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:269-271 [Journal]
  15. Menachem Magidor
    Chang's Conjecture and Powers of Singular Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:272-276 [Journal]
  16. John T. Baldwin, Joel Berman
    A Model Theoretic Approach to Malcev Conditions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:277-288 [Journal]
  17. Charles Landraitis
    Definability in Well Quasi-Ordered Sets of Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:289-291 [Journal]
  18. Jon Barwise
    On Moschovakis Closure Ordinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:292-296 [Journal]
  19. Jan Mycielski
    A Lattice of Interpretability Types of Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:297-305 [Journal]
  20. Dov M. Gabbay
    A New Version of Beth Semantics for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:306-308 [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