Hilbert and Set Theory

Hilbert and Set Theory (1997)

Cached

Download Links

[math.bu.edu]

by Burton Dreben , Akihiro Kanamori

BibTeX

@MISC{Dreben97hilbertand,
    author = {Burton Dreben and Akihiro Kanamori},
    title = {Hilbert and Set Theory},
    year = {1997}
}

Bookmark

OpenURL

Abstract

Citations

308	Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Monatshefte fr Mathematik und Physik - Gödel - 1931
308	The Classical Groups (Their Invariants and Representations - Weyl - 1997
222	Geometric Invariant Theory - Mumford, Fogarty - 1982
112	eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes, Dialectica, Vol: 12 - Godel, Uber - 1958
106	The higher infinite - Kanamori - 1994
101	Recherches sur la th'eorie de la d'emonstration - Herbrand - 1930
93	Mathematical logic as based on the theory of types - Russell - 1908
75	The consistency of the axiom of choice and of the generalized continuum hypothesis - Gödel - 1940
64	Ueber die Theorie der algebraischen Formen - Hilbert
63	1928], Grundzüge der theoretischen Logik - Hilbert, Ackermann
55	Introduction to Mathematical Philosophy - Russell - 1919
54	Zum Hilbertschen Aufbau der reellen Zahlen - Ackermann - 1928
53	Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics, Recursive Function Theory - Spector
45	Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen, 112:493–465 - Gentzen - 1936
39	The foundations of mathematics - Ramsey - 1926
36	On a number-theoretic choice schema and its relation to induction - Parsons - 1970
33	Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines mathematischen Kolloquiums - Gödel - 1933
33	Partial realizations of Hilbert’s program - Simpson - 1988
32	Hilbert’s Program relativized: Prooftheoretical and foundational reductions - Feferman - 1988
32	Die Vollständigkeit der Axiome des logischen Funktionenkalküls - Gödel - 1930
32	Über das Unendliche. Mathematische Annalen, 95, 1926 161-190. Translated as ”On the infinite” in van Heijenoort, From Frege to Gödel: A source book in mathematical logic - Hilbert
30	Untersuchungen über die Grundlagen der Mengenlehre - Zermelo - 1908
27	Vorlesungen über die Entwicklung der Mathematik im 19 - Klein - 1927
25	Über unendliche, lineare Punktmannigfaltigkeiten - Cantor - 1984
25	Some systems of second order arithmetic and their use - Friedman - 1975
24	Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen 117 - Ackermann - 1940
24	Russell’s mathematical logic - Gödel - 1964
22	Zermelo's Axiom of Choice - Moore - 1982
22	On the intractability of Hilbert’s Nullstellensatz and an algebraic version - Shub, Smale - 1994
20	The Consistency of the Continuum Hypothesis - Gödel - 1940
20	daß jede Menge wohlgeordnet werden kann - Beweis - 1904
19	Die Grundlagen der Mathematik, Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 6 - Hilbert - 1928
19	Ordinal numbers and the Hilbert Basis Theorem - Simpson - 1988
19	From Mathematics to Philosophy - Wang - 1974
19	Über Grenzzahlen und Mengenbereiche: Neue Untersuchungenuberdie Grundlagen der Mengenlehre - Zermelo - 1930
18	Logic in the Twenties: The Nature of the Quantifier - Goldfarb - 1979
18	Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongress zu Paris 1900.” Königliche Gesellschaft der Wissenschaften zu Göttingen. Mathematisch-physikalische Klasse. Nachrichten - Hilbert - 1900
17	1922], Neubegründung der Mathematik (Erste Mitteilung), Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 1, 157177; English translation in Mancosu [1988 - Hilbert
17	Die logischen Grundlagen der Mathematik. Mathematische Annalen, 88:151–165 - HILBERT - 1923
17	Reflections on Kurt Gödel - Wang - 1988
17	Kritische Untersuchungen über die Grundlagen der Analysis - Weyl, Kontinuum - 1932
14	Stetigkeit und irrationale Zahlen - Dedekind
14	Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnungsbereich. Skrifter, Norske Videnskaps-Akademi i Oslo (= Videnskapsselskapet i Kristiania), Matematisk-Naturvidenska - Skolem - 1923
14	Eine Axiomatisierung der Mengenlehre. J Reine Angew Math, 154:219-240. 21Ma should be replaced by Na. 14 1923] Th. Skolem. Einige Bemerkungen zur axiomatischen Begriindung der Mengenlehre - Neumann
13	Eine Kennzeichnung der reell abgeschlossenen - Artin, Schreier - 1927
13	Probleme der Grundlegung der Mathematik, Lecture delivered before the International Congress of Mathematicians at Bologna in 1928; italian translation in Ricerche sui fondamenti della matematica, edited by Abrusci V.M - Hilbert - 1978
13	Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre’, reprinted - Skolem - 1923
12	Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie, Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, New Series 4 - Gentzen - 1938
12	Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie - Gentzen - 1943
12	What is Cantor’s continuum problem?, American Mathematical Monthly 54: 515–525 - Gödel - 1990