Skip to main content

HILBERT AND SET THEORY

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.

    Google Scholar 

  • Ackermann, Wilhelm: 1928,'ZumHilbertschen Aufbau der reellen Zahlen',Mathematische Annalen 99, 118–33; translated in van Heijenoort (1967), 493- 507.

    Google Scholar 

  • Ackermann, Wilhelm: 1940, 'ZurWiderspruchsfreiheit der Zahlentheorie',Mathematische Annalen 117, 162–94.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Asser, Günter: 1957, 'Theorie der logischen Auswahlfunktionen', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 3, 30–68.

    Google Scholar 

  • 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.

    Google Scholar 

  • Blumenthal, Otto: 1935, 'Lebensgeschichte', in Hilbert (1932- 5), vol. 3, 388–429.

    Google Scholar 

  • 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.

    Google Scholar 

  • Brownawell, W. Dale: 1987, 'Bounds for the Degrees in the Nullstellensatz', Annals of Mathematics 126, 577–91.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Cantor, Georg: 1932, Ernst Zermelo (ed.), Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, Julius Springer, Berlin; reprinted in Berlin, Springer-Verlag 1980.

    Google Scholar 

  • 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.

    Google Scholar 

  • Church, Alonzo: 1976, 'Comparison of Russell's Resolution of the Semantical Antimonies with that of Tarski', Journal of Symbolic Logic 41, 747–60.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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).

    Google Scholar 

  • Dreben, Burton and John Denton: 1966, 'A Supplement to Herbrand', Journal of Symbolic Logic 31, 393–8.

    Google Scholar 

  • 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.

    Google Scholar 

  • Ellison, W. J.: 1971, 'Waring's Problem', American Mathematical Monthly 78, 10–36.

    Google Scholar 

  • 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.

    Google Scholar 

  • Feferman, Solomon: 1962, 'Classifications of Recursive Functions by Means of Hierarchies', Transactions of the American Mathematical Society 104, 101–22.

    Google Scholar 

  • Feferman, Solomon: 1988, 'Hilbert's Program Relativized: Proof-theoretical and Foundational Reductions', Journal of Symbolic Logic 53, 364–84.

    Google Scholar 

  • Fraenkel, Abraham A.: 1922, 'Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre', Mathematische Annalen 86, 230–37.

    Google Scholar 

  • Frege, Gottlob: 1980, G. Gabriel et al. (ed.), Philosophical and Mathematical Correspondence, University of Chicago Press, Chicago, IL.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Gentzen, Gerhard: 1936, 'Die Widerspruchsfreiheit der reinen Zahlentheorie', Mathematische Annalen 112, 493–565; translated in (1969) below, 132- 213.

    Google Scholar 

  • 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.

    Google Scholar 

  • Gentzen, Gerhard: 1969, in M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Gödel, Kurt F.: 1986, Solomon Feferman et al. (eds.), Collected Works, Volume I: Publications 1929- 1936, Oxford University Press, New York.

    Google Scholar 

  • Gödel, Kurt F.: 1990, Solomon Feferman et al. (eds.), Collected Works, Volume II: Publications 1938- 1974, Oxford University Press, New York.

    Google Scholar 

  • Gödel, Kurt F.: 1995, Solomon Feferman et al. (eds.), Collected Works, Volume III: Unpublished Essays and Lectures, Oxford University Press, New York.

    Google Scholar 

  • Goldfarb, Warren D.: 1979, 'Logic in the Twenties: the Nature of the Quantifier', Journal of Symbolic Logic 44, 351–68.

    Google Scholar 

  • 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.

    Google Scholar 

  • Gordan, Paul: 1893, 'Über einen Satz von Hilbert', Mathematische Annalen 42, 132–42.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hartogs, Friedrich: 1915, 'Über das Problem der Wohlordnung', Mathematische Annalen 76, 436–43.

    Google Scholar 

  • Hausdorff, Felix: 1914, Grundzüge der Mengenlehre, de Gruyter, Leipzig, reprinted Chelsea, New York, 1965.

    Google Scholar 

  • Hausdorff, Felix: 1914a, 'Bemerkung über den Inhalt von Punktmengen', Mathematische Annalen 75, 428–33.

    Google Scholar 

  • 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.

    Google Scholar 

  • Herbrand, Jacques: 1971, Warren D. Goldfarb (ed.), Logical Writings, Harvard University Press, Cambridge, MA.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hilbert, David: 1895, 'Über die gerade Linie als kürzeste Verbindung zweier Punkte', Mathematische Annalen 46, 91–96.

    Google Scholar 

  • 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).

    Google Scholar 

  • 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.

    Google Scholar 

  • Hilbert, David: 1900b, 'Über den Zahlbegriff', Jahresbericht der Deutschen Mathematiker-Vereinigung 8, 180–4.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hilbert, David: 1917, 'Mengenlehre', unpublished notes to a course given at Göttingen in the summer semester of 1917; Mathematisches Institut, Göttingen.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hilbert, David: 1918, 'Axiomatisches Denken', Mathematische Annalen 78, 405-15; reprinted in (1932- 5) below, vol. 3, 146- 56.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hilbert, David: 1923, 'Die logischen Grundlagen derMathematik',Mathematische Annalen 88, 151–65; reprinted in Hilbert (1932- 5) below, vol. 3, 178- 91.

    Google Scholar 

  • Hilbert, David: 1926, 'Über das Unendliche', Mathematische Annalen 95, 161–90; translated in van Heijenoort (1967), 367- 92.

    Google Scholar 

  • Hilbert, David: 1928, 'Die Grundlagen derMathematik',Abhandlungen aus demMathematischen Seminar der Hamburgischen Universität 6, 65–85; translated in van Heijenoort (1967), 464- 79.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hilbert, David: 1932- 5, Gesammelte Abhandlungen, in three volumes, Julius Springer, Berlin, reprinted Chelsea, New York, 1965; reprinted Springer, Berlin, 1970.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hilbert, David, and Stephan Cohn-Vossen: 1932, Anschauliche Geometrie, Julius Springer, Berlin, translated as Geometry and the Imagination, Chelsea, New York, 1952.

    Google Scholar 

  • Hylton, Peter: 1990, Russell, Idealism, and the Emergence of Analytic Philosophy, Clarendon Press, Oxford.

    Google Scholar 

  • Kanamori, Akihiro: 1994, The Higher Infinite, Springer-Verlag, Berlin.

    Google Scholar 

  • Kanamori, Akihiro: 1996, 'The Mathematical Development of Set Theory from Cantor to Cohen', Bulletin of Symbolic Logic 2, 1–71.

    Google Scholar 

  • 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.

    Google Scholar 

  • Kleene, Stephen C.: 1958, 'Extension of an Effectively Generated Class of Functions by Enumeration', Colloquium Mathematicum 6, 67–78.

    Google Scholar 

  • 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.

    Google Scholar 

  • König, Julius: 1914, Neue Grundlagen der Logik, Arithmetik und Mengenlehre, Veit, Leipzig.

    Google Scholar 

  • Krull, Wolfgang: 1929, 'Die idealtheorie in Ringen ohne Endlichkeitsbedingungen', Mathematische Annalen 101, 729–44.

    Google Scholar 

  • Lévy, Paul: 1964, 'Remarques sur un théorème de Paul Cohen', Revue de Métaphysique et de Morale 69, 88–94.

    Google Scholar 

  • 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.

    Google Scholar 

  • Moore, Gregory H.: 1982, Zermelo's Axiom of Choice. Its Origins, Development and Influence, Springer-Verlag, New York.

    Google Scholar 

  • Mumford, David: 1965, Geometric Invariant Theory, Springer-Verlag, Berlin.

    Google Scholar 

  • 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.

    Google Scholar 

  • Myhill, John R.: 1953, 'AStumblingBlock in Constructive Mathematics (abstract)',Journal of Symbolic Logic 18, 190–1.

    Google Scholar 

  • Noether, Emmy: 1915, 'Körper und Systeme rationaler Funktionen', Mathematische Annalen 76, 161–91.

    Google Scholar 

  • Noether, Emmy: 1916, 'Die allgemeinsten Bereiche aus ganzen transzendenten Zahlen', Mathematische Annalen 77, 103–28.

    Google Scholar 

  • Noether, Emmy: 1921, 'Idealtheorie in Ringbereichen', Mathematische Annalen 83, 24–66.

    Google Scholar 

  • Noether, Emmy: 1926, 'Abstrakter Aufbau der Idealtheorie in algebraischen Zahl-und Funktionenkörpen', Mathematische Annalen 96, 26–61.

    Google Scholar 

  • Noether, Max: 1914, 'Paul Gordan', Mathematische Annalen 75, 1–41.

    Google Scholar 

  • 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.

    Google Scholar 

  • Ramsey, Frank P.: 1926, 'The Foundations of Mathematics, Proceedings of the London Mathematical Society 25, 338–84; reprinted in Ramsey (1931), 1- 61.

    Google Scholar 

  • 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.

    Google Scholar 

  • Routledge, N. A.: 1953, 'Ordinal Recursion', Proceedings of the Cambridge Philosophical Society 49, 175–82.

    Google Scholar 

  • 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.

    Google Scholar 

  • Russell, Bertrand A.W.: 1919, Introduction to Mathematical Philosophy, Allen and Unwin, London.

    Google Scholar 

  • Scanlon, Thomas M.: 1973, 'The Consistency of Number Theory via Herbrand's Theorem', Journal of Symbolic Logic 38, 29–58.

    Google Scholar 

  • Schneider, Theodor: 1934, 'Transzendenzuntersuchungen periodiseher Funktionen', Journal f ür die reine und angewandte Mathematik (Crelles Journal) 172, 65–74.

    Google Scholar 

  • Shub, Michael and Stephen Smale: 1995, 'On the Intractability of Hilbert's Nullstellensatz and an Algebraic Version of “NPP” ', Duke Mathematical Journal 81, 47–54.

    Google Scholar 

  • Sieg, Wilfried: 1991, 'Herbrand Analyses', Archive for Mathematical Logic 30, 409–41.

    Google Scholar 

  • 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.

    Google Scholar 

  • Simpson, Stephen: 1988a, 'Ordinal Numbers and the Hilbert Basis Theorem', Journal of Symbolic Logic 53, 961–74.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • van Heijenoort, Jean (ed.): 1967, From Frege to Gödel. A Source Book in Mathematical Logic, 1879- 1931, Harvard University Press, Cambridge, MA.

    Google Scholar 

  • 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.

    Google Scholar 

  • von Neumann, John: 1927, 'Zur Hilbertschen Beweistheorie', Mathematische Zeitschrift 26, 1–46; reprinted in (1961) below, 256- 300.

    Google Scholar 

  • 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.

    Google Scholar 

  • von Neumann, John: 1961, Abraham H. Taub (ed.), John von Neumann. Collected Works, Vol. 1, Pergamon Press, New York.

    Google Scholar 

  • 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.

    Google Scholar 

  • Wang, Hao: 1974, From Mathematics to Philosophy, Humanities Press, New York.

    Google Scholar 

  • Wang, Hao: 1987, Reflections on Kurt Gödel, The MIT Press, Cambridge, MA.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Weyl, Hermann: 1939, The Classical Groups - Their Invariants and Representations, Princeton University Press, Princeton; second edition 1946.

    Google Scholar 

  • 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.

    Google Scholar 

  • Weyl, Hermann: 1968, Gesammelte Abhandlungen, in four volumes, Springer-Verlag, Berlin.

    Google Scholar 

  • Whitehead, Alfred N. and Bertrand A. W. Russell: 1910, Principia Mathematica. Vol. 1, Cambridge University Press, Cambridge.

    Google Scholar 

  • 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.

    Google Scholar 

  • Zermelo, Ernst: 1908, 'Untersuchungen über die Grundlagen der Mengenlehre I', Mathematische Annalen 65, 261–81; translated in van Heijenoort (1967), 199- 215.

    Google Scholar 

  • Zermelo, Ernst: 1914, 'Über ganze transzendente Zahlen', Mathematische Annalen 75, 434–42.

    Google Scholar 

  • Zermelo, Ernst: 1930, Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre', Fundamenta Mathematicae 16, 29–47.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1004908225146