Journals in DBLP

J. Symb. Log.
1973, volume: 38, number: 3

1. Robert G. Jeroslow
   Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1973, v:38, n:3, pp:359-367 [Journal]
   
2. John MacIntyre
   Noninitial Segments of the alpha-Degrees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1973, v:38, n:3, pp:368-388 [Journal]
   
3. Ian D. Clark
   An Axiomatisation of Quantum Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1973, v:38, n:3, pp:389-392 [Journal]
   
4. Peter G. Hinman
   Degrees of Continuous Functionals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1973, v:38, n:3, pp:393-395 [Journal]
   
5. Richard Mansfield
   On the Possibility of a Sigma¹₂ Well-Ordering of the Baire Space. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1973, v:38, n:3, pp:396-398 [Journal]
   
6. Saharon Shelah
   Weak Definability in Infinitary Languages. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1973, v:38, n:3, pp:399-404 [Journal]
   
7. Harvey M. Friedman
   Borel Sets and Hyperdegrees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1973, v:38, n:3, pp:405-409 [Journal]
   
8. John Lake
   On an Ackermann-Type Set Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1973, v:38, n:3, pp:410-412 [Journal]
   
9. Julia F. Knight
   Complete Types and the Natural Numbers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1973, v:38, n:3, pp:413-415 [Journal]
   
10. Paul E. Howard
    Limitations on the Fraenkel-Mostowski Method of Independence Proofs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:416-422 [Journal]
    
11. E. M. Kleinberg
    Rowbottom Cardinals and Jonsson Cardinals are Almost the Same. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:423-427 [Journal]
    
12. Angus Macintyre
    The Word Problem for Division Rings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:428-436 [Journal]
    
13. Carl G. Jockusch Jr., Robert I. Soare
    Encodability of Kleene's O. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:437-440 [Journal]
    
14. Henk Barendregt
    A Characterization of Terms of the lambda I-Calculus Having a Normal Form. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:441-445 [Journal]
    
15. Carl G. Jockusch Jr., Robert I. Soare
    Post's Problem and His Hypersimple Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:446-452 [Journal]
    
16. Nicolas D. Goodman
    The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:453-459 [Journal]
    
17. John Gregory
    Uncountable Models and Infinitary Elementary Extensions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:460-470 [Journal]
    
18. Harry R. Lewis, Warren D. Goldfarb
    The Decision Problem for Formulas with a Small Number of Atomic Subformulas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:471-480 [Journal]
    
19. Leslie H. Tharp
    The Characterization of Monadic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:481-488 [Journal]
    
20. Haskell B. Curry
    The Consistency of a System of Combinatory Restricted Generality. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:489-492 [Journal]
    
21. Gregory L. Cherlin
    Algebraically Closed Commutative Rings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:493-499 [Journal]
    
22. Abraham Robinson
    Metamathematical Problems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:500-516 [Journal]
    
23. J. Donald Monk, Jan Mycielski, Jurgen Schmidt
    Meeting of the Association for Symbolic Logic, Dallas 1973. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:3, pp:541-549 [Journal]