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 ID1.
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 aleph1.
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 alephomega.
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 aleph0-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
Last update Sat May 26 06:47:01 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
