Journals in DBLP

J. Symb. Log.
1992, volume: 57, number: 3

1. Gisela M. Méndez
   Filters on the Space of Partitions Q_k(lambda). [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:3, pp:769-778 [Journal]
   
2. Ya'acov Peterzil
   A Structure Theorem for Semibounded Sets in the Reals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:3, pp:779-794 [Journal]
   
3. Roy Dyckhoff
   Contraction-Free Sequent Calculi for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:3, pp:795-807 [Journal]
   
4. Jean-Louis Duret
   Équivalence élémentaire et Isomorphisme des Corps de Courbe sur un Corps Algébriquement Clos. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:3, pp:808-823 [Journal]
   
5. Harvey Friedman, Robert K. Meyer
   Whither Relevant Arithmetic? [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:3, pp:824-831 [Journal]
   
6. Balázs Biró
   Non-Finite-Axiomatizability Results in Algebraic Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:3, pp:832-843 [Journal]
   
7. Franco Montagna
   Polynomially and Superexponentially Shorter Proofs in Fragments of Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:3, pp:844-863 [Journal]
   
8. Klaus Ambos-Spies, André Nies, Richard A. Shore
   The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:3, pp:864-874 [Journal]
   
9. Menachem Kojman, Saharon Shelah
   Nonexistence of Universal Orders in Many Cardinals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:3, pp:875-891 [Journal]
   
10. Alex Feldman
    Recursion Theory in a Lower Semilattice. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:892-911 [Journal]
    
11. Vladimir V. Rybakov
    Rules of Inference with Parameters for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:912-923 [Journal]
    
12. M. D. G. Swaen
    A Characterization of ML in Many-Sorted Arithmetic with Conditional Application. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:924-953 [Journal]
    
13. Michael Rathjen
    A Proof-Theoretic Characterization of the Primitive Recursive Set Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:954-969 [Journal]
    
14. Yo Matsubara
    Saturated Ideals and the Singular Cardinal Hypothesis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:970-974 [Journal]
    
15. Renling Jin
    The Isomorphism Property Versus the Special Model Axiom. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:975-987 [Journal]
    
16. Devdatt P. Dubhashi
    On Decidable Varieties of Heyting Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:988-991 [Journal]
    
17. H. D. Macpherson, Maurice Pouzet, Robert E. Woodrow
    Countable Structures of Given Age. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:992-1010 [Journal]
    
18. Renling Jin
    A Theorem on the Isomorphism Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:1011-1017 [Journal]
    
19. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
    What Is an Inference Rule? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:1018-1045 [Journal]
    
20. Eberhard Herrmann
    1-Reducibility Inside an m-Degree with a Maximal Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:1046-1056 [Journal]
    
21. Stuart T. Smith
    Prime Numbers and Factorization in IE₁ and Weaker Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:1057-1085 [Journal]
    
22. Avner Landver
    Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:1086-1107 [Journal]
    
23. Gerhard Jäger, Barbara Primo
    About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:1108-1119 [Journal]
    
24. Steffen Lempp, Manuel Lerman
    The Existential Theory of the Pomset of r.e. Degrees with a Predicate for Single Jump Reducibility. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:1120-1130 [Journal]