Journals in DBLP

J. Symb. Log.
1994, volume: 59, number: 4

1. Carl G. Jockusch Jr., Robert I. Soare
   Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:4, pp:1121-1138 [Journal]
   
2. Sergei N. Artëmov, Franco Montagna
   On First-Order Theories with Provability Operator. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:4, pp:1139-1153 [Journal]
   
3. Lew Gordeev
   A Modified Sentence Unprovable in PA. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:4, pp:1154-1157 [Journal]
   
4. George Kafkoulis
   The Consistency Strength of an Infinitary Ramsey Property. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:4, pp:1158-1195 [Journal]
   
5. James Cummings
   Possible Behaviours for the Mitchell Ordering II. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:4, pp:1196-1209 [Journal]
   
6. Zlatan Damnjanovic
   Strictly Primitive Recursive Realizability, I. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:4, pp:1210-1227 [Journal]
   
7. Gaisi Takeuti
   The Critical Number of a Variable in a Function. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:4, pp:1228-1244 [Journal]
   
8. Nando Prati
   A Partial Model of NP with E. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:4, pp:1245-1253 [Journal]
   
9. Ross Willard
   Hereditary Undecidability of Some Theories of Finite Structures. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1994, v:59, n:4, pp:1254-1262 [Journal]
   
10. Mitio Takano
    Subformula Property in Many-Valued Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1263-1273 [Journal]
    
11. Gaisi Takeuti
    Grzegorcyk's Hierarchy and Iep Sigma₁. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1274-1284 [Journal]
    
12. Ambar Chowdhury, Anand Pillay
    On the Number of Models of Uncountable Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1285-1300 [Journal]
    
13. Tamara Lakins Hummel
    Effective Versions of Ramsey's Theorem: Avoiding the Cone above 0'. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1301-1325 [Journal]
    
14. Frank P. Weber
    Initial Segments of the Lattice of Ideals of R.E. Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1326-1350 [Journal]
    
15. Mark E. Nadel
    Scott Heights of Abelian Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1351-1359 [Journal]
    
16. Rodney G. Downey, Christine Ann Haught
    Embedding Lattices into the wtt-Degrees below 0'. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1360-1382 [Journal]
    
17. Christopher J. Ash, Julia F. Knight
    Mixed Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1383-1399 [Journal]
    
18. Anand Pillay
    Definability of Types, and Pairs of O-Minimal Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1400-1409 [Journal]
    
19. Christopher J. Ash
    On Countable Fractions from an Elementary Class. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1410-1413 [Journal]
    
20. Henryk Kotlarski
    On the Incompleteness Theorems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1414-1419 [Journal]
    
21. Philip D. Welch
    Characterising Subsets of omega₁ Constructible from a Real. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1420-1432 [Journal]