Journals in DBLP

J. Symb. Log.
1980, volume: 45, number: 2

1. John Bacon
   Substance and First-Order Quantification Over Individual-Concepts. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1980, v:45, n:2, pp:193-203 [Journal]
   
2. Harold T. Hodes
   Jumping Through the Transfinite: The Master Code Hierarchy of Turing Degrees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1980, v:45, n:2, pp:204-220 [Journal]
   
3. Willem J. Blok
   The Lattice of Modal Logics: An Algebraic Investigation. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1980, v:45, n:2, pp:221-236 [Journal]
   
4. Richard Gostanian
   Constructible Models of Subsystems of ZF. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1980, v:45, n:2, pp:237-250 [Journal]
   
5. Aaron Beller, Ami Litman
   A Strengthening of Jensen's Principles. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1980, v:45, n:2, pp:251-264 [Journal]
   
6. Matatyahu Rubin, Saharon Shelah
   On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Lowenheim Theorems and Compactness of Related Quantifiers. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1980, v:45, n:2, pp:265-283 [Journal]
   
7. Lee Badger
   Beth's Property Fails in L ^{< omega 1}. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1980, v:45, n:2, pp:284-290 [Journal]
   
8. Gregory L. Cherlin
   On ₀-Categorical Nilrings. II. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1980, v:45, n:2, pp:291-301 [Journal]
   
9. Anand Pillay
   Theories with Exactly Three Countable Models and Theories with Algebraic Prime Models. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1980, v:45, n:2, pp:302-310 [Journal]
   
10. Roger D. Maddux
    The Equational Theory of CA₃ is Undecidable. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:2, pp:311-316 [Journal]
    
11. Jeffrey B. Remmel
    Recursion Theory on Orderings. II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:2, pp:317-333 [Journal]
    
12. Wolfgang Thomas
    On the Bounded Monadic Theory of Well-Ordered Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:2, pp:334-338 [Journal]
    
13. Hirokazu Nishimura
    Sequential Method in Quantum Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:2, pp:339-352 [Journal]
    
14. Viggo Stoltenberg-Hansen
    On Computational Complexity in Weakly Admissible Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:2, pp:353-358 [Journal]
    
15. Christopher J. Ash, John W. Rosenthal
    Some Theories Associated with Algebraically Closed Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:2, pp:359-362 [Journal]
    
16. Daniel Leivant
    Innocuous Substitutions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:2, pp:363-368 [Journal]
    
17. Maurice Boffa, P. Henrard
    European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:2, pp:386-414 [Journal]