Abstract

This article is dedicated to Professor Burton Dreben on his coming of age. I owe him particular thanks for his careful reading and numerous suggestions for improvement. My thanks go also to Jose Ruiz and the referee for their helpful comments. Parts of this account were given at the 1995 summer meeting of the Association for Symbolic Logic at Haifa, in the Massachusetts Institute of Technology logic seminar, and to the Paris Logic Group. The author would like to express his thanks to the various organizers, as well as his gratitude to the Hebrew University of Jerusalem for its hospitality during the preparation of this article in the autumn of 1995.

Citations

462	Word and object - Quine - 1960
308	Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Monatshefte fr Mathematik und Physik - Gödel - 1931
259	On a problem of formal logic - Ramsey
227	Set Theory: An Introduction to Independence Proofs - Kunen - 1983
171	Descriptive Set Theory - Moschovakis - 1980
106	The higher infinite - Kanamori - 1994
100	Model Theory, Encyclopedia of Mathematics and its Applications 42 - Hodges - 1993
100	The fine structure of the constructible hierarchy - Jensen - 1972
70	W.D.: The Decision Problem: Solvable Classes of Quantificational Formulas - Dreben, Goldfarb - 1979
63	The axiom of choice - Jech - 1973
51	The independence of the continuum hypothesis - Cohen - 1963
51	eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. 1879. Translation [vHe67, 5–82]. Gentzen, G. Untersuchungen über das logische Schließen I - Frege
45	Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen, 112:493–465 - Gentzen - 1936
45	Constructive set theory - Myhill - 1975
37	Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte - Skolem - 1920
32	Powers of regular cardinals - Easton - 1970
30	The completeness of the first-order functional calculus - Henkin - 1949
30	Small uncountable cardinals and topology. In: Open problems in topology - Vaughan - 1990
27	Boolean-valued models and independence proofs in set theory - Bell - 1985
27	Axiomatic Set Theory - Bernays - 1968
24	Measurable cardinals and the Continuum Hypothesis - Solovay - 1967
23	Equivalents of the Axiom of Choice - Rubin, Rubin - 1985
22	Measure and category. A survey of the analogies between topological and measure spaces - Oxtoby - 1971
22	The integers and topology - Douwen - 1984
21	Zermelo’s Axiom of Choice: Its origins, development and influence - Moore - 1982
20	The Iterative Conception of Set - Boolos - 1971
20	Understanding the infinite - Lavine - 1994
20	Remarks on the Foundations of Mathematics - Wittgenstein
20	daß jede Menge wohlgeordnet werden kann - Beweis - 1904
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	Leçons sur la théorie des fonctions - Borel
16	semantics and metamathematics: Papers from 1923-38 - Logic - 1956
15	Sets: An introduction - Potter - 1990
15	Sur les ensembles définissables de nombres réels - Tarski - 1931
14	Measurable cardinals and constructible sets. Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques (continued from 1983 by Bulletin of the Polish Academy of Sciences - Scott - 1961
14	Wahrheitsbegri in den formalisierten Sprachen - Der - 1936
13	Special subsets of the real line - Miller - 1984
12	Sur la décomposition des ensembles de points en parties respectivement congruentes, Fund - Banach, Tarski
11	The Boolean Prime Ideal theorem does not imply the axiom of choice - Halpern, A - 1971
11	Eine Basis aller Zahlen und die unstetigen Lösungen der Funktionalgleichung: f(x + y) = f(x) + f(y - Hamel - 1905
11	Incompactness in languages with infinitely long expressions - Hanf - 1964
11	Lebesgue’s Theory of Integration: Its origins and development - Hawkins - 1970
10	Uber lineare transfinite Mengen, Berichte uber die Verhandlungen der Koniglich Sachsischen Gesellschaft der Wissenschaften zu - Mahlo - 1911
9	Uber eine Eigenschaft des Inbegries aller reellen algebraischen Zahlen - Cantor
9	Models of ZF–Set Theory - Felgner - 1971
9	From accessible to inaccessible cardinals - Keisler, Tarski - 1964
9	Communication sur les recherches de la théorie des ensembles. Comptes Rendus des séances de la Société des Sciences et des Letters de Varsovie, Classe III - Lindenbaum, Tarski - 1926
9	Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip, Fundamenta Mathematicae 32 - Mostowski - 1939