- John T. Kearns:
Modal Semantics without Possible Worlds. J. Symb. Log. 46(1): 77-86 (1981) - Alexander S. Kechris:
Forcing With \triangle Perfect Trees and Minimal \triangle-Degrees. J. Symb. Log. 46(4): 803-816 (1981) - E. M. Kleinberg:
Producing Measurable Cardinals Beyond kappa. J. Symb. Log. 46(3): 643-648 (1981) - Julia F. Knight:
Algebraic Independence. J. Symb. Log. 46(2): 377-384 (1981) - Ralph Kopperman:
First-Order Topological Axioms. J. Symb. Log. 46(3): 475-489 (1981) - Adam Krawczyk:
Patterns of Projecta. J. Symb. Log. 46(2): 287-295 (1981) - Daniel Leivant:
Implicational Complexity in Intuitionistic Arithmetic. J. Symb. Log. 46(2): 240-248 (1981) - Daniel Leivant:
On the Proof Theory of the Modal Logic for Arithmetic Provability. J. Symb. Log. 46(3): 531-538 (1981) - Charlotte Lin:
Recursively Presented Abelian Groups: Effective p-Group Theory. I. J. Symb. Log. 46(3): 617-624 (1981) - E. G. K. López-Escobar:
On the Interpolation Theorem for the Logic of Constant Domains. J. Symb. Log. 46(1): 87-88 (1981) - E. G. K. López-Escobar:
Equivalence Between Semantics for Intuitionism. I. J. Symb. Log. 46(4): 773-780 (1981) - Michael Makkai:
An Example Concerning Scott Heights. J. Symb. Log. 46(2): 301-318 (1981) - Wilfred G. Malcolm, M. J. Cresswell:
Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979. J. Symb. Log. 46(1): 204-206 (1981) - Alfred B. Manaster, Thomas H. Payne, David Harrah:
Meeting of the Association for Symbolic Logic: San Diego, 1979. J. Symb. Log. 46(1): 199-203 (1981) - Alfred B. Manaster, Jeffrey B. Remmel:
Partial Orderings of Fixed Finite Dimension: Model Companions and Density. J. Symb. Log. 46(4): 789-802 (1981) - Alan H. Mekler:
Stability of Nilpotent Groups of Class 2 and Prime Exponent. J. Symb. Log. 46(4): 781-788 (1981) - Terrence Millar:
Vaught's Theorem Recursively Revisited. J. Symb. Log. 46(2): 397-411 (1981) - Douglas E. Miller:
The Metamathematics of Model Theory: Discovering Language in Action. J. Symb. Log. 46(3): 490-498 (1981) - Daniele Mundici:
An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem. J. Symb. Log. 46(3): 523-530 (1981) - Jan Mycielski:
Analysis Without Actual Infinity. J. Symb. Log. 46(3): 625-633 (1981) - Michael C. Nagle:
The Decidability of Normal K5 Logics. J. Symb. Log. 46(2): 319-328 (1981) - Dag Normann:
Countable Functionals and the Projective Hierarchy. J. Symb. Log. 46(2): 209-215 (1981) - Leszek Pacholski, Jedrzej Wierzejewski:
Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979. J. Symb. Log. 46(3): 690-702 (1981) - Robert A. Di Paola:
A Lift of a Theorem of Friedberg: A Banach-Mazur Functional that Coincides with No alpha-Recursive Functional on the Class of alpha-Recursive Functions. J. Symb. Log. 46(2): 216-232 (1981) - Bruno Poizat:
Sous-Groupes Definissables d'Un Groupe Stable. J. Symb. Log. 46(1): 137-146 (1981) - Bruno Poizat:
Theories Instables. J. Symb. Log. 46(3): 513-522 (1981) - David B. Posner:
The Upper Semilattice of Degrees <0? Is Complemented. J. Symb. Log. 46(4): 705-713 (1981) - David B. Posner, Robert W. Robinson:
Degrees Joining to 0? J. Symb. Log. 46(4): 714-722 (1981) - Willard Van Orman Quine:
Predicate Functors Revisited. J. Symb. Log. 46(3): 649-652 (1981) - Jeffrey B. Remmel:
Recursive Isomorphism Types of Recursive Boolean Algebras. J. Symb. Log. 46(3): 572-594 (1981)
