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