Journals in DBLP

J. Symb. Log.
1985, volume: 50, number: 3

1. Robert S. Wolf
   Determinateness of Certain Almost-Borel Games. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:3, pp:569-579 [Journal]
   
2. Paolo Casalegno
   On the T-Degrees of Partial Functions. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:3, pp:580-588 [Journal]
   
3. Mohamed A. Amer
   Extension of Relatively |sigma-Additive Probabilities on Boolean Algebras of Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:3, pp:589-596 [Journal]
   
4. Moti Gitik, Menachem Magidor, W. Hugh Woodin
   Two Weak Consequences of 0^#. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:3, pp:597-603 [Journal]
   
5. Françoise Point
   Finitely Generic Models of T UH , for Certain Model Companionable Theories T. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:3, pp:604-610 [Journal]
   
6. Annalisa Marcja, Carlo Toffalori
   On Cantor-Bendixson Spectra Containing (1, 1) II. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:3, pp:611-618 [Journal]
   
7. Kit Fine
   Logics Containing K4. Part II. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:3, pp:619-651 [Journal]
   
8. Marc Bezem
   Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:3, pp:652-660 [Journal]
   
9. Simon Thompson
   Priority Arguments in the Continuous R. E. Degrees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:3, pp:661-667 [Journal]
   
10. Yuri Gurevich, Saharon Shelah
    The Decision Problem for Branching Time Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:668-681 [Journal]
    
11. Daniel Leivant
    Syntactic Translations and Provably Recursive Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:682-688 [Journal]
    
12. István Németi
    Cylindric-Relativised Set Algebras have Strong Amalgamation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:689-700 [Journal]
    
13. T. E. Forster
    The Status of the Axiom of Choice in Set Theory with a Universal Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:701-707 [Journal]
    
14. Douglas N. Hoover
    A Probabilistic Interpolation Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:708-713 [Journal]
    
15. Stewart Shapiro
    Second-Order Languages and Mathematical Practice. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:714-742 [Journal]
    
16. Fritz Grunewald, Daniel Segal
    Decision Problems Concerning S-Arithmetic Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:743-772 [Journal]
    
17. Mitchell Spector
    Model Theory Under the Axiom of Determinateness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:773-780 [Journal]
    
18. Andreas Blass
    Acknowledgement of Priority. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:781- [Journal]
    
19. George Koletsos
    Church-Rosser Theorem for Typed Functional Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:782-790 [Journal]
    
20. George Koletsos
    Functional Interpretation of the beta-Rule. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:791-805 [Journal]
    
21. Akito Tsuboi
    On Theories Having a Finite Number of Nonisomorphic Countable Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:806-808 [Journal]
    
22. Akito Tsuboi
    On the Number of Independent Partitions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:809-814 [Journal]
    
23. Peter Roeper
    Generalisation of First-Order Logic to Nonatomic Domains. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:815-838 [Journal]
    
24. Kevin McEvoy
    Jumps of Quasi-Minimal Enumeration Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:839-848 [Journal]