- Sy D. Friedman:
A Guide to "Coding the Universe" by Beller, Jensen, Welch. J. Symb. Log. 50(4): 1002-1019 (1985) - Peter Gärdenfors:
Propositional Logic Based on the Dynamics of Belief. J. Symb. Log. 50(2): 390-394 (1985) - Moti Gitik:
Nonsplitting Subset of P (+). J. Symb. Log. 50(4): 881-894 (1985) - Moti Gitik, Menachem Magidor, W. Hugh Woodin:
Two Weak Consequences of 0#. J. Symb. Log. 50(3): 597-603 (1985) - Robert Goldblatt:
On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. J. Symb. Log. 50(2): 412-422 (1985) - Nicolas D. Goodman:
Replacement and Collection in Intuitionistic Set Theory. J. Symb. Log. 50(2): 344-348 (1985) - Thomas J. Grilliot:
Disturbing Arithmetic. J. Symb. Log. 50(2): 375-379 (1985) - Fritz Grunewald, Daniel Segal:
Decision Problems Concerning S-Arithmetic Groups. J. Symb. Log. 50(3): 743-772 (1985) - Yuri Gurevich, Saharon Shelah
:
The Decision Problem for Branching Time Logic. J. Symb. Log. 50(3): 668-681 (1985) - Victor Harnik:
Stability Theory and Set Existence Axioms. J. Symb. Log. 50(1): 123-137 (1985) - John P. Hartley:
Effective Discontinuity and a Characterisation of the Superjump. J. Symb. Log. 50(2): 349-358 (1985) - Julian L. Hook:
A Note on Interpretations of Many-Sorted Theories. J. Symb. Log. 50(2): 372-374 (1985) - Douglas N. Hoover:
A Probabilistic Interpolation Theorem. J. Symb. Log. 50(3): 708-713 (1985) - Paul E. Howard:
Subgroups of a Free Group and the Axiom of Choice. J. Symb. Log. 50(2): 458-467 (1985) - George Koletsos:
Church-Rosser Theorem for Typed Functional Systems. J. Symb. Log. 50(3): 782-790 (1985) - George Koletsos:
Functional Interpretation of the beta-Rule. J. Symb. Log. 50(3): 791-805 (1985) - Jean A. Larson:
The Number of One-Generated Cylindric Set Algebras of Dimension Greater than Two. J. Symb. Log. 50(1): 59-71 (1985) - Daniel Lascar:
Quelques Precisions sur la D.O.P. et la Profondeur d'Une Theorie. J. Symb. Log. 50(2): 316-330 (1985) - Daniel Lascar:
Why Some People are Excited by Vaught's Conjecture. J. Symb. Log. 50(4): 973-982 (1985) - Daniel Leivant:
Syntactic Translations and Provably Recursive Functions. J. Symb. Log. 50(3): 682-688 (1985) - Wolfgang Maass:
Variations on Promptly Simple Sets. J. Symb. Log. 50(1): 138-148 (1985) - Johann A. Makowsky:
Vopenka's Principle and Compact Logics. J. Symb. Log. 50(1): 42-48 (1985) - Annalisa Marcja, Carlo Toffalori:
On Cantor-Bendixson Spectra Containing (1, 1) II. J. Symb. Log. 50(3): 611-618 (1985) - Donald A. Martin, Terence Parsons, Alexander S. Kechris:
Annual Meeting of the Association for Symbolic Logic. J. Symb. Log. 50(4): 1094-1102 (1985) - Ian A. Mason:
The Metatheory of the Classical Propositional Calculus is not Axiomatizable. J. Symb. Log. 50(2): 451-457 (1985) - John Mayberry:
Global Quantification in Zermelo-Fraenkel Set Theory. J. Symb. Log. 50(2): 289-301 (1985) - Kevin McEvoy:
Jumps of Quasi-Minimal Enumeration Degrees. J. Symb. Log. 50(3): 839-848 (1985) - Kevin McEvoy, S. Barry Cooper:
On Minimal Pairs of Enumeration Degrees. J. Symb. Log. 50(4): 983-1001 (1985) - C. G. McKay:
A Consistent Propositional Logic Without any Finite Models. J. Symb. Log. 50(1): 38-41 (1985) - Franco Montagna, Andrea Sorbi:
Universal Recursion Theoretic Properties of R.E. Preordered Structures. J. Symb. Log. 50(2): 397-406 (1985)