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 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