Switch to: Citations

References in:

Systems of predicative analysis

Solomon Feferman

Journal of Symbolic Logic 29 (1):1-30 (1964)

Add references

You must login to add references.

A survey of Mathematical logic.Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.details Logic and Philosophy of Logic Direct download Export citation Bookmark 9 citations
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details No categories Direct download Export citation Bookmark 354 citations
Ordinal Numbers and Predicative Set Theory.Hao Wang - 1959 - Mathematical Logic Quarterly 5 (14‐24):216-239.details The Nature of Sets, Misc in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 4 citations
Ordinal Numbers and Predicative Set Theory.Hao Wang - 1959 - Mathematical Logic Quarterly 5 (14-24):216-239.details Cardinals and Ordinals in Philosophy of Mathematics Set Theory as a Foundation in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 3 citations
The Consistency of the Axiom of Choice and the Generalized Continuum-Hypothesis with the Axioms of Set Theory.Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):207-208.details Axioms of Set Theory in Philosophy of Mathematics Cardinals and Ordinals in Philosophy of Mathematics Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 29 citations
Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.details Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 50 citations

1