Journals in DBLP

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

1. John Mayberry
   Global Quantification in Zermelo-Fraenkel Set Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:2, pp:289-301 [Journal]
   
2. G. Sageev, Saharon Shelah
   On the Structure of Ext(A, Z) in ZFC⁺. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:2, pp:302-315 [Journal]
   
3. Daniel Lascar
   Quelques Precisions sur la D.O.P. et la Profondeur d'Une Theorie. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:2, pp:316-330 [Journal]
   
4. Jacqueline Vauzeilles
   Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:2, pp:331-338 [Journal]
   
5. Roel C. de Vrijer
   A Direct Proof of the Finite Developments Theorem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:2, pp:339-343 [Journal]
   
6. Nicolas D. Goodman
   Replacement and Collection in Intuitionistic Set Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:2, pp:344-348 [Journal]
   
7. John P. Hartley
   Effective Discontinuity and a Characterisation of the Superjump. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:2, pp:349-358 [Journal]
   
8. Marc Bezem
   Isomorphisms Between HEO and HROE, ECF and ICFE. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:2, pp:359-371 [Journal]
   
9. Julian L. Hook
   A Note on Interpretations of Many-Sorted Theories. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1985, v:50, n:2, pp:372-374 [Journal]
   
10. Thomas J. Grilliot
    Disturbing Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:375-379 [Journal]
    
11. Andreas Rapp
    The Ordered Field of Real Numbers and Logics with Malitz Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:380-389 [Journal]
    
12. Peter Gärdenfors
    Propositional Logic Based on the Dynamics of Belief. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:390-394 [Journal]
    
13. Patrick Bellot
    A New Proof for Craig's Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:395-396 [Journal]
    
14. Franco Montagna, Andrea Sorbi
    Universal Recursion Theoretic Properties of R.E. Preordered Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:397-406 [Journal]
    
15. Maurice Boffa, Paolo Casalegno
    The Consistency of Some 4-Stratified Subsystem of NF Including NF₃. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:407-411 [Journal]
    
16. Robert Goldblatt
    On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:412-422 [Journal]
    
17. Pavel Pudlák
    Cuts, Consistency Statements and Interpretations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:423-441 [Journal]
    
18. Simon Thompson
    Axiomatic Recursion Theory and the Continuous Functionals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:442-450 [Journal]
    
19. Ian A. Mason
    The Metatheory of the Classical Propositional Calculus is not Axiomatizable. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:451-457 [Journal]
    
20. Paul E. Howard
    Subgroups of a Free Group and the Axiom of Choice. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:458-467 [Journal]
    
21. Lou van den Dries, Rick L. Smith
    Decidable Regularly Closed Fields of Algebraic Numbers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:468-475 [Journal]
    
22. Ali Enayat
    Weakly Compact Cardinals in Models of Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:476-486 [Journal]
    
23. John K. Slaney
    3088 Varieties A Solution to the Ackermann Constant Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:487-501 [Journal]
    
24. Marco Forti, Furio Honsell
    The Consistency of the Axiom of Universality for the Ordering of Cardinalities. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:502-509 [Journal]
    
25. Carlos E. Alchourrón, Peter Gärdenfors, David Makinson
    On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:510-530 [Journal]
    
26. Arthur W. Apter
    An AD-Like Model. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:531-543 [Journal]