Volume 46,
Number 1,
March 1981
- Erik Ellentuck:
Hyper-Torre Isols.
1-5
- Andre Boileau, André Joyal:
La Logique des Topos.
6-16
- W. A. Howard:
Ordinal Analysis of Simple Cases of Bar Recursion.
17-30
- Mitchell Spector:
The kappa-Closed Unbounded Filter and Supercompact Cardinals.
31-40
- John R. Steel:
Determinateness and the Separation Property.
41-44
- Barbara Veit:
A Proof of the Associated Sheaf Theorem by Means of Categorical Logic.
45-55
- Chantal Berline:
Rings Which Admit Elimination of Quantifiers.
56-58
- Akihiro Kanamori:
On P-Points Over a Measurable Cardinal.
59-66
- Frederic Brenton Fitch:
The Consistency of System Q.
67-76
- John T. Kearns:
Modal Semantics without Possible Worlds.
77-86
- E. G. K. López-Escobar:
On the Interpolation Theorem for the Logic of Constant Domains.
87-88
- Arthur W. Apter:
Changing Cofinalities and Infinite Exponents.
89-95
- Fred G. Abramson:
Locally Countable Models of sigma1-Separation.
96-100
- James H. Schmerl:
Decidability and Finite Axiomatizability of Theories of 0-Categorical Partially Ordered Sets.
101-120
- W. Gielen, Harrie C. M. de Swart, Wim Veldman:
The Continuum Hypothesis in Intuitionism.
121-136
- Bruno Poizat:
Sous-Groupes Definissables d'Un Groupe Stable.
137-146
- Andreas Blass:
Some Initial Segments of the Rudin-Keisler Ordering.
147-157
- Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa, Irene F. Mikenberg:
Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.
180-190
- Daniel Halpern, William W. Tait, John T. Baldwin:
Meeting of the Association for Symbolic Logic: Biloxi, 1979.
191-198
- Alfred B. Manaster, Thomas H. Payne, David Harrah:
Meeting of the Association for Symbolic Logic: San Diego, 1979.
199-203
- W. G. Malcolm, M. J. Cresswell:
Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979.
204-206
Volume 46,
Number 2,
June 1981
Volume 46,
Number 3,
September 1981
- J. L. Bell:
Isomorphism of Structures in S-Toposes.
449-459
- Robert P. Daley:
Busy Beaver Sets and the Degrees of Unsolvability.
460-474
- Ralph Kopperman:
First-Order Topological Axioms.
475-489
- Douglas E. Miller:
The Metamathematics of Model Theory: Discovering Language in Action.
490-498
- Pat Rogers:
Preservation of Saturation and Stability in a Variety of Nilpotent Groups.
499-512
- Bruno Poizat:
Theories Instables.
513-522
- Daniele Mundici:
An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem.
523-530
- Daniel Leivant:
On the Proof Theory of the Modal Logic for Arithmetic Provability.
531-538
- J. C. E. Dekker:
Twilight Graphs.
539-571
- Jeffrey B. Remmel:
Recursive Isomorphism Types of Recursive Boolean Algebras.
572-594
- Jeffrey B. Remmel:
Recursive Boolean Algebras with Recursive Atoms.
595-616
- Charlotte Lin:
Recursively Presented Abelian Groups: Effective p-Group Theory. I.
617-624
- Jan Mycielski:
Analysis Without Actual Infinity.
625-633
- Jean-Yves Girard, Peter Päppinghaus:
A Result on Implications of sigma;1-Sentences and Its Application to Normal Form Theorems.
634-642
- E. M. Kleinberg:
Producing Measurable Cardinals Beyond kappa.
643-648
- W. V. Quine:
Predicate Functors Revisited.
649-652
- Hao Wang:
Some Facts About Kurt Godel.
653-659
- Richard Boyd:
Annual Meeting of the Association for Symbolic Logic: Washington, DC 1977.
677-689
- Leszek Pacholski, Jedrzej Wierzejewski:
Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979.
690-702
Volume 46,
Number 4,
December 1981
Copyright © Sun Nov 15 05:52:08 2009
by Michael Ley (ley@uni-trier.de)
