The Journal of Symbolic Logic, Volume 44
Volume 44, Number 1, March 1979
Johan van Benthem: Canonical Modal Logics and Ultrafilter Extensions. 1-8- Douglas E. Miller: An Application of Invariant Sets to Global Definability. 9-14
- Douglas E. Miller: On Classes Closed Under Unions of Chains. 29-31
- Nobuyoshi Motohashi: A Remark on Africk's Paper on Scott's Interpolation Theorem for Lomega1 omega. 32
- George Boolos: Reflection Principles and Iterated Consistency Assertions. 33-35
- Keith J. Devlin: Variations on \Diamond. 51-58
- Steven Garavaglia: Direct Product Decomposition of Theories of Modules. 77-88
- Sy D. Friedman: HC of an Admissible Set. 95-102
- Carl F. Morgenstern: The Measure Quantifier. 103-108
- Bruce I. Rose: Corrigendum: "Rings which Admit Elimination of Quantifiers". 109-110
- Wolfgang Schönfeld: An Undecidability Result for Relation Algebras. 111-115
Volume 44, Number 2, June 1979
- John Cowles: The Relative Expressive Power of Some Logics Extending First-Order Logic. 129-146
- Judy Green: Some Model Theory for Game Logics. 147-152
- George Loullis: Sheaves and Boolean Valued Model Theory. 153-183
- Kit Fine: Failures of the Interpolation Lemma in Quantified Modal Logic. 201-206
- Michael J. Carroll: Reduction to First Degree in Quantificational S5. 207-214
- Saharon Shelah: On Uniqueness of Prime Models. 215-220
- Luis E. Sanchis: Reducibilities in Two Models for Combinatory Logic. 221-234
- Phokion G. Kolaitis: Recursion in a Quantifier vs. Elementary Induction. 235-259
- William Mitchell: Ramsey Cardinals and Constructibility. 260-266
- D. A. Turner: Another Algorithm for Bracket Abstraction. 267-270
Volume 44, Number 3, September 1979
- Victor Harnik: Refinements of Vaught's Normal from Theorem. 289-306
- Terrence Millar: A Complete, Decidable Theory with Two Decidable Models. 307-312
- Michael L. Wage: Almost Disjoint Sets and Martin's Axiom. 313-318
- Saharon Shelah: Hanf Number of Omitting Type for Simple First-Order Theories. 319-324
- Helmut Schwichtenberg: On Bar Recursion of Types 0 and 1. 325-329
- Warren D. Goldfarb: Logic in the Twenties: The Nature of the Quantifier. 351-368
- Fred G. Abramson: sigma1-Separation. 374-382
- G. Metakides, Jeffrey B. Remmel: Recursion Theory on Orderings. I. A Model Theoretic Setting. 383-402
- Charles Landraitis: A Combinatorial Property of the Homomorphism Relation between Countable Order Types. 403-411
- Carol Wood: Notes on the Stability of Separably Closed Fields. 412-416
- Gaisi Takeuti: A Transfer Principle in Harmonic Analysis. 417-440
- Leszek Pacholski: European Meeting of the Association for Symbolic Logic. 441-468
- 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
Volume 44, Number 4, December 1979
- Yuri Gurevich: Modest Theory of Short Chains. I. 481-490
- Matt Kaufmann: A New Omitting Types Theorem for L(Q). 507-521
- Jeffrey B. Remmel: R-Maximal Boolean Algebras. 533-548
- Carl F. Morgenstern: Weakly Compact Cardinals: A Combinatorial Proof. 559-562
- Carl F. Morgenstern: On the Ordering of Certain Large Cardinals. 563-565
- John P. Burgess: Logic and Time. 566-582
- Kenneth L. Manders: The Theory of all Substructures of a Structure: Characterisation and Decision Problems. 583-598
- John T. Baldwin: Stability Theory and Algebra. 599-608
- Alistair H. Lachlan: Bounding Minimal Pairs. 626-642
- Werner Stegbauer: A Generalized Model Companion for a Theory of Partially Ordered Fields. 643-652
- Thomas G. McLaughlin: Meeting of the Association for Symbolic Logic Houston, 1978. 660-664
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team