The Journal of Symbolic Logic, Volume 44

Volume 44, Number 1, March 1979

Johan van Benthem: Canonical Modal Logics and Ultrafilter Extensions. 1-8 BibTeX
Douglas E. Miller: An Application of Invariant Sets to Global Definability. 9-14 BibTeX
Kim B. Bruce, H. Jerome Keisler: L_A(\Finv). 15-28 BibTeX
Douglas E. Miller: On Classes Closed Under Unions of Chains. 29-31 BibTeX
Nobuyoshi Motohashi: A Remark on Africk's Paper on Scott's Interpolation Theorem for L_omega1 omega. 32 BibTeX
George Boolos: Reflection Principles and Iterated Consistency Assertions. 33-35 BibTeX
Stephen A. Cook, Robert A. Reckhow: The Relative Efficiency of Propositional Proof Systems. 36-50 BibTeX
Keith J. Devlin: Variations on \Diamond. 51-58 BibTeX
Manuel Lerman, James H. Schmerl: Theories with Recursive Models. 59-76 BibTeX
Steven Garavaglia: Direct Product Decomposition of Theories of Modules. 77-88 BibTeX
Klaus-Peter Podewski, Joachim Reineke: Algebraically Closed Commutative Local Rings. 89-94 BibTeX
Sy D. Friedman: HC of an Admissible Set. 95-102 BibTeX
Carl F. Morgenstern: The Measure Quantifier. 103-108 BibTeX
Bruce I. Rose: Corrigendum: "Rings which Admit Elimination of Quantifiers". 109-110 BibTeX
Wolfgang Schönfeld: An Undecidability Result for Relation Algebras. 111-115 BibTeX

John Cowles: The Relative Expressive Power of Some Logics Extending First-Order Logic. 129-146 BibTeX
Judy Green: Some Model Theory for Game Logics. 147-152 BibTeX
George Loullis: Sheaves and Boolean Valued Model Theory. 153-183 BibTeX
Michal Krynicki, Alistair H. Lachlan: On the Semantics of the Henkin Quantifier. 184-200 BibTeX
Kit Fine: Failures of the Interpolation Lemma in Quantified Modal Logic. 201-206 BibTeX
Michael J. Carroll: Reduction to First Degree in Quantificational S5. 207-214 BibTeX
Saharon Shelah: On Uniqueness of Prime Models. 215-220 BibTeX
Luis E. Sanchis: Reducibilities in Two Models for Combinatory Logic. 221-234 BibTeX
Phokion G. Kolaitis: Recursion in a Quantifier vs. Elementary Induction. 235-259 BibTeX
William Mitchell: Ramsey Cardinals and Constructibility. 260-266 BibTeX
D. A. Turner: Another Algorithm for Bracket Abstraction. 267-270 BibTeX

Victor Harnik: Refinements of Vaught's Normal from Theorem. 289-306 BibTeX
Terrence Millar: A Complete, Decidable Theory with Two Decidable Models. 307-312 BibTeX
Michael L. Wage: Almost Disjoint Sets and Martin's Axiom. 313-318 BibTeX
Saharon Shelah: Hanf Number of Omitting Type for Simple First-Order Theories. 319-324 BibTeX
Helmut Schwichtenberg: On Bar Recursion of Types 0 and 1. 325-329 BibTeX
Daniel Lascar, Bruno Poizat: An Introduction to Forking. 330-350 BibTeX
Warren D. Goldfarb: Logic in the Twenties: The Nature of the Quantifier. 351-368 BibTeX
Hugues Leblanc, Bas C. van Fraassen: On Carnap and Popper Probability Functions. 369-373 BibTeX
Fred G. Abramson: sigma₁-Separation. 374-382 BibTeX
G. Metakides, Jeffrey B. Remmel: Recursion Theory on Orderings. I. A Model Theoretic Setting. 383-402 BibTeX
Charles Landraitis: A Combinatorial Property of the Homomorphism Relation between Countable Order Types. 403-411 BibTeX
Carol Wood: Notes on the Stability of Separably Closed Fields. 412-416 BibTeX
Gaisi Takeuti: A Transfer Principle in Harmonic Analysis. 417-440 BibTeX
Leszek Pacholski: European Meeting of the Association for Symbolic Logic. 441-468 BibTeX
John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Yiannis N. Moschovakis: The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. 469-480 BibTeX

Yuri Gurevich: Modest Theory of Short Chains. I. 481-490 BibTeX
Yuri Gurevich, Saharon Shelah: Modest Theory of Short Chains. II. 491-502 BibTeX
D. A. Martin, William John Mitchell: On the Ultrafilter of Closed, Unbounded Sets. 503-506 BibTeX
Matt Kaufmann: A New Omitting Types Theorem for L(Q). 507-521 BibTeX
Saharon Shelah, Martin Ziegler: Algebraically Closed Groups of Large Cardinality. 522-532 BibTeX
Jeffrey B. Remmel: R-Maximal Boolean Algebras. 533-548 BibTeX
Carl F. Morgenstern: Weakly Compact Cardinals: A Combinatorial Proof. 559-562 BibTeX
Carl F. Morgenstern: On the Ordering of Certain Large Cardinals. 563-565 BibTeX
John P. Burgess: Logic and Time. 566-582 BibTeX
Kenneth L. Manders: The Theory of all Substructures of a Structure: Characterisation and Decision Problems. 583-598 BibTeX
John T. Baldwin: Stability Theory and Algebra. 599-608 BibTeX
Iraj Kalantari, Allen Retzlaff: Recursive Constructions in Topological Spaces. 609-625 BibTeX
Alistair H. Lachlan: Bounding Minimal Pairs. 626-642 BibTeX
Werner Stegbauer: A Generalized Model Companion for a Theory of Partially Ordered Fields. 643-652 BibTeX
Thomas G. McLaughlin: Meeting of the Association for Symbolic Logic Houston, 1978. 660-664 BibTeX