Journals in DBLP

J. Symb. Log.
1991, volume: 56, number: 2

1. Grigori Mints
   Proof Theory in the USSR 1925-1969. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:2, pp:385-424 [Journal]
   
2. Paul Bankston
   Corrigendum to ``Taxonomies of Model-Theoretically Defined Topological Properties''. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:2, pp:425-426 [Journal]
   
3. Leszek Pacholski, Wieslaw Szwast
   Asymptotic Probabilities of Existential Second-Order Gödel Structures. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:2, pp:427-438 [Journal]
   
4. Kai Hauser
   Indescribable Cardinals and Elementary Embeddings. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:2, pp:439-457 [Journal]
   
5. Richard Kaye
   A Generalization of Specker's Theorem on Typical Ambiguity. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:2, pp:458-466 [Journal]
   
6. M. D. G. Swaen
   The Logic of First Order Intuitionistic Type Theory with Weak Sigma-Elimination. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:2, pp:467-483 [Journal]
   
7. Ido Efrat
   The Elementary Theory of Free Pseudo p-adically Closed Fields of Finite Corank. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:2, pp:484-496 [Journal]
   
8. Kevin Lano
   Intuitionistic Modal Logic and Set Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:2, pp:497-516 [Journal]
   
9. Silvio Ghilardi
   Incompleteness Results in Kripke Semantics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1991, v:56, n:2, pp:517-538 [Journal]
   
10. Luc Bélair
    Anneaux p-Adiquement Clos et Anneaux de Fonctions Définissables. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:539-553 [Journal]
    
11. Robert Goldblatt
    The McKinsey Axiom Is Not Canonical. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:554-562 [Journal]
    
12. Peter G. Hinman, Theodore A. Slaman
    Jump Embeddings in Turing Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:563-591 [Journal]
    
13. Mitchell Spector
    Extended Ultrapowers and the Vopenka-Hrbácek Theorem Without Choice. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:592-607 [Journal]
    
14. Michal Krynicki, Hans-Peter Tuschik
    An Axiomatization of the Logic with the Rough Quantifier. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:608-617 [Journal]
    
15. I. Aguzarov, R. E. Farey, John B. Goode
    An Infinite Superstable Group Has Infinitely Many Conjugacy Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:618-623 [Journal]
    
16. John B. Goode
    Some Trivial Considerations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:624-631 [Journal]
    
17. Yiannis Vourtsanis
    A Direct Proof of the Feferman-Vaught Theorem and Other Preservations Theorems in Products. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:632-636 [Journal]
    
18. Joseph Y. Halpern
    Presburger Arithmetic with Unarr Predicates is Pi₁¹ Complete. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:637-642 [Journal]
    
19. Robert A. Di Paola, Franco Montagna
    Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:643-660 [Journal]
    
20. Daniel N. Osherson, Michael Stob, Scott Weinstein
    A Universal Inductive Inference Machine. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:661-672 [Journal]
    
21. Christopher J. Ash
    A Construction for Recursive Linear Orderings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:673-683 [Journal]
    
22. Carl G. Jockusch Jr., A. Lewis, Jeffrey B. Remmel
    Pi⁰₁-Classes and Rado's Selection Principle. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:684-693 [Journal]
    
23. Ali Nesin
    Poly-Separated and omega-Stable Nilpotent Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:694-699 [Journal]
    
24. Sedki Boughattas
    L'Arithemétique Ouverte et ses Modèles Non-Standards. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:700-714 [Journal]
    
25. Michael Rathjen
    The Role of Parameters in Bar Rule and Bar Induction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:715-730 [Journal]
    
26. Hirokazu Nishimura
    Boolean Valued Lie Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:731-741 [Journal]
    
27. Steve Jackson, R. Daniel Mauldin
    Nonuniformization Results for the Projective Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:742-748 [Journal]