Towards finishing off the axiom of reducibility

 Access to full text

 Full (PDF)

1. Aczel, Peter1987Non-well Founded Sets, CSLI Lectures Notes n° 14. 
2. Church, Alonzo1976Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski, Journal of Symbolic Logic 41, 747-60. Zbl0383.03005
3. Chwistek, Leon1921Antynomie logiki formalnej, Przeglad Filozoficzny 24; 164-171 (english trans., "Antinomies of Formal Logic", in [McCall 1967]). 
4. Chwistek, Leon1922Ueber die Antinomien der Prinzipien der Mathematik, Mathematische Zeitschrift 14, 236-243. JFM48.0050.03
5. Chwistek, Leon1929Neue Grundlagen der Logik und Mathematik, Mathematische Zeitschrift 30. JFM56.0047.01
6. Copi, Irving M.1950The Inconsistency or Redundancy of Principia Mathematica, Philosophical and Phenomenological Research 11, 190-199. Zbl0040.29405
7. Copi, Irving M.1971The Theory of Logical Types, London : Routledge and Kegan Paul. 
8. Feferman, Solomon1964Systems of Predicative Analysis, The Journal of Symbolic Logic 29, 1-30. Zbl0134.01101
9. Gödel, Kurt1944Russell's Mathematical Logic, in [Schilpp 1944, 123-153] (reprinted. in [Gödel 1986-??, vol. II, 119-141]) 
10. Gödel, Kurt1986-??Collected Works (ed. by S. Feferman et alii), New York et Oxford : Oxford University Press, vol. I, Publications 1929-1936, 1986;vol. II, Publications 1938-1974, 1990; vol. III, Unpublished Essays and Lectures, 1995; vol. IV, forthcoming. Zbl0698.01023
11. Kleene, Stephen C.1955a Arithmetical Predicates and Function Quantifiers, Transactions of the American Mathematical Society 79, 312-340. Zbl0066.25703
12. Kleene, Stephen C.1955b Hierarchies of Number Theoretic Predicates, Bulletin of the American Mathematical Society 61, 193-213. Zbl0066.25901
13. Kleene, Stephen C.1959Quantification of Number-theoretic Functions, Compositio Mathematica 14, 23-40. Zbl0085.24701
14. McCall, Storrs (ed.) 1967Polish Logic 1920-1939, Oxford : Clarendon Press. 
15. Mirimanoff, Dimitri1917Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles, L'Enseignement Mathématique 19, 37-52. Zbl46.0306.01JFM46.0306.01
16. Myhill, John1979A Refutation of an Unjustified Attack on the Axiom of Reducibility, in [Roberts 1979]. 
17. Parsons, Charles1990Introductory note to 1944, in [Gödel 1986-??, vol. II]. 
18. Poincaré, Henri1905-06Les mathématiques et la logique, Revue de Métaphysique et de Morale 13 (1905), 815-835; 14 (1906), 17-34, 294-317 (abridged and modified version in [Poincaré 1908]). JFM36.0081.05
19. Poincaré, Henri1908Science et Méthode, Paris : Flammarion. Zbl39.0095.03
20. Quine, Willard Van Orman1963Set Theory and its Logic, Cambridge, Mass : Harvard University Press (2nd ed. 1969). Zbl0193.30402
21. Ramsey, Frank Plumpton1925The Foundations of Mathematics, Proceedings of the London Mathematical Society, series 2, 25 (1926), 338-384 (paper read before the London Mathematical Society in 1925; reprinted in [Ramsey 1978]). JFM52.0046.01
22. Ramsey, Frank Plumpton1978Foundations Essays in Philosophy, Logic, Mathematics and Economics (ed. by D. H. Mellor), London and Henley : Routledge and Kegan Paul. Zbl0002.00501
23. Roberts, G. (ed.) 1979Bertrand Russell, Memorial Volume, London : G. Allen and Unwin. 
24. Rouilhan, Philippe de1996Russell et le cercle des paradoxes, Paris : P.U.F. 
25. Russell, Bertrand1907The Regressive Method of Discovering the Premisses of Mathematics, published in [Russell 1973]. 
26. Russell, Bertrand1908Mathematical Logic as Based on the Theory of Types, American Journal of Mathematics 30, 222-262 (reprinted. in [Russell 1956]). Zbl39.0085.03JFM39.0085.03
27. Russell, Bertrand1910 Cf. [Whitehead and Russell 1910-27, vol. I, lst ed]. 
28. Russell, Bertrand1956Logic and Knowledge Essays 1901-1950 (ed. by R. C. Marsh), London : G. Allen and Unwin. Zbl0075.23102
29. Russell, Bertrand1973Essays in Analysis (ed. by D. Lackey), London : G. Allen and Unwin. 
30. Schütte, Kurt1960Beweistheorie, Berlin : Springer. Zbl0102.24704
31. Wittgenstein, Ludwig1913a Letter to Russell of September 5, 1913, in [Wittgentein 1961, 2nd ed., 123]. 
32. Wittgenstein, Ludwig1913b Letter to Russell of the end of 1913, in [Wittgentein 1961, 2nd ed., 127-129]. 
33. Wittgenstein, Ludwig1961Notebooks 1914-1916 (ed. by G. H. von Wright and G. E. M. Anscombe, with an english trans. by G. E. M. Anscombe), Oxford : B. Blackwell (2nd ed. 1979). 
34. Wittgenstein, Ludwig1977Culture and Value (ed. by G. H. von Wright, trans. by P. Winch), Oxford : B. Blackwell. 
35. Zermelo, Ernst1908Untersuchungen über die Grundlagen der Mengenlehre, I, Mathematische Annalen 59, 261-281. JFM39.0097.03
36. Zermelo, Ernst1930Ueber Grenzzahlen und Mengenbereiche Neue Untersuchungen über die Grundlagen der Mengenlehre, Fundamenta Mathematicae 16, 29-47. Zbl56.0082.02JFM56.0082.02