|
Predicative provability in set theory
Author(s):
S.
Feferman
Journal:
Bull. Amer. Math. Soc.
72
(1966),
486-489.
MathSciNet review:
0193008
Retrieve article in:
PDF
References |
Additional information
References:
- 1.
- S. Feferman, Systems of predicative analysis, J. Symbolic Logic 29 (1964), 1-30. MR 193006
- 2.
- S. Feferman and G. Kreisel, Persistent and invariant formulas relative to theories of higher type, Bull. Amer. Math. Soc. 72 (1966), 480-485. MR 193007
- 3.
- K. Gödel, The consistency of the axiom of choice and the generalized continuum hypothesis with the axioms of set theory (2nd printing), Annals of Mathematics Studies No. 3, Princeton Univ. Press, Princeton, N. J., 1951.
Additional Information:
DOI:
10.1090/S0002-9904-1966-11509-4
PII:
S 0002-9904(1966)11509-4
|
