The Journal of Symbolic Logic, Volume 55

Volume 55, Number 1, March 1990

• Mark E. Nadel, Jonathan Stavi:
  On Models of the Elementary Theory of (Z, +, 1). 1-20
  
• Saharon Shelah:
  Strong Negative Partition Above the Continuum. 21-31
  
• V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele:
  Some Uses of Dilators in Combinatorial Problems, II. 32-40
  
• David N. Yetter:
  Quantales and (Noncommutative) Linear Logic. 41-64
  
• Juha Oikkonen:
  On Ehrenfeucht-Fraïssé Equivalence of Linear Orderings. 65-73
  
• Wayne D. Blizard:
  A Formal Theory of Objects, Space and Time. 74-89
  
• J. Roger Hindley, David Meredith:
  Principal Type-Schemes and Condensed Detachment. 90-105
  
• E. G. K. López-Escobar:
  Remarks on the Church-Rosser Property. 106-112
  
• Miklós Ajtai, Ronald Fagin:
  Reachability Is Harder for Directed than for Undirected Finite Graphs. 113-150
  
• Frank O. Wagner:
  Subgroups of Stable Groups. 151-156
  
• Lew Gordeev:
  Generalizations of the Kruskal-Friedman Theories. 157-181
  
• Nicolas D. Goodman:
  Mathematics and Natural Science. 182-193
  
• Robert S. Lubarsky:
  An Introduction to gamma-Recursion Theory (Or What to Do in KP-Foundation). 194-206
  
• Giangiacomo Gerla:
  Pointless Metric Spaces. 207-219
  
• James G. Williams:
  On the Formalization of Semantic Conventions. 220-243
  
• Andrea Cantini:
  A Theory of Formal Truth Arithmetically Equivalent to ID₁. 244-259
  
• Serge Grigorieff:
  Every Recursive Linear Ordering Has a Copy in DTIME-SPACE(n, log(n)). 260-276
  
• Labib Haddad, Marianne Morillon:
  L'Axiome de Normalité pour les Espaces Totalement Ordonnés. 277-283
  
• John W. L. Merrill:
  UFA Fails in the Bell-Kunen Model. 284-296
  
• Timothy Williamson:
  Two Incomplete Anti-Realist Modal Epistemic Logics. 297-314
  
• Samy Zafrany:
  On Analytic Filters and Prefilters. 315-322
  
• Gérard Leloup:
  Théeories Compléetes de Paires de Corps Valuées Henseliens. 323-339
  

Volume 55, Number 2, June 1990

• Claude Laflamme:
  Upward Directedness of the Rudin-Keisler Ordering of P-Points. 449-456
  
• Winfried Just, A. R. D. Mathias, Karel Prikry, Petr Simon:
  On the Existence of Large p-Ideals. 457-465
  
• Alan H. Mekler:
  Universal Structures in Power aleph₁. 466-477
  
• Alexandre V. Borovik, Bruno Poizat:
  Tores et p-Groupes. 478-491
  
• Arthur W. Apter:
  Successors of Singular Cardinals and Measurability Revisited. 492-501
  
• Derrick Albert DuBose:
  The Equivalence of Determinacy and Iterated Sharps. 502-525
  
• R. David:
  Some Results on Higher Suslin Trees. 526-536
  
• Alain Louveau, Jean Saint-Raymond:
  On the Quasi-Ordering of Borel Linear Orders under Embeddability. 537-560
  
• Lyubomir Ivanov:
  Operative vs. Combinatory Spaces. 561-572
  
• Klaus Sutner:
  The Ordertype of beta-R.E. sets. 573-576
  
• Hajnal Andréka, István Németi, R. J. Thompson:
  Weak Cylindric Set Algebra and Weak Subdirect Indecomposability. 577-588
  
• Paul Bankston:
  Taxonomies of Model-Theoretically Defined Topological Properties. 589-603
  
• Bosko Zivaljevic:
  Some Results about Borel Sets in Descriptive Set Theory of Hyperfinite Sets. 604-614
  
• Jacek Malinowski:
  The Deduction Theorem for Quantum Logic - Some Negative Results. 615-625
  
• John T. Baldwin:
  The Spectrum of Resplendency. 626-636
  
• Carl G. Jockusch Jr., James C. Owings:
  Weakly Semirecursive Sets. 637-644
  
• Paul E. Howard:
  Definitions of Compact. 645-655
  
• Martin W. Bunder:
  Some Improvements to Turner's Algorithm for Bracket Abstraction. 656-669
  
• Hans B. Gute, K. K. Reuter:
  The Last Word on Elimination of Quantifiers in Modules. 670-673
  
• Janusz Pawlikowski:
  Finite Support Iteration and Strong Measure Zero Sets. 674-677
  
• Edmund Robinson, Giuseppe Rosolini:
  Colimit Completions and the Effective Topos. 678-699
  
• David Booth:
  Hereditarily Finite Finsler Sets. 700-706
  
• Arnon Avron:
  Relevance and Paraconsistency - A New Approach. 707-732
  
• Masahiro Kumabe:
  A 1-Generic Degree which Bounds a Minimal Degree. 733-743
  
• Peter Cholak:
  Boolean Algebras and Orbits of the Lattice of R.E. Sets Modulo the Finite Sets. 744-760
  
• Andreas Blass:
  Infinitary Combinatorics and Modal Logic. 761-778
  
• Margarita Otero:
  On Diophantine Equations Solvable in Models of Open Induction. 779-786
  
• Julia F. Knight:
  A Metatheorem for Constructions by Finitely Many Workers. 787-804
  
• Jaap van Oosten:
  Lifschitz' Realizability. 805-821
  
• Thomas Jech, Saharon Shelah:
  Full Reflection of Stationary Sets Below aleph_omega. 822-830
  
• Andrea Sorbi:
  Some Remarks on the Algebraic Structure of the Medvedev Lattice. 831-853
  
• Normam Feldman:
  Cylindric Algebra with Terms. 854-866
  

Volume 55, Number 3, September 1990

• Tapani Hyttinen, Jouko A. Väänänen:
  On Scott and Karp Trees of Uncountable Models. 897-908
  
• Haim Judah, Saharon Shelah:
  The Kunen-Miller Chart (Lebesgue Measure, the Baire Property, Laver Reals and Preservation Theorems for Forcing). 909-927
  
• James Loveys:
  Weakly Minimal Groups of Unbounded Exponent. 928-937
  
• James M. Henle:
  Partition Properties and Prikry Forcing on Simple Spaces. 938-947
  
• Paul Bankston, Wim Ruitenburg:
  Notions of Relative Ubiquity for Invariant Sets of Relational Structures. 948-986
  
• Christine Ann Haught, Richard A. Shore:
  Undecidability and Initial Segments of the R.E. tt-Degrees. 987-1006
  
• Shih Ping Tung:
  Decidable Fragments of Field Theories. 1007-1018
  
• Dan Velleman:
  Partitioning Pairs of Countable Sets of Ordinals. 1019-1021
  
• Arnold W. Miller:
  Set Theoretic Properties of Loeb Measure. 1022-1036
  
• Ludomir Newelski:
  Omitting Types for Stable CCC Theories. 1037-1047
  
• Jeffrey S. Carroll:
  Maximal R.E. Equivalence Relations. 1048-1058
  
• Alessandro Berarducci:
  The Interpretability Logic of Peano Arithmetic. 1059-1089
  
• Sergei N. Artëmov, Giorgie Dzhaparidze:
  Finite Kripke Models and Predicate Logics of Provability. 1090-1098
  
• Pierluigi Minari, Mitio Takano, Hiroakira Ono:
  Intermediate Predicate Logics Determined by Ordinals. 1099-1124
  
• John Pas:
  On the Angular Component Map Modulo P. 1125-1129
  
• James H. Schmerl:
  Coinductive aleph₀-Categorical Theories. 1130-1137
  
• Anand Pillay:
  Differentially Algebraic Group Chunks. 1138-1142
  
• Michiel van Lambalgen:
  The Axiomatization of Randomness. 1143-1167
  
• John Chisholm:
  Effective Model Theory vs. Recursive Model Theory. 1168-1191
  
• Alain Touraille:
  Théories d'Algébres de Boole Munies d'Idéaux Distingués, II. 1192-1212
  
• John Chisholm:
  The Complexity of Intrinsically R.E. Subsets of Existentially Decidable Models. 1213-1232
  
• David Ross:
  The Special Model Axiom in Nonstandard Analysis. 1233-1242
  
• David Marker, Anand Pillay:
  Reducts of (C, +, *) which Contain +. 1243-1251
  
• Alex Heller:
  An Existence Theorem for Recursion Categories. 1252-1268
  
• William M. Farmer:
  A Partial Functions Version of Church's Simple Theory of Types. 1269-1291
  
• Michael H. Albert, Rami P. Grossberg:
  Rich Models. 1292-1298
  

Volume 55, Number 4, December 1990

• Herbert B. Enderton:
  Cumulative Index to Volumes 27-55 (1962-1990). 1329-1789
  

Last update Tue May 21 19:20:25 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page