This is a preview of subscription content, access via your institution.
REFERENCES
Ackermann, Wilhelm: 1925, 'Begründung des “tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit', Mathematische Annalen 93, 1–36.
Ackermann, Wilhelm: 1928,'ZumHilbertschen Aufbau der reellen Zahlen',Mathematische Annalen 99, 118–33; translated in van Heijenoort (1967), 493- 507.
Ackermann, Wilhelm: 1940, 'ZurWiderspruchsfreiheit der Zahlentheorie',Mathematische Annalen 117, 162–94.
Artin, Emil: 1927, 'Über die Zerlegung definiter Functionen in Quadrate', Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 5, 100–15; reprinted in (1965), 273- 88.
Artin, Emil: 1965, Lang, Serge and John T. Tate (eds.), Collected Papers, Addison Wesley, Reading, MA.
Artin, Emil and Otto Schreier: 1926, 'Algebraische Konstruktion reeller Körper', Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 5, 85–99; reprinted in Artin 1965, 258- 72.
Artin, Emil and Otto Schreier: 1927, 'Eine Kennzeichnung der reell abgeschlossenen Körper', Abhantlungen aus dem Mathematischen Seminar der Hamburgischen Universit ät 5, 225–31; reprinted in Artin 1965, 289- 95.
Asser, Günter: 1957, 'Theorie der logischen Auswahlfunktionen', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 3, 30–68.
Bernays, Paul: 1928, 'Zusatz zu Hilberts Vortrag über “Die Grundlagen derMathematik” ', Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 6, 89–92; translated in van Heijenoort (1967), 486- 89.
Blumenthal, Otto: 1935, 'Lebensgeschichte', in Hilbert (1932- 5), vol. 3, 388–429.
Browder, Felix E. (ed.): 1976, Mathematical Developments Arising from Hilbert's Problems, Proceedings of Symposia in Pure Mathematics vol. 28, American Mathematical Society, Providence, RI.
Brownawell, W. Dale: 1987, 'Bounds for the Degrees in the Nullstellensatz', Annals of Mathematics 126, 577–91.
Busemann, Herbert: 1976, 'Problem IV: Desarguesian Spaces', in Browder (1976), 131–41.
Cantor, Georg: 1872, 'Über die Ausdehnung eines Satzes aus der Theorie der trignometrischen Reihen', Mathematische Annalen, 5, 123-32; reprinted in (1932) below, 92- 102.
Cantor, Georg: 1883, 'Über unendliche, lineare Punktmannigfaltigkeiten', V. Mathematische Annalen 21, 545–91; published separately as Grundlagen einer allgemeinen Mannigfaltigkeitslehre: Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen; Teubner, Leipzig, 1883; reprinted in (1932) below, 165- 209.
Cantor, Georg: 1932, Ernst Zermelo (ed.), Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, Julius Springer, Berlin; reprinted in Berlin, Springer-Verlag 1980.
Carnap, Rudolf: 1961, 'On the Use of Hilbert's ∉-operator in Scientific Theories', in Bar Hillel, Yehoshua, E. I. J. Poznanski, Michael O. Rabin, and Abraham Robinson (eds.), Essays on the Foundations of Mathematics, Magnes Press, Jerusalem, 156–64.
Church, Alonzo: 1976, 'Comparison of Russell's Resolution of the Semantical Antimonies with that of Tarski', Journal of Symbolic Logic 41, 747–60.
Dedekind, Richard: 1872, Stetigkeit und irrationale Zahlen, F. Vieweg, Braunschweig; fifth, 1927 edition reprinted in (1932) below, vol. 3, 315–34; translated in (1963) below, 1- 27.
Dedekind, Richard: 1932, Fricke, Robert, Emmy Noether, and Öystein Ore (eds.), Gesammelte Mathematische Werke, F. Vieweg, Braunschweig; reprinted Chelsea, New York, 1969.
Dedekind, Richard: 1963, Essays on the Theory of Numbers, translations by Wooster W. Beman, Dover, New York (reprint of original edition, Open Court, Chicago, 1901).
Dreben, Burton and John Denton: 1966, 'A Supplement to Herbrand', Journal of Symbolic Logic 31, 393–8.
Dreben, Burton and John Denton: 1970, 'Herbrand-style Consistency Proofs', in John R. Myhill, Akiko Kino, and Richard E. Vesley (eds.), Intuitionism and Proof Theory, North-Holland, Amsterdam, 419–33.
Ellison, W. J.: 1971, 'Waring's Problem', American Mathematical Monthly 78, 10–36.
Ehrlich, Philip: 1995, 'Hahn's Über die Nichtarchimedischen Grössensysteme and the Development of the Modern Theory of Magnitudes and Numbers to Measure Them', in Jaakko Hintikka (ed.), From Dedekind to Gödel. Essays on the Development of the Foundations of Mathematics, Synthese Library volume 251, Kluwer, Dordrecht, 165–213.
Feferman, Solomon: 1962, 'Classifications of Recursive Functions by Means of Hierarchies', Transactions of the American Mathematical Society 104, 101–22.
Feferman, Solomon: 1988, 'Hilbert's Program Relativized: Proof-theoretical and Foundational Reductions', Journal of Symbolic Logic 53, 364–84.
Fraenkel, Abraham A.: 1922, 'Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre', Mathematische Annalen 86, 230–37.
Frege, Gottlob: 1980, G. Gabriel et al. (ed.), Philosophical and Mathematical Correspondence, University of Chicago Press, Chicago, IL.
Friedman, Harvey M.: 1975, 'Some Systems of Second Order Arithmetic and their Uses', in: Proceedings of the International Congress of Mathematicians, Vancouver 1974, vol.1, Canadian Mathematical Congress, 235–42.
Gauss, Carl F.: 1799, 'Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse', doctoral dissertation, University of Helmstedt.
Gel'fond, Aleksander O.: 1934, 'On Hilbert's Seventh Problem', Doklady Akademii Nauk SSSR 2, 1–6.
Gentzen, Gerhard: 1936, 'Die Widerspruchsfreiheit der reinen Zahlentheorie', Mathematische Annalen 112, 493–565; translated in (1969) below, 132- 213.
Gentzen, Gerhard: 1938, 'Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie', Forschungen zur Logik und zur Grundlegung der exaktenWissenschaften, S. Hirzel, Leipzig, 19–44; translated in (1969) below, 252- 286.
Gentzen, Gerhard: 1943, 'Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie', Mathematische Annalen 119, 140–61; translated in (1969) below, 287- 308.
Gentzen, Gerhard: 1969, in M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam.
Gödel, Kurt F.: 1930, 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls', Monatshefte für Mathematik und Physik 37, 349–60; reprinted and translated in (1986) below, 102- 23.
Gödel, Kurt F.: 1930a, 'Vortrag über Vollständigkeit des Funktionenkalküls', text and translation in (1995) below, 16–29, and page references are to these.
Gödel, Kurt F.: 1931, 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I', Monatshefte für Mathematik und Physik 38, 173–98; reprinted and translated with minor emendations by the author in (1986) below, 144- 95.
Gödel, Kurt F.: 1933, 'The Present Situation in the Foundations of Mathematics', in (1995) below, 45–53, and page references are to these.
Gödel, Kurt F.: 1933a, 'Zur intuitionistischen Arithmetik und Zahlentheorie', Ergebnisse eines mathematischen Kolloquiums 4, 34–38; reprinted and translated in (1986) below, 286- 95.
Gödel, Kurt F.: 1938, 'The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis', Proceedings of the National Academy of Sciences U.S.A. 24, 556–7; reprinted in (1990) below, 26- 7.
Gödel, Kurt F.: 1939, 'The Consistency of the Generalized Continuum-Hypothesis', Bulletin of the American Mathematical Society 45, 93; reprinted in (1990) below, 27.
Gödel, Kurt F.: 1939a, 'Consistency-proof for the Generalized Continuum-Hypothesis', Proceeding of the National Academy of Sciences U.S.A. 25, 220–4; reprinted in (1990) below, 28- 32.
Gödel, Kurt F.: 1939b, 'Vortrag Göttingen', text and translation in (1995) below, 126–55, and page references are to these.
Gödel, Kurt F.: 1940, The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory, Annals of Mathematics Studies #3, Princeton University Press, Princeton, reprinted in (1990) below, 33–101.
Gödel, Kurt F.: 1940a, 'Lecture [on the] Consistency [of the] Continuum Hypothesis', Brown University, in (1995) below, 175–85, and page references are to these.
Gödel, Kurt F.: 1941, 'In What Sense is Intuitionist Logic Constructive?', in (1995) below, 189–200.
Gödel, Kurt F.: 1944, 'Russell's Mathematical Logic', in Schilpp, Paul A. (ed.) The Philosophy of Bertrand Russell, The Library of Living Philosophers, vol. 5, Northwestern University, Evanston, 123–153; reprinted in Gödel (1990) below, 119- 141.
Gödel, Kurt F.: 1947, 'What is Cantor's Continuum Problem?', American Mathematical Monthly 54, 515–25; errata 55 (1948), 151; reprinted in (1990) below, 176- 87; see also (1964) below.
Gödel, Kurt F.: 1958, 'Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes', Dialectica 12, 280–7; translated by Wilfrid Hodges and Bruce Watson as 'On a Hitherto Unexploited Extension of the Finitary Standpoint', Journal of Philosophical Logic 9, (1980), 133- 42; reprinted and translated in (1990) below, 240- 51.
Gödel, Kurt F.: 1964, revised and expanded version of (1947) in Paul Benacerraf and Hilary Putnam (eds.), Philosophy of Mathematics. Selected Readings, Prentice Hall, Englewood Cliffs, N.J., 258–273; this version reprinted with minor emendations by the author in (1990) below, 254- 270.
Gödel, Kurt F.: 1986, Solomon Feferman et al. (eds.), Collected Works, Volume I: Publications 1929- 1936, Oxford University Press, New York.
Gödel, Kurt F.: 1990, Solomon Feferman et al. (eds.), Collected Works, Volume II: Publications 1938- 1974, Oxford University Press, New York.
Gödel, Kurt F.: 1995, Solomon Feferman et al. (eds.), Collected Works, Volume III: Unpublished Essays and Lectures, Oxford University Press, New York.
Goldfarb, Warren D.: 1979, 'Logic in the Twenties: the Nature of the Quantifier', Journal of Symbolic Logic 44, 351–68.
Gordan, Paul: 1868, 'Beweis, dass jede Covariante und Invariante einer binären Form eine ganze Funktion mit numerischen Coefficienten einer endlichen Anzahl solcher Formen ist', Journal für die reine und angewandte Mathematik (Crelle's Journal) 69, 323–54.
Gordan, Paul: 1893, 'Über einen Satz von Hilbert', Mathematische Annalen 42, 132–42.
Gordan, Paul: 1899, 'Neuer Beweise des Hilbertschen Satzes über homogene Funktionen', Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Gö ttingen, 240–242.
Hahn, Hans: 1907, 'Über die Nichtarchimedischen Grössensysteme', Sitzungsberichte der Kaiserlichen Akademie der Wissenschaften, Wien, Mathematisch-Naturwissenschaftliche Klasse 116, 601–55.
Hallett, M.: 1995, 'Hillbett and Logic', in Mathieu Marion and Robert S. Cohen (eds.), Québec Studies in the Philosophy of Science. Part I: Logic, Mathematics, Physics and History of Science, Boston Studies in the Philosophy of Science, Kluwer Academic Publishers, Dordrecht, 189–187.
Hamel, Georg: 1905, 'Eine Basis aller Zahlen und die unstetigen Lösungen der Funktionalgleichung: f(x + y) = f(x) + f(y)', Mathematische Annalen 60, 459–62.
Hartogs, Friedrich: 1915, 'Über das Problem der Wohlordnung', Mathematische Annalen 76, 436–43.
Hausdorff, Felix: 1914, Grundzüge der Mengenlehre, de Gruyter, Leipzig, reprinted Chelsea, New York, 1965.
Hausdorff, Felix: 1914a, 'Bemerkung über den Inhalt von Punktmengen', Mathematische Annalen 75, 428–33.
Herbrand, Jacques: 1930, 'Recherches sur la théorie de la démonstration', thesis, University of Paris; translated in (1971) below, 44–202; chapter 5 translated in vanHeijenoort (1967), 529- 81.
Herbrand, Jacques: 1931, 'Sur le problème fondamental de la logique mathématique', Sprawozdania z posidzeń Towarzystwa Nankowego Warszawskiego Wydzial III 24, 12–56; translated in (1971) below, 215- 271.
Herbrand, Jacques: 1971, Warren D. Goldfarb (ed.), Logical Writings, Harvard University Press, Cambridge, MA.
Hermes, Hans: 1965, Eine Termlogik mit Auswahloperator, Springer-Verlag,Berlin, revised and translated as Term Logic with Choice Operator, Lecture Notes in Mathematics #6, Springer-Verlag, Berlin, 1970.
Hilbert, David: 1890, 'Über die Theorie der algebraischen Formen', Mathematische Annalen 36, 473–534; reprinted in (1932- 5) below, vol. 2, 199- 257; translated in (1978) below, 143- 224.
Hilbert, David: 1893, 'Über die vollen Invariantensysteme', Mathematische Annalen 42, 313–73; reprinted in (1932- 5) below, vol. 2, 287- 344; translated in (1978) below, 225- 301.
Hilbert, David: 1895, 'Über die gerade Linie als kürzeste Verbindung zweier Punkte', Mathematische Annalen 46, 91–96.
Hilbert, David: 1896, 'Zur Theorie der aus n Haupteinheiten gebildeten komplexen Grössen', Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Gö ttingen, 179–83; reprinted in (1932- 5) below, vol. 2, 371- 4.
Hilbert, David: 1899, Grundlagen der Geometrie. Festschrift zur Feier der Enthüllung des Gauss-Weber Denkmals in Gö ttingen, Teubner, Leipzig; reprinted as Grundlagen der Geometrie, Teubner, Leipzig 1899; translated in (1900a) and (1902) below; see also (1903), (1930), (1968) and (1971).
Hilbert, David: 1900, 'Mathematische Probleme.Vortrag, gehalten auf dem internationalem Mathematiker-Kongress zu Paris. 1900', Nachrichten von der Königlichen Gesellschaft derWissenschaften zu Gö ttingen, 253–97; reprinted in Archiv f ürMathematik und Physik (3)1 (1901), 44- 63 and 213- 37; in the third, 1909 edition of (1899) above, 263- 79; in (1930) below, 247- 61; and in (1932- 5) below, vol. 3, 290- 329; see also (1902a).
Hilbert, David: 1900a, Les Principes Fondamentaux de la Géometrie, French translation by L. Laugel of an enlarged version of (1899) above, Gauthier-Villars, Paris; reprinted in Annales Scientifiques de L'école Normal Supérieure 7, 103–209.
Hilbert, David: 1900b, 'Über den Zahlbegriff', Jahresbericht der Deutschen Mathematiker-Vereinigung 8, 180–4.
Hilbert, David: 1902, The Foundations of Geometry, English translation by E. J. Townsend of an enlarged version of (1899) above, Open Court, La Salle.
Hilbert, David: 1902a, 'Mathematical Problems', translation of (1900), Bulletin of the American Mathematical Society 8, 437–79; reprinted in Browder (1976), 1- 34.
Hilbert, David: 1903, second edition of (1899) above.
Hilbert, David: 1905, 'Über die Grundlagen der Logic und der Arithmetik', in Krazer, A. (ed.), Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904, Teubner, Leipzig, 174–85; translated in van Heijenoort (1967), 129- 38.
Hilbert, David: 1909, 'Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl n-ter Potenzen (Waringsches Problem)', Mathematische Annalen 67, 281–300; reprinted in (1932- 5) below, vol. 1, 510- 27.
Hilbert, David: 1917, 'Mengenlehre', unpublished notes to a course given at Göttingen in the summer semester of 1917; Mathematisches Institut, Göttingen.
Hilbert, David: 1917a, 'Prinzipien der Mathematik und Logik', unpublished notes to a course given at Göttingen in the winter semester of 1917- 8; Mathematisches Institut, Göttingen.
Hilbert, David: 1918, 'Axiomatisches Denken', Mathematische Annalen 78, 405-15; reprinted in (1932- 5) below, vol. 3, 146- 56.
Hilbert, David: 1922, 'Neubegründung der Mathematik (ErsteMitteilung)', Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 1, 157–77; reprinted in (1932- 5) below, vol. 3, 157- 77.
Hilbert, David: 1923, 'Die logischen Grundlagen derMathematik',Mathematische Annalen 88, 151–65; reprinted in Hilbert (1932- 5) below, vol. 3, 178- 91.
Hilbert, David: 1926, 'Über das Unendliche', Mathematische Annalen 95, 161–90; translated in van Heijenoort (1967), 367- 92.
Hilbert, David: 1928, 'Die Grundlagen derMathematik',Abhandlungen aus demMathematischen Seminar der Hamburgischen Universität 6, 65–85; translated in van Heijenoort (1967), 464- 79.
Hilbert, David: 1929, 'Probleme der Grundlegung der Mathematik', Atti de Congresso Internazionale dei Matematici, Bologna 3- 10 Settembre 1928 Zanichelli, Bologna, I, 135–141.
Hilbert, David: 1930, Seventh edition of (1899) above with new supplements.
Hilbert, David: 1931, 'Die Grundegung der elementaren Zahlenlehre', Mathematische Annalen 88, 485–94; partially reprinted in (1932- 5) below, 192- 5.
Hilbert, David: 1932- 5, Gesammelte Abhandlungen, in three volumes, Julius Springer, Berlin, reprinted Chelsea, New York, 1965; reprinted Springer, Berlin, 1970.
Hilbert, David: 1968, tenth edition of (1899) above with supplements by Paul Bernays but also deleting some previous appendices, Stuttgart; translated in (1971) below.
Hilbert, David: 1971, translation of (1968) above by Leo Unger, Open Court, La Salle.
Hilbert, David: 1978, Hilbert's Invariant Theory Papers, Ackerman, Michael (trans.) Math Sci Press. Brookline.
Hilbert, David, and Wilhelm Ackermann: 1928, Grundzüge der theoretischen Logik, Julius Springer, Berlin; second edition, 1938; third edition, 1949; second edition was translated by Hammond, Lewis M., George G. Leckie, and F. Steinhardt as Principles of Mathematical Logic, Chelsea, New York, 1950.
Hilbert, David, and Paul Bernays: 1934, Grundlagen der Mathematik, volume 1, Berlin, Springer-Verlag; second edition, 'Die Grundlehren der mathematischenWissenschaften', in Einzeldarstellungen #40, Springer-Verlag, New York, 1968.
Hilbert, David, and Paul Bernays: 1939, Grundlagen der Mathematik, volume 2, Berlin, Springer-Verlag; second edition, 'Die Grundlehren der mathematischen Wissenschaften', in Einzeldarstellungen #50, Springer-Verlag, New York, 1970.
Hilbert, David, and Stephan Cohn-Vossen: 1932, Anschauliche Geometrie, Julius Springer, Berlin, translated as Geometry and the Imagination, Chelsea, New York, 1952.
Hylton, Peter: 1990, Russell, Idealism, and the Emergence of Analytic Philosophy, Clarendon Press, Oxford.
Kanamori, Akihiro: 1994, The Higher Infinite, Springer-Verlag, Berlin.
Kanamori, Akihiro: 1996, 'The Mathematical Development of Set Theory from Cantor to Cohen', Bulletin of Symbolic Logic 2, 1–71.
Kirby, Lawrence, and Jeffrey Paris: 1977, 'Initial Segments of Models of Peano Arithmetic', in: Set Theory and Hierarchy Theory V, Lecture Notes in Mathematics #619, Springer-Verlag, Berlin, 211–26.
Kleene, Stephen C.: 1958, 'Extension of an Effectively Generated Class of Functions by Enumeration', Colloquium Mathematicum 6, 67–78.
Klein, Felix: 1926, 'Vorlesungen Über die Entwicklung der Mathematik im19. Jahrhundert', Julius Springer, Berlin, reprinted Chelsea, New York; translated by Michael Ackerman in Developments of Mathematics in the 19th Century, Math Sci Press, Brookline, 1979.
König, Julius: 1914, Neue Grundlagen der Logik, Arithmetik und Mengenlehre, Veit, Leipzig.
Krull, Wolfgang: 1929, 'Die idealtheorie in Ringen ohne Endlichkeitsbedingungen', Mathematische Annalen 101, 729–44.
Lévy, Paul: 1964, 'Remarques sur un théorème de Paul Cohen', Revue de Métaphysique et de Morale 69, 88–94.
Luzin, Nikolai, N.: 1933, 'Sur les classes des constituantes des complémentaires analytiques', Annali della Scuola Normale Superiore de Pisa, Scienze fisiche e matematiche 2, 269–82.
Moore, Gregory H.: 1982, Zermelo's Axiom of Choice. Its Origins, Development and Influence, Springer-Verlag, New York.
Mumford, David: 1965, Geometric Invariant Theory, Springer-Verlag, Berlin.
Mumford, David: 1976, 'Hilbert's Fourteenth Problem - The Finite Generation of Subrings Such as Rings of Invariants', in Browder (1976), 431–44.
Mumford, David, John Fogarty and Frances C. Kirwan: 1994, Geometric Invariant Theory, Springer-Verlag, Berlin.
Myhill, John R.: 1953, 'AStumblingBlock in Constructive Mathematics (abstract)',Journal of Symbolic Logic 18, 190–1.
Noether, Emmy: 1915, 'Körper und Systeme rationaler Funktionen', Mathematische Annalen 76, 161–91.
Noether, Emmy: 1916, 'Die allgemeinsten Bereiche aus ganzen transzendenten Zahlen', Mathematische Annalen 77, 103–28.
Noether, Emmy: 1921, 'Idealtheorie in Ringbereichen', Mathematische Annalen 83, 24–66.
Noether, Emmy: 1926, 'Abstrakter Aufbau der Idealtheorie in algebraischen Zahl-und Funktionenkörpen', Mathematische Annalen 96, 26–61.
Noether, Max: 1914, 'Paul Gordan', Mathematische Annalen 75, 1–41.
Parsons, Charles: 1970, 'On a Number-theoretic Choice Schema and its Relation to Induction', in: Myhill, John R., Akiko Kino, and Richard E. Vesley (eds.), Intuitionism and Proof Theory, Amsterdam, North-Holland, 459–73.
Pfister, Albrecht: 1976, 'Hilbert's Seventeenth Problem and Related Problems on Definite Forms', in Browder (1976), 483–89.
Poincaré, Henri: 1902, La Science et L'hypothèse, Flammarion, Paris; translated as Science and Hypothesis, Dover, New York, 1952.
Ramsey, Frank P.: 1926, 'The Foundations of Mathematics, Proceedings of the London Mathematical Society 25, 338–84; reprinted in Ramsey (1931), 1- 61.
Ramsey, Frank P.: 1931, Richard B. Braithwaite (ed.), The Foundations of Mathematics and Other Logical Essays, Paul, Trench, Truber, London, and Harcourt, Brace, New York.
Routledge, N. A.: 1953, 'Ordinal Recursion', Proceedings of the Cambridge Philosophical Society 49, 175–82.
Russell, Bertrand A. W.: 1908, 'Mathematical Logic as Based on the Theory of Types', American Journal of Mathematics 30, 222–62; reprinted in van Heijenoort (1967), 150- 82.
Russell, Bertrand A.W.: 1919, Introduction to Mathematical Philosophy, Allen and Unwin, London.
Scanlon, Thomas M.: 1973, 'The Consistency of Number Theory via Herbrand's Theorem', Journal of Symbolic Logic 38, 29–58.
Schneider, Theodor: 1934, 'Transzendenzuntersuchungen periodiseher Funktionen', Journal f ür die reine und angewandte Mathematik (Crelles Journal) 172, 65–74.
Shub, Michael and Stephen Smale: 1995, 'On the Intractability of Hilbert's Nullstellensatz and an Algebraic Version of “NP ≠ P” ', Duke Mathematical Journal 81, 47–54.
Sieg, Wilfried: 1991, 'Herbrand Analyses', Archive for Mathematical Logic 30, 409–41.
Simpson, Stephen: 1985, 'Reverse Mathematics', in Anil Nerode and Richard A. Shore (eds.), Recursion Theory, Proceedings of Symposia in Pure Mathematics, Vol. 42, American Mathematical Society, Providence, 461–71.
Simpson, Stephen: 1988, 'Partial Realizations of Hilbert's Program', Journal of Symbolic Logic 53, 349–63.
Simpson, Stephen: 1988a, 'Ordinal Numbers and the Hilbert Basis Theorem', Journal of Symbolic Logic 53, 961–74.
Skolem, Thoralf: 1923, 'Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre', in Matematikerkongressen i Helsingfors den 4- 7 Juli 1922, Den femte skandinaviska matematikerkongressen, Redogörelse, Akademiska-Bokhandeln, Helsinki, 217–32; reprinted in (1970) below, 137- 52; translated in van Heijenoort (1967), 290- 301.
Skolem, Thoralf: 1923a, 'Begründung der elementaren Arithmetik durch die rekurrierende Deukweise ohne Anwendung scheinbarer Veränderlichem mit unendlichen Ausdehnungsbereich',Videnskaps-selskapts Skrifter, I,Mathematisk-Naturvidenskabelig Klasse, No. 6; reprinted in (1970) below, 153- 88; translated in van Heijenoort (1967), 302–33.
Skolem, Thoralf: 1970, in Jens E. Fenstad (ed.), Selected Works in Logic, Universitetsforlaget, Oslo.
Spector, Clifford: 1962, 'Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated in Current IntuitionisticMathematics', in Jacob C. E. Dekker (ed.), Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence, 1–27.
Steinitz, Ernst: 1910, 'Algebraische Theorie der Körper', Journal für die reine und angewandte Mathematik (Crelle's Journal) 137, 167–309.
Tijdeman, Robert: 1976, 'Hilbert's Seventh Problem: On the Gel'fond-Baker Method and its Applications', in Browder (1976), 241- 68.
Ulam, Stanislaw M.: 1958, 'John von Neumann, 1903- 1957', Bulletin of the American Mathematical Society 64, 1–49.
van Heijenoort, Jean (ed.): 1967, From Frege to Gödel. A Source Book in Mathematical Logic, 1879- 1931, Harvard University Press, Cambridge, MA.
von Neumann, John: 1925, 'Eine Axiomatisierung der Mengenlehre', Journal für die reine und angewandte Mathematik (Crelle's Journal) 154, 219–40; Berichtigung 155, 128; reprinted in (1961) below, 34- 56; translated in van Heijenoort (1967), 393- 413.
von Neumann, John: 1927, 'Zur Hilbertschen Beweistheorie', Mathematische Zeitschrift 26, 1–46; reprinted in (1961) below, 256- 300.
von Neumann, John: 1929, Über eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre', Journal für die reine und angewandte Mathematik (Crelle's Journal) 160, 227–41; reprinted in (1961) below, 494- 508.
von Neumann, John: 1961, Abraham H. Taub (ed.), John von Neumann. Collected Works, Vol. 1, Pergamon Press, New York.
Wang, Hao: 1955, 'On Denumerable Bases of Formal Systems', in Thoralf Skolem et al. (eds.), Mathematical Interpretations of Formal Systems, North-Holland, Amsterdam, 57–84.
Wang, Hao: 1974, From Mathematics to Philosophy, Humanities Press, New York.
Wang, Hao: 1987, Reflections on Kurt Gödel, The MIT Press, Cambridge, MA.
Weyl, Hermann: 1910, 'Über die Definitionen der mathematischen Grundbegriffe', Mathematisch-naturwissenschaftliche Blä tter 7, 93–5, 109- 13; reprinted in (1968) below, Vol. 1, 298- 304.
Weyl, Hermann: 1918, Das Kontinuum: Kritische Untersuchungen über dieGrundlagen der Analysis, Veit, Leipzig; reprinted Chelsea Publishing, New York, 1960, 1973; translated by Stephen Pollard and Thomas Bole as The Continuum: A Critical Examination of the Foundation of Analysis, Thomas Jefferson University Press, Kirksville, 1987; this translation reprinted by Dover, New York, 1994.
Weyl, Hermann: 1939, The Classical Groups - Their Invariants and Representations, Princeton University Press, Princeton; second edition 1946.
Weyl, Hermann: 1944, 'David Hilbert and his Mathematical Work', Bulletin of the American Mathematical Society 50, 612–54; reprinted in (1968) below, Vol. 4, 130- 72.
Weyl, Hermann: 1968, Gesammelte Abhandlungen, in four volumes, Springer-Verlag, Berlin.
Whitehead, Alfred N. and Bertrand A. W. Russell: 1910, Principia Mathematica. Vol. 1, Cambridge University Press, Cambridge.
Zermelo, Ernst: 1904, 'Beweis, dass jede Menge wohlgeordnet werden kann (Aus emem an Herrn Hilbert gerichteten Briefe)', Mathematische Annalen 59, 514–16; translated in van Heijenoort (1967), 139- 41.
Zermelo, Ernst: 1908, 'Untersuchungen über die Grundlagen der Mengenlehre I', Mathematische Annalen 65, 261–81; translated in van Heijenoort (1967), 199- 215.
Zermelo, Ernst: 1914, 'Über ganze transzendente Zahlen', Mathematische Annalen 75, 434–42.
Zermelo, Ernst: 1930, Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre', Fundamenta Mathematicae 16, 29–47.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dreben, B., Kanamori, A. HILBERT AND SET THEORY. Synthese 110, 77–125 (1997). https://doi.org/10.1023/A:1004908225146
Issue Date:
DOI: https://doi.org/10.1023/A:1004908225146