Journals in DBLP

J. Symb. Log.
1990, volume: 55, number: 3

1. Tapani Hyttinen, Jouko A. Väänänen
   On Scott and Karp Trees of Uncountable Models. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:3, pp:897-908 [Journal]
   
2. Haim Judah, Saharon Shelah
   The Kunen-Miller Chart (Lebesgue Measure, the Baire Property, Laver Reals and Preservation Theorems for Forcing). [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:3, pp:909-927 [Journal]
   
3. James Loveys
   Weakly Minimal Groups of Unbounded Exponent. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:3, pp:928-937 [Journal]
   
4. James M. Henle
   Partition Properties and Prikry Forcing on Simple Spaces. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:3, pp:938-947 [Journal]
   
5. Paul Bankston, Wim Ruitenburg
   Notions of Relative Ubiquity for Invariant Sets of Relational Structures. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:3, pp:948-986 [Journal]
   
6. Christine Ann Haught, Richard A. Shore
   Undecidability and Initial Segments of the R.E. tt-Degrees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:3, pp:987-1006 [Journal]
   
7. Shih Ping Tung
   Decidable Fragments of Field Theories. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:3, pp:1007-1018 [Journal]
   
8. Dan Velleman
   Partitioning Pairs of Countable Sets of Ordinals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:3, pp:1019-1021 [Journal]
   
9. Arnold W. Miller
   Set Theoretic Properties of Loeb Measure. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:3, pp:1022-1036 [Journal]
   
10. Ludomir Newelski
    Omitting Types for Stable CCC Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1037-1047 [Journal]
    
11. Jeffrey S. Carroll
    Maximal R.E. Equivalence Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1048-1058 [Journal]
    
12. Alessandro Berarducci
    The Interpretability Logic of Peano Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1059-1089 [Journal]
    
13. Sergei N. Artëmov, Giorgie Dzhaparidze
    Finite Kripke Models and Predicate Logics of Provability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1090-1098 [Journal]
    
14. Pierluigi Minari, Mitio Takano, Hiroakira Ono
    Intermediate Predicate Logics Determined by Ordinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1099-1124 [Journal]
    
15. John Pas
    On the Angular Component Map Modulo P. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1125-1129 [Journal]
    
16. James H. Schmerl
    Coinductive aleph₀-Categorical Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1130-1137 [Journal]
    
17. Anand Pillay
    Differentially Algebraic Group Chunks. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1138-1142 [Journal]
    
18. Michiel van Lambalgen
    The Axiomatization of Randomness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1143-1167 [Journal]
    
19. John Chisholm
    Effective Model Theory vs. Recursive Model Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1168-1191 [Journal]
    
20. Alain Touraille
    Théories d'Algébres de Boole Munies d'Idéaux Distingués, II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1192-1212 [Journal]
    
21. John Chisholm
    The Complexity of Intrinsically R.E. Subsets of Existentially Decidable Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1213-1232 [Journal]
    
22. David Ross
    The Special Model Axiom in Nonstandard Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1233-1242 [Journal]
    
23. David Marker, Anand Pillay
    Reducts of (C, +, ·) which Contain +. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1243-1251 [Journal]
    
24. Alex Heller
    An Existence Theorem for Recursion Categories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1252-1268 [Journal]
    
25. William M. Farmer
    A Partial Functions Version of Church's Simple Theory of Types. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1269-1291 [Journal]
    
26. Michael H. Albert, Rami P. Grossberg
    Rich Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1292-1298 [Journal]