Journals in DBLP

J. Symb. Log.
1974, volume: 39, number: 1

1. J. Roger Hindley
   An Abstract Church-Rosser Theorem. II: Applications. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:1, pp:1-21 [Journal]
   
2. John Gregory
   Beth Definability in Infinitary Languages. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:1, pp:22-26 [Journal]
   
3. Keith J. Devlin
   Some Remarks on Changing Cofinalities. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:1, pp:27-30 [Journal]
   
4. Kit Fine
   Logics Containing K4. Part I. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:1, pp:31-42 [Journal]
   
5. H. Jerome Keisler, Karel Prikry
   A Result Concerning Cardinalities of Ultraproducts. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:1, pp:43-48 [Journal]
   
6. Manuel Lerman
   Least Upper Bounds For Minimal Pairs of alpha-R.E. alpha Degrees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:1, pp:49-56 [Journal]
   
7. William J. Mitchell
   Sets Constructible from Sequences of Ultrafilters. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:1, pp:57-66 [Journal]
   
8. Dov M. Gabbay, Dick de Jongh
   A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:1, pp:67-78 [Journal]
   
9. Harvey Friedman
   PCA Well-Orderings of the Line. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:1, pp:79-80 [Journal]
   
10. James R. Geiser
    A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:81-87 [Journal]
    
11. Stanley S. Wainer
    A Hierarchy for the 1-Section of Any Type Two Object. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:88-94 [Journal]
    
12. Carl G. Jockusch Jr.
    Pi⁰₁ Classes and Boolean Combinations of Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:95-96 [Journal]
    
13. Jacques Grassin
    Index Sets in Ershov's Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:97-104 [Journal]
    
14. Judy Green
    sigma₁ Compactness for Next Admissible Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:105-116 [Journal]
    
15. George S. Sacerdote
    Projective Model Completeness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:117-123 [Journal]
    
16. Henry Africk
    Scott's Interpolation Theorem Fails for L _{omega1, omega}. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:124-126 [Journal]
    
17. Robert Moll, Albert R. Meyer
    Honest Bounds for Complexity Classes of Recursive Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:127-138 [Journal]
    
18. Neil D. Jones, Alan L. Selman
    Turing Machines and the Spectra of First-Order Formulas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:139-150 [Journal]
    
19. Andreas Blass
    On Certain Types and Models for Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:151-162 [Journal]
    
20. Erik Ellentuck
    A New Proof that Analytic Sets are Ramsey. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:163-165 [Journal]
    
21. Anne C. Morel, Ronald Harrop, Miriam Lucian, David Pincus
    Meeting of the Association for Symbolic Logic Seattle 1973. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:195-208 [Journal]