Volume 38, Number 1, March 1973
T. M. Scanlon:
The Consistency of Number Theory Via Herbrand's Theorem.
29-58
C. Ward Henson:
Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations".
59-68
C. Ward Henson:
Permutation Methods Applied to Quine's "New Foundations".
69-76
John Lake:
A Note on Modified Abstraction Principles.
77-78
Dov M. Gabbay:
The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields.
86-92
Volume 38, Number 2, June 1973
Satoko Titani:
A Proof of the Cut-Elimination Theorem in Simple Type Theory.
215-226
W. Marek:
Observations Concerning Elementary Extensions of omega-Models. II.
227-231
Glen H. Suter:
Recursive Elements and Constructive Extensions of Computable Local Integral Domains.
272-290
Carl G. Jockusch Jr.:
An Application of sigma04 Determinancy to the Degrees of Unsolvability.
293-294
Clement F. Kent:
The Relation of A to Prov A in the Lindenbaum Sentence Algebra.
295-298
P. M. Cohn:
The Word Problem for Free Fields.
309-314
Harvey Friedman:
The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic.
315-319
Volume 38, Number 3, September 1973
Robert G. Jeroslow:
Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem.
359-367
Richard Mansfield:
On the Possibility of a Sigma12 Well-Ordering of the Baire Space.
396-398
John Lake:
On an Ackermann-Type Set Theory.
410-412
Paul E. Howard:
Limitations on the Fraenkel-Mostowski Method of Independence Proofs.
416-422
E. M. Kleinberg:
Rowbottom Cardinals and Jonsson Cardinals are Almost the Same.
423-427
Henk Barendregt:
A Characterization of Terms of the lambda I-Calculus Having a Normal Form.
441-445
Nicolas D. Goodman:
The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions.
453-459
John Gregory:
Uncountable Models and Infinitary Elementary Extensions.
460-470
Haskell B. Curry:
The Consistency of a System of Combinatory Restricted Generality.
489-492
Volume 38, Number 4, December 1973
Keith J. Devlin:
Measurable Cardinals and a Combinatorial Principle of Jensen.
551-560
James S. Johnson:
Axiom Systems for First Order Logic with Finitely Many Variables.
576-578
Jonathan Stavi:
A Converse of the Barwise Completeness Theorem.
594-612
Melvin Fitting:
Model Existence Theorems for Modal and Intuitionistic Logics.
613-627
data released under the ODC-BY 1.0 license
