Volume 45,
Number 1,
March 1980
- Thomas Jech, Menachem Magidor, William John Mitchell, Karel Prikry:
Precipitous Ideals.
1-8
- David Guaspari:
Definability in Models of Set Theory.
9-19
- Jeffrey B. Remmel:
On R.E. and CO-R.E. Vector Spaces with Nonextendible Bases.
20-34
- Victor Harnik:
Game Sentences, Recursive Saturation and Definability.
35-46
- J. Mead, G. C. Nelson:
Model Companions and k-Model Completeness for the Complete Theories of Boolean Algebras.
47-55
- Saharon Shelah:
A Note on Cardinal Exponentiation.
56-66
- Masahiko Sato:
A Cut-Free Gentzen-Type System for the Modal Logic S5.
67-84
- James E. Baumgartner:
Chains and Antichains in P(omega).
85-92
- Joram Hirschfeld:
Finite Forcing, Existential Types and Complete Types.
93-102
- J. V. Tucker:
Computability and the Algebra of Fields: Some Affine Constructions.
103-120
- Alfred B. Manaster, Joseph G. Rosenstein:
Two-Dimensional Partial Orderings: Recursive Model Theory.
121-132
- Alfred B. Manaster, Joseph G. Rosenstein:
Two-Dimensional Partial Orderings: Undecidability.
133-143
- Larry M. Manevitz, Jonathan Stavi:
Triangle 02 Operators and Alternating Sentences in Arithmetic.
144-154
- Steven Garavaglia:
Decomposition of Totally Transcendental Modules.
155-164
- Corrado Böhm, Silvio Micali:
Minimal Forms in lambda-Calculus Computations.
165-171
- W. Richard Stark:
Martin's Axiom in the Model Theory of LA.
172-176
Volume 45,
Number 2,
June 1980
Volume 45,
Number 3,
September 1980
Copyright © Tue Nov 24 20:50:20 2009
by Michael Ley (ley@uni-trier.de)
