Volume 55,
Number 1,
March 1990
- Mark E. Nadel, Jonathan Stavi:
On Models of the Elementary Theory of (Z, +, 1).
1-20 BibTeX
- Saharon Shelah:
Strong Negative Partition Above the Continuum.
21-31 BibTeX
- V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele:
Some Uses of Dilators in Combinatorial Problems, II.
32-40 BibTeX
- David N. Yetter:
Quantales and (Noncommutative) Linear Logic.
41-64 BibTeX
- Juha Oikkonen:
On Ehrenfeucht-Fraïssé Equivalence of Linear Orderings.
65-73 BibTeX
- Wayne D. Blizard:
A Formal Theory of Objects, Space and Time.
74-89 BibTeX
- J. Roger Hindley, David Meredith:
Principal Type-Schemes and Condensed Detachment.
90-105 BibTeX
- E. G. K. López-Escobar:
Remarks on the Church-Rosser Property.
106-112 BibTeX
- Miklós Ajtai, Ronald Fagin:
Reachability Is Harder for Directed than for Undirected Finite Graphs.
113-150 BibTeX
- Frank O. Wagner:
Subgroups of Stable Groups.
151-156 BibTeX
- Lew Gordeev:
Generalizations of the Kruskal-Friedman Theories.
157-181 BibTeX
- Nicolas D. Goodman:
Mathematics and Natural Science.
182-193 BibTeX
- Robert S. Lubarsky:
An Introduction to gamma-Recursion Theory (Or What to Do in KP-Foundation).
194-206 BibTeX
- Giangiacomo Gerla:
Pointless Metric Spaces.
207-219 BibTeX
- James G. Williams:
On the Formalization of Semantic Conventions.
220-243 BibTeX
- Andrea Cantini:
A Theory of Formal Truth Arithmetically Equivalent to ID1.
244-259 BibTeX
- Serge Grigorieff:
Every Recursive Linear Ordering Has a Copy in DTIME-SPACE(n, log(n)).
260-276 BibTeX
- Labib Haddad, Marianne Morillon:
L'Axiome de Normalité pour les Espaces Totalement Ordonnés.
277-283 BibTeX
- John W. L. Merrill:
UFA Fails in the Bell-Kunen Model.
284-296 BibTeX
- Timothy Williamson:
Two Incomplete Anti-Realist Modal Epistemic Logics.
297-314 BibTeX
- Samy Zafrany:
On Analytic Filters and Prefilters.
315-322 BibTeX
- Gérard Leloup:
Théeories Compléetes de Paires de Corps Valuées Henseliens.
323-339 BibTeX
Volume 55,
Number 2,
June 1990
- Claude Laflamme:
Upward Directedness of the Rudin-Keisler Ordering of P-Points.
449-456 BibTeX
- Winfried Just, A. R. D. Mathias, Karel Prikry, Petr Simon:
On the Existence of Large p-Ideals.
457-465 BibTeX
- Alan H. Mekler:
Universal Structures in Power aleph1.
466-477 BibTeX
- Alexandre V. Borovik, Bruno Poizat:
Tores et p-Groupes.
478-491 BibTeX
- Arthur W. Apter:
Successors of Singular Cardinals and Measurability Revisited.
492-501 BibTeX
- Derrick Albert DuBose:
The Equivalence of Determinacy and Iterated Sharps.
502-525 BibTeX
- R. David:
Some Results on Higher Suslin Trees.
526-536 BibTeX
- Alain Louveau, Jean Saint-Raymond:
On the Quasi-Ordering of Borel Linear Orders under Embeddability.
537-560 BibTeX
- Lyubomir Ivanov:
Operative vs. Combinatory Spaces.
561-572 BibTeX
- Klaus Sutner:
The Ordertype of beta-R.E. sets.
573-576 BibTeX
- Hajnal Andréka, István Németi, R. J. Thompson:
Weak Cylindric Set Algebra and Weak Subdirect Indecomposability.
577-588 BibTeX
- Paul Bankston:
Taxonomies of Model-Theoretically Defined Topological Properties.
589-603 BibTeX
- Bosko Zivaljevic:
Some Results about Borel Sets in Descriptive Set Theory of Hyperfinite Sets.
604-614 BibTeX
- Jacek Malinowski:
The Deduction Theorem for Quantum Logic - Some Negative Results.
615-625 BibTeX
- John T. Baldwin:
The Spectrum of Resplendency.
626-636 BibTeX
- Carl G. Jockusch Jr., James C. Owings:
Weakly Semirecursive Sets.
637-644 BibTeX
- Paul E. Howard:
Definitions of Compact.
645-655 BibTeX
- Martin W. Bunder:
Some Improvements to Turner's Algorithm for Bracket Abstraction.
656-669 BibTeX
- Hans B. Gute, K. K. Reuter:
The Last Word on Elimination of Quantifiers in Modules.
670-673 BibTeX
- Janusz Pawlikowski:
Finite Support Iteration and Strong Measure Zero Sets.
674-677 BibTeX
- Edmund Robinson, Giuseppe Rosolini:
Colimit Completions and the Effective Topos.
678-699 BibTeX
- David Booth:
Hereditarily Finite Finsler Sets.
700-706 BibTeX
- Arnon Avron:
Relevance and Paraconsistency - A New Approach.
707-732 BibTeX
- Masahiro Kumabe:
A 1-Generic Degree which Bounds a Minimal Degree.
733-743 BibTeX
- Peter Cholak:
Boolean Algebras and Orbits of the Lattice of R.E. Sets Modulo the Finite Sets.
744-760 BibTeX
- Andreas Blass:
Infinitary Combinatorics and Modal Logic.
761-778 BibTeX
- Margarita Otero:
On Diophantine Equations Solvable in Models of Open Induction.
779-786 BibTeX
- Julia F. Knight:
A Metatheorem for Constructions by Finitely Many Workers.
787-804 BibTeX
- Jaap van Oosten:
Lifschitz' Realizability.
805-821 BibTeX
- Thomas Jech, Saharon Shelah:
Full Reflection of Stationary Sets Below alephomega.
822-830 BibTeX
- Andrea Sorbi:
Some Remarks on the Algebraic Structure of the Medvedev Lattice.
831-853 BibTeX
- Normam Feldman:
Cylindric Algebra with Terms.
854-866 BibTeX
Volume 55,
Number 3,
September 1990
- Tapani Hyttinen, Jouko A. Väänänen:
On Scott and Karp Trees of Uncountable Models.
897-908 BibTeX
- Haim Judah, Saharon Shelah:
The Kunen-Miller Chart (Lebesgue Measure, the Baire Property, Laver Reals and Preservation Theorems for Forcing).
909-927 BibTeX
- James Loveys:
Weakly Minimal Groups of Unbounded Exponent.
928-937 BibTeX
- James M. Henle:
Partition Properties and Prikry Forcing on Simple Spaces.
938-947 BibTeX
- Paul Bankston, Wim Ruitenburg:
Notions of Relative Ubiquity for Invariant Sets of Relational Structures.
948-986 BibTeX
- Christine Ann Haught, Richard A. Shore:
Undecidability and Initial Segments of the R.E. tt-Degrees.
987-1006 BibTeX
- Shih Ping Tung:
Decidable Fragments of Field Theories.
1007-1018 BibTeX
- Dan Velleman:
Partitioning Pairs of Countable Sets of Ordinals.
1019-1021 BibTeX
- Arnold W. Miller:
Set Theoretic Properties of Loeb Measure.
1022-1036 BibTeX
- Ludomir Newelski:
Omitting Types for Stable CCC Theories.
1037-1047 BibTeX
- Jeffrey S. Carroll:
Maximal R.E. Equivalence Relations.
1048-1058 BibTeX
- Alessandro Berarducci:
The Interpretability Logic of Peano Arithmetic.
1059-1089 BibTeX
- Sergei N. Artëmov, Giorgie Dzhaparidze:
Finite Kripke Models and Predicate Logics of Provability.
1090-1098 BibTeX
- Pierluigi Minari, Mitio Takano, Hiroakira Ono:
Intermediate Predicate Logics Determined by Ordinals.
1099-1124 BibTeX
- John Pas:
On the Angular Component Map Modulo P.
1125-1129 BibTeX
- James H. Schmerl:
Coinductive aleph0-Categorical Theories.
1130-1137 BibTeX
- Anand Pillay:
Differentially Algebraic Group Chunks.
1138-1142 BibTeX
- Michiel van Lambalgen:
The Axiomatization of Randomness.
1143-1167 BibTeX
- John Chisholm:
Effective Model Theory vs. Recursive Model Theory.
1168-1191 BibTeX
- Alain Touraille:
Théories d'Algébres de Boole Munies d'Idéaux Distingués, II.
1192-1212 BibTeX
- John Chisholm:
The Complexity of Intrinsically R.E. Subsets of Existentially Decidable Models.
1213-1232 BibTeX
- David Ross:
The Special Model Axiom in Nonstandard Analysis.
1233-1242 BibTeX
- David Marker, Anand Pillay:
Reducts of (C, +, ·) which Contain +.
1243-1251 BibTeX
- Alex Heller:
An Existence Theorem for Recursion Categories.
1252-1268 BibTeX
- William M. Farmer:
A Partial Functions Version of Church's Simple Theory of Types.
1269-1291 BibTeX
- Michael H. Albert, Rami P. Grossberg:
Rich Models.
1292-1298 BibTeX
Volume 55,
Number 4,
December 1990
Copyright © Sun May 17 00:11:59 2009
by Michael Ley (ley@uni-trier.de)