default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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 - Kim B. Bruce, H. Jerome Keisler:
LA(\Finv). 15-28 - 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 - Stephen A. Cook, Robert A. Reckhow:
The Relative Efficiency of Propositional Proof Systems. 36-50 - Keith J. Devlin:
Variations on \Diamond. 51-58 - Manuel Lerman, James H. Schmerl:
Theories with Recursive Models. 59-76 - Steven Garavaglia:
Direct Product Decomposition of Theories of Modules. 77-88 - Klaus-Peter Podewski, Joachim Reineke:
Algebraically Closed Commutative Local Rings. 89-94 - 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 - Michal Krynicki, Alistair H. Lachlan:
On the Semantics of the Henkin Quantifier. 184-200 - 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 J. 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 - Daniel Lascar, Bruno Poizat:
An Introduction to Forking. 330-350 - Warren D. Goldfarb:
Logic in the Twenties: The Nature of the Quantifier. 351-368 - Hugues Leblanc, Bas C. van Fraassen:
On Carnap and Popper Probability Functions. 369-373 - Fred G. Abramson:
sigma1-Separation. 374-382 - George 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 - Yuri Gurevich, Saharon Shelah:
Modest Theory of Short Chains. II. 491-502 - D. A. Martin, William John Mitchell:
On the Ultrafilter of Closed, Unbounded Sets. 503-506 - Matt Kaufmann:
A New Omitting Types Theorem for L(Q). 507-521 - Saharon Shelah, Martin Ziegler:
Algebraically Closed Groups of Large Cardinality. 522-532 - 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 - Iraj Kalantari, Allen Retzlaff:
Recursive Constructions in Topological Spaces. 609-625 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-12 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
