Switch to: Citations

References in:

One hundred and two problems in mathematical logic

Harvey Friedman

Journal of Symbolic Logic 40 (2):113-129 (1975)

Add references

You must login to add references.

Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.details Logic and Philosophy of Logic Direct download Export citation Bookmark 75 citations
On Extensions of Elementary Logic.Per Lindström - 1969 - Theoria 35 (1):1-11.details Intuitionistic Logic in Logic and Philosophy of Logic Nonclassical Logics in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 109 citations
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.details Logic and Philosophy of Logic Direct download Export citation Bookmark 71 citations
Some applications of model theory in set theory.Jack H. Silver - 1971 - Annals of Mathematical Logic 3 (1):45.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 54 citations
Minimal alpha-degrees.Richard A. Shore - 1972 - Annals of Mathematical Logic 4 (4):393.details Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 9 citations
Minimal α-degrees.Richard A. Shore - 1972 - Annals of Mathematical Logic 4 (4):393-414.details Areas of Mathematics in Philosophy of Mathematics Direct download (3 more) Export citation Bookmark 9 citations
The α-finite injury method.G. E. Sacks & S. G. Simpson - 1972 - Annals of Mathematical Logic 4 (4):343-367.details Areas of Mathematics in Philosophy of Mathematics Direct download (3 more) Export citation Bookmark 39 citations
The alpha-finite injury method.G. E. Sacks - 1972 - Annals of Mathematical Logic 4 (4):343.details Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 39 citations
Aronszajn trees and the independence of the transfer property.William Mitchell - 1972 - Annals of Mathematical Logic 5 (1):21.details Logic and Philosophy of Logic Model Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 93 citations
Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.details No categories Direct download (3 more) Export citation Bookmark 86 citations
Some minimal pairs of alpha-recursively enumerable degrees.Manuel Lerman - 1972 - Annals of Mathematical Logic 4 (4):415.details Model Theory in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 19 citations
Distributive Initial Segments of the Degrees of Unsolvability.A. H. Lachlan - 1968 - Mathematical Logic Quarterly 14 (30):457-472.details Model Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark 21 citations
Distributive Initial Segments of the Degrees of Unsolvability.A. H. Lachlan - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (30):457-472.details No categories Direct download Export citation Bookmark 21 citations
On the consistency of a slight (?) Modification of quine'smew foundations.Ronald Björn Jensen - 1968 - Synthese 19 (1-2):250 - 264.details W. V. O. Quine in 20th Century Philosophy Direct download (4 more) Export citation Bookmark 42 citations
Higher set theory and mathematical practice.Harvey M. Friedman - 1971 - Annals of Mathematical Logic 2 (3):325.details Informal Logic in Logic and Philosophy of Logic Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 43 citations

1