A theorem on initial segments of degrees
- 期刊名称The Journal of Symbolic Logic
- 作者Thomason, S. K.
- 卷第35卷
- 期第1期
- 印刷ISSN0022-4812
- 电子ISSN1943-5886
- 文件大小262.40KB
- 发表时间1970-03
- DOI10.1017/s0022481200092203
- 页码41-45
ReviewsBenson Mates; Ryszard Wójcicki; Bruce Vermazen; Rollin W. Workman · Synthese · 1967
Identity and Predication in PlatoBenson Mates · Phronesis · 1979
On Refuting the SkepticBenson Mates · Proceedings and Addresses of the American Philosophical Association · 1984
Diodorean ImplicationBenson Mates · The Philosophical Review · 1949
EditorialMorris Halle, Peter Hartmann, K. Kunjunni Raja, Benson Mates, J. F. Staal, Pieter A. Verburg and John W. M. Verhaar · Foundations of Language · 1972
Diodoran Modalitiesby A. N. PriorReview by: Benson Mates · The Journal of Symbolic Logic · 1956
Interpretation and Precisenessby Arne NaessReview by: Benson Mates · The Philosophical Review · 1958
Medieval Logicby Philotheus BoehnerReview by: Benson Mates · The Philosophical Review · 1954
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957