Skip to main content
SpringerLink
Log in
Book cover

Mengenlehre und ihre Logik pp 251–258Cite as

Bibliographie

  • Chapter

  • 131 Accesses

Part of the book series: Logik und Grundlagen der Mathematik ((LGM,volume 10))

Zusammenfassung

Diese Liste enthält nur solche Arbieten, auf die in diesem Buche durch Nennung ihres Titels oder in anderer Weise Bezug genommen wird.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  • Ackermann, Wilhelm, Zur Axiomatik der Mengenlehre, Mathematische Annalen 131 (1956), 336–345.

    Article  MathSciNet  MATH  Google Scholar 

  • Ackermann, Wilhelm, Siehe auch Hilbert.

    Google Scholar 

  • Bachmann, Heinz, Transfinite Zahlen ( Berlin: Springer, 1955 ).

    Book  MATH  Google Scholar 

  • Bar-Hillel, siehe Fraehkel

    Google Scholar 

  • Behmann, Heinrich, Mathematik und Logik (Leipzig, 1927 ).

    MATH  Google Scholar 

  • Bernays, Paul, A system of axiomatic set theory, Journal of Symbolic Logic 2 (1937), 65–77; 6 (1941), 1–17; 7 (1942), 65–89, 133–145; 8 (1943), 89–106; 13 (1948), 65–79; 19 (1954), 81–96.

    Article  MATH  Google Scholar 

  • Bernays, Paul, Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre, in Essays on the Foundation of Mathematics dedicated to Fraenkel, Hrsg. A. Robinson ( Jerusalem, Hebrew University, 1961 ).

    Google Scholar 

  • Bernays, Paul, und A. A. Fraenkel, Axiomatic Set Theory ( Amsterdam: North-Holland, 1958 ).

    MATH  Google Scholar 

  • Bernays, Paul, Siehe auch Hilbert

    Google Scholar 

  • Brown, K. R., und Hao Wang, Finite set theory, number theory and axioms of limitation, Mathematische Annalen 164 (1966), 26–29.

    Article  MathSciNet  MATH  Google Scholar 

  • Brown, K. R., Short definitions of the ordinals, Journal of Symbolic Logic 31 (1966), 409–414.

    Article  MathSciNet  MATH  Google Scholar 

  • Burali-Forti, Cesare, Una questione sui numeri transfiniti, Rendiconti di Palermo 11, (1897), 154–164. Übersetzung in van Heijenoort.

    Article  MATH  Google Scholar 

  • Cantor, Georg, Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, hrsg. von E. Zermelo (Berlin, 1932). Die wichtigsten Arbeiten stammen aus den Jahren 1878–1899.

    Google Scholar 

  • Carnap, Rudolf, The Logical Syntax of Language (London und New York, 1937; paperback, Paterson, N. J.: Littlefield and Adams, 1960 ).

    Google Scholar 

  • Church, Alonzo, The Calculi of Lambda Conversion (Princeton, 1941 ).

    Google Scholar 

  • Church, Alonzo, Introduction to Mathematical Logic ( Princeton: Princeton University Press, 1956 ).

    MATH  Google Scholar 

  • Chwistek, Leon, The theory of constructive types, Annales de la Société Polonaise de Mathématique 2 (1924), 9–48; 3 (1925), 92–114.

    MATH  Google Scholar 

  • Cohen, P. J., Set Theory and the Continuum Hypothesis (New York: Benjamin, 1966 ).

    MATH  Google Scholar 

  • Dedekind, Richard, Stetigkeit und irrationale Zahlen (Braunschweig, 1872 ).

    Google Scholar 

  • Dedekind, Richard, Was sind und was sollen die Zahlen? (Braunschweig, 1888; 8. unveränderte Auflage 1960 ).

    Google Scholar 

  • Feferman, Solomon, Transfinite recursive progressions of axiomatic theories, Journal of Symbolic Logic 27 (1963 für 1962 ), 259–316.

    Article  MathSciNet  MATH  Google Scholar 

  • Fraenkel, A. A., Einleitung in die Mengenlehre ( 3. Auflage, Berlin, 1928 ).

    MATH  Google Scholar 

  • Fraenkel, A. A., Abstract Set Theory (Amsterdam: North-Holland, 1953; 2. Auflage 1961 ).

    MATH  Google Scholar 

  • Fraenkel, A. A., Der Begriff ‘définit’ und die Unabhängigkeit des Auswahlaxioms, Sitzungsberichte der Preußischen Akademie der Wissenschaften, phys.-math. Kl., 1922, 253–257.

    Google Scholar 

  • Fraenkel, A. A., Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre, Mathematische Annalen 86 (1922), 230–237.

    Article  MathSciNet  MATH  Google Scholar 

  • Fraenkel, A. A., und Y. Bar-Hillel, Foundations of Set Theory ( Amsterdam: North-Holland, 1959 ).

    Google Scholar 

  • Fraenkel, A. A., Siehe auch Bernays.

    Google Scholar 

  • Frege, Gottlob, Begriffsschrift (Jena, 1879 ).

    Google Scholar 

  • Frege, Gottlob, Die Grundlagen der Arithmetik (Breslau, 1884); engl. Übersetzung von J. L. Austin, The Foundations of Arithmetic (2. Auflage Oxford: Blackwell, 1953; paperback, New York: Harper, 1960 ).

    Google Scholar 

  • Frege, Gottlob, Grundgesetze der Arithmetik (Jena: Bd. 1, 1893; Bd. 2, 1903; Nachdruck 1. und 2. Bd. Hüdesheim, 1966 ).

    Google Scholar 

  • Gal, siehe Novak.

    Google Scholar 

  • Gödel, Kurt, The Consistency of the Continuum Hypotheses (Princeton, 1940 ).

    Google Scholar 

  • Gödel, Kurt, Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathematik und Physik 37 (1930), 349–360. Engl. Übers, in van Heijenoort.

    Article  MATH  Google Scholar 

  • Gödel, Kurt, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, Monatshefte für Mathematik und Physik 38 (1931), 173–198. Engl. Übers, in van Heijenoort.

    Article  Google Scholar 

  • Gödel, Kurt, Consistency-proof for the generalized continuum hypothesis, Proceedings of the National Academy of Sciences 25 (1939), 220–224.

    Article  Google Scholar 

  • Greiling, Kurt, Mengenlehre (Leipzig, 1924 ).

    Google Scholar 

  • Greiling, Kurt, und L. Nelson, Bemerkungen zu den Paradoxien von Russell und Burali-Forti. Abhandlungen der Fries’schen Schule 2 (1907–8), 300–334.

    Google Scholar 

  • Hailperin, Theodore, A set of axioms for logic, Journal of Symbolic Logic 9 (1944), 1–19.

    Article  MathSciNet  MATH  Google Scholar 

  • Halmos, Paul, Naive Set Theory (Princeton: van Nostrand, 1960; deutsche Übersetzung: Naive Mengenlehre, Göttingen, 1968 ).

    Google Scholar 

  • Hausdorff F., Grundzüge der Mengenlehre (Leipzig, 1914).

    Google Scholar 

  • Henkin, Leon, Completeness in the theory of types, Journal of Symbolic Logic 15 (1950), 81–91.

    Article  MathSciNet  MATH  Google Scholar 

  • Herbrand, Jacques, Recherches sur la Théorie de la Démonstration (Warschau, 1930 ).

    Google Scholar 

  • Hessenberg, Gerhard, Grundbegriffe der Mengenlehre (Göttingen, 1906 ).

    Google Scholar 

  • Hilbert, D. und W, Ackermann, Grundzüge der theoretischen Logik (Berlin, 1928; 2. Auflage, Berlin: Springer, 1938; 3. Auflage, 1949 ); engl. Übers, der 2. Auflage, Principles of Mathematical Logic ( New York: Chelsea, 1950 ).

    Google Scholar 

  • Hilbert, D. und P. Bernays, Grundlagen der Mathematik (Berlin, Bd. 1, 1934; Bd. 2, 1939; Bd. 1, 2. Auflage, Berlin-Heidelberg-New York, 1968 ).

    Google Scholar 

  • Kemeny, J. G., Type Theory versus Set Theory, Dissertation Princeton, 1949; Abstract in Journal of Symbolic Logic 15 (1950), 78.

    Google Scholar 

  • Kleene, S. C., Introduction to Metamathematics (New York: van Nostrand, 1952 ).

    MATH  Google Scholar 

  • Kleene, S. C., Two papers on the predicate calculus, Memoirs of the American Mathematical Society (1952), No. 10.

    Google Scholar 

  • König, Julius, Über die Grundlagen der Mengenlehre und das Kontinuumproblem, Mathematische Annalen 61 (1905), 156–160. Engl. Übers, in van Heijenoort.

    Article  MathSciNet  MATH  Google Scholar 

  • Kreider, D. L. und H. Rogers, jr., Constructive versions of ordinal number classes. Transactions of the American Mathematical Society 100 (1961), 325–369.

    Article  MathSciNet  MATH  Google Scholar 

  • Kreisel, G., La prédicativité, Bulletin de la Société Mathématique de France 88 (1960), 371–391.

    MathSciNet  MATH  Google Scholar 

  • Kreisel, G., und H. Wang, Some applications of formalized consistency proofs, Fundamenta Mathematicae 2 (1920), 161–171.

    Google Scholar 

  • Levy, Azriel, On Ackermann’s set Theory, Journal of Symbolic Logic 24 (1960 für 1959 ), 154–166.

    Article  Google Scholar 

  • Levy, Azriel, Axiom schemata of strong infinity in axiomatic set theory, Pacific Journal of Mathematics 10 (1960), 223–238.

    MathSciNet  MATH  Google Scholar 

  • Lindenbaum, A. und A. Mostowski, Über die Unabhängigkeit des Auswahlaxioms und einiger seiner Folgerungen, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 31 (1928), 27–32.

    Google Scholar 

  • Lindenbaum, A. Siehe auch Tarski.

    Google Scholar 

  • MacLane, Saunders, Locally small categories and the foundations of set theory, in Infinitistic Methods, Proceedings of a 1959 symposium (Warschau, 1961 ), S. 25–43.

    Google Scholar 

  • McNaughton, Robert, A non-standard truth definition, Proceedings of the American Mathematical Society 5 (1954), 505–509.

    Article  MathSciNet  MATH  Google Scholar 

  • McNaughton, Robert, Siehe auch Wang.

    Google Scholar 

  • Mahlo, P., Zur Theorie und Anwendung der po-Zahlen, Berichte über die Verhandlungen der Sächsischen Akademie der Wissenschaft zu Leipzig (math.-phys. K.) 64 (1912), 108–112; 65 (1912–3), 268–282.

    Google Scholar 

  • Martin, R. M., A homogeneous system for formal logic, Journal of Symbolic Logic 8 (1943), 1–23.

    Article  MathSciNet  MATH  Google Scholar 

  • Mendelson, Elliott, Introduction to Mathematical Logic (Princeton: van Nostrand, 1964 ).

    Google Scholar 

  • Mendelson, Elliott, The axiom of Fundierung and the axiom of choice, Archiv für mathematische Logik und Grundlagenforschung 4 (1958), 65–70 ).

    Article  MathSciNet  MATH  Google Scholar 

  • Mirimanoff, D., Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles, L’Enseignement Mathématique 19 (1917), 37–52.

    MATH  Google Scholar 

  • Montague, Richard, Non-finite axiomatizability, in Summaries of Talks at Summer Institute for Symbolic Logic ( Ithaca: Mimeographie, 1957 ), S. 256–259.

    Google Scholar 

  • Montague, Richard, Semantical closure and non-finite axiomatizability, in Infinitistic Methods, Proceedings of a 1959 symposium (Warschau, 1961 ), S. 45–69.

    Google Scholar 

  • Montague, Richard, und R. L. Vaught, Natural models of set theories, Fundamenta Mathematicae 47 (1959), 219–242.

    MathSciNet  MATH  Google Scholar 

  • Mostowski, Andrzej, Some impredicative definitions in the axiomatic set theory, Fundamenta Mathematicae 37 (1950–51), 111–124.

    MathSciNet  Google Scholar 

  • Mostowski, Andrzej, On models of axiomatic systems, Fundamenta Mathematicae 39 (1953 für 1952 ), 133–158.

    MathSciNet  MATH  Google Scholar 

  • Mostowski, Andrzej, Siehe auch Lindenbaum.

    Google Scholar 

  • Myhill, John, A derivation of number theory from ancestral theory, Journal of Symbolic Logic 17 (1952), 192–197.

    Article  MathSciNet  MATH  Google Scholar 

  • Nelson, siehe Greiling.

    Google Scholar 

  • Neumann, J. von, Zur Einführung der transfiniten Zahlen, Acta Litterarum ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae (sect, scient, math.) 1 (1923), 199–208. Engl. Übersetzung in van Heijenoort.

    MATH  Google Scholar 

  • Neumann, J. von, Eine Axiomatisie rung der Mengenlehre, Journal für reine und angewandte Mathematik 154 (1925), 219–240; 155 (1926), 128. Engl. Übers, in van Heijenoort.

    MATH  Google Scholar 

  • Neumann, J. von, Zur Hilbertschen Beweistheorie, Mathematische Zeitschrift 26 (1927), 1–46.

    MATH  Google Scholar 

  • Neumann, J. von, Die Axiomatisierung der Mengenlehre, Mathematische Zeitschrift 27 (1928), 669–752.

    MATH  Google Scholar 

  • Neumann, J. von, Über die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre, Mathematische Annalen 99 (1928), 373–391.

    MATH  Google Scholar 

  • Neumann, J. von, Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre, Journal für reine und angewandte Mathematik 160 (1929), 227–241.

    MATH  Google Scholar 

  • Novak, I. L., (Mrs. Steven Gal), A construction for models of consistent systems, Fundamenta Mathematicae 37 (1950–51), 87–110.

    Google Scholar 

  • Oberschelp, Arnold, Untersuchungen zur mehrsortigen Quantorenlogik, Mathematische Annalen 145 (1962), 297–333.

    Article  MathSciNet  MATH  Google Scholar 

  • Ono, Katuzi, A set theory founded on unique generating principle, Nagoya Mathematical Journal 12 (1957), 151–159.

    MathSciNet  MATH  Google Scholar 

  • Orey, Steven, New Foundations and the Axiom of Counting, Duke Mathematical Journal, vol. 31 (1964), 655–660.

    Article  MathSciNet  MATH  Google Scholar 

  • Parsons, Charles, A note on Quine’s treatment of transfinite recursion, Journal of Symbolic Logic 29 (1964), 179–182.

    Article  MathSciNet  MATH  Google Scholar 

  • Peano, Guiseppe, Arithmetices Principia ( Turin, 1889 ). Engl. Übers, in van Heijenoort.

    MATH  Google Scholar 

  • Peano, Guiseppe, Formulaire de Mathématiques (Paris, 1901 ).

    Google Scholar 

  • Peano, Guiseppe, Super theorema de Cantor-Bernstein, Rendiconti di Palermo 21 (1906), 360–366; Nachdruck mit Additione in Revista de Mathematica 8 (1902–6), 136–157.

    Google Scholar 

  • Peano, Guiseppe, Sulla definizione di funzione, Atti della Reale Accademia dei Lincei (Rendiconti, classe di szienza) 20 (1911), 3–5.

    MATH  Google Scholar 

  • Poincaré, Henri, Les mathématiques et la logique’. Revue de Métaphysique et de Morale 13 (1905), 815–835; 14 (1906), 17–34, 294–317.

    Google Scholar 

  • Putnam, Hilary, Axioms of class existence, in Summaries of Talks at Summer Institute for Symbolic Logic ( Ithaca: Mimeographie, 1957 ), S. 271–274.

    Google Scholar 

  • Quine, W, V., A System of Logistic (Cambridge, Mass., 1934 ).

    MATH  Google Scholar 

  • Quine, W, V., Mathematical Logic (New York, 1940; rev. ed. Cambridge, Mass.: Harvard University Press, 1951; paperback, New York: Harper, 1962 ).

    Google Scholar 

  • Quine, W, V., O Sentido da Nova Lògica, Brasilianische Vorlesungen von 1942 (Sao Paulo: Martins, 1944 ); spanische Übers, von Mario Bunge, El Sentido de la Nueva Lògica ( Buenos Aires: Nueva Visión, 1958 ).

    Google Scholar 

  • Quine, W, V., Methods of Logic (New York: Holt, 1950; rev. ed., Holt, Rinehart, and Winston, 1959; deutsche Übersetzung von D. Siefkes: Grundzüge der Logik ( Frankfurt: Suhrkamp Verlag 1969 ).

    Google Scholar 

  • Quine, W, V., Word and Object ( Cambridge, Mass.: M.I.T. Press, 1960 ).

    MATH  Google Scholar 

  • Quine, W, V., Selected Logic Papers (New York: Random House, 1966 ).

    Google Scholar 

  • Quine, W, V., A theory of classes presupposing no canons of type, Proceedings of the National Academy of Sciences 22 (1936), 320–326.

    Article  Google Scholar 

  • Quine, W, V., On the axiom of reducibility, Mind 45 (1936). 498–500.

    Article  Google Scholar 

  • Quine, W, V., New foundations for mathematical logic, American Mathematical Monthly 44 (1937), 70–80; nachgedruckt mit Zusätzen in Quine, From a Logical Point of View (Cambridge, Mass.: Harvard University Press, 2. Auflage, 1961 ).

    Article  MathSciNet  Google Scholar 

  • Quine, W, V., Whitehead and the rise of modern logic, in The Philosophy of A. N. Whitehead, hrsg. von P. A. Schilpp, (Evanston, 111., 1941), S. 125–163. Nachgedruckt in Selected Logic Papers.

    Google Scholar 

  • Quine, W, V., Element and Number, Journal of Symbolic Logic 6 (1941), 135–149. Nachgedruckt in Selected Logic Papers.

    Article  MathSciNet  MATH  Google Scholar 

  • Quine, W, V., On Universals, Journal of Symbolic Logic 12 (1947), 74–84.

    Article  MathSciNet  MATH  Google Scholar 

  • Quine, W, V., On co-inconsistency and a so-called axiom of infinity, Journal of Symbolic Logic 18 (1953), 119–124. Nachgedruckt in Selected Logic Papers.

    Article  MathSciNet  MATH  Google Scholar 

  • Quine, W, V., Unification of universes in set theory’, Jornal of Symbolic Logic 21 (1956), 267–279.

    Article  MathSciNet  MATH  Google Scholar 

  • Quine, W, V., A basis for number theory in finite classes, Bulletin of the American Mathematical Society 67 (1961), 391 f.

    Article  MathSciNet  MATH  Google Scholar 

  • Quine, W, V., und Hao Wang, On ordinals, Bulletin of the American Mathematical Society 70 (1964), 297 f.

    Article  MathSciNet  Google Scholar 

  • Ramsey, F. P., The foundations of mathematics, Proceedings of the London Mathematical Society 25 (1925), 338–384; nachgedruckt in Ramsey, The Foundations of Mathematics and other Logical Essays (London, 1931; paperback, Paterson, N.J.: Littlefield and Adams, 1960 ).

    Article  MathSciNet  Google Scholar 

  • Richard, Jules, Les principes des mathématiques et le problème des ensembles, Revue générale des sciences pures et appliquées 16 (1905), 541. Engl. Übers, in van Heijenoort.

    Google Scholar 

  • Robinson, R. M., The theory of classes. A Modification of van Neumann’s system, Journal of Symbolic Logic 2 (1937), 29–36.

    Article  MATH  Google Scholar 

  • Rogers, siehe Kreider.

    Google Scholar 

  • Stegmüller, Wolfgang, Eine Axiomatisierung der Mengenlehre, beruhend auf den Systemen von Bernays und Quine, in Logik und Logikkalkül, W. Britzelmayr gewidmet, hrsg. von A. Käsbauer u. a. ( Freiburg: Verlag Alber, 1962 ), S. 57–103.

    Google Scholar 

  • Suppes, Patrick, Axiomatic Set Theory (Princeton: van Nostrand, 1960 ).

    MATH  Google Scholar 

  • Tarski, Alfred, Logic, Semantics, Metamathematics: Arbeiten aus den Jahren 1923–38, ins Engl, übers, von J. H. Woodger ( Oxford: Clarendon Press, 1956 ).

    Google Scholar 

  • Tarski, Alfred, Über unerreichbare Kardinalzahlen, Fundamenta Mathematicae 30 (1938), 68–89.

    MATH  Google Scholar 

  • Tarski, Alfred, Notions of proper models for set theories, Bulletin of the American Mathematical Society 62 (1956), 601.

    Google Scholar 

  • Tarski, Alfred, und A. Lindenbaum, Communication sur les recherches de la théorie des ensembles, Comptes Rendus de la Société des Sciences et des Lettres de Varsovie (classe III), 19 (1926), 299–330.

    Google Scholar 

  • Rosser, J. B., Logic for Mathematicians ( New York: McGraw-Hill, 1953 ).

    MATH  Google Scholar 

  • Rosser, J. B., The Burali-Forti paradox, Journal of Symbolic Logic 7 (1942), 1–17.

    Article  MathSciNet  MATH  Google Scholar 

  • Rosser, J. B., The axiom of infinity in Quine’s New Foundations, Journal of Symbolic Logic 17 (1952), 238–242.

    Article  MathSciNet  MATH  Google Scholar 

  • Rosser, J. B., Review of Specker, Journal of Symbolic Logic 19 (1954), 127 f.

    Article  Google Scholar 

  • Rosser, J. B., und Hao Wang, Non-standard models for formal logic, Journal of Symbolic Logic 15 (1950), 113–129.

    Article  MathSciNet  MATH  Google Scholar 

  • Rubin, Herman und J. E., Equivalents of the Axiom of Choice ( Amsterdam: North- Holland, 1963 ).

    MATH  Google Scholar 

  • Russell, Bertrand, The Principles of Mathematics (Cambridge, England, 1903; 2. Auflage, New York, 1938 ).

    Google Scholar 

  • Russell, Bertrand, Introduction to Mathematical Philosophy (London, 1919 ).

    Google Scholar 

  • Russell, Bertrand, On denoting, Mind 14 (1905), 479–493; nachgedruckt in Russell, Logic and Knowledge (London: Allen and Unwin, 1956 ) und in Readings in Philosophical Analysis, hrsg. von Feigl und Seilars ( New York: Apple ton-Century-Crofts, 1949 ).

    Google Scholar 

  • Russell, Bertrand, On some difficulties in the theory of transfinite numbers and order types, Proceedings of the London Mathematical Society 4 (1906), 29–53.

    Article  MATH  Google Scholar 

  • Russell, Bertrand, Mathematical logic als based on the theory of types, American Journal of Mathematics 30 (1908), 222–262; nachgedruckt in Russell, Logic and Knowledge ( London: Allen and Unwin, 1956 ).

    Article  MathSciNet  MATH  Google Scholar 

  • Russell, Bertrand, Siehe auch Whitehead.

    Google Scholar 

  • Scott, Dana, Quine’s individuals, in Logic, Methodology and Philosophy of Science, hrsg. von E. Nagel u. a. ( Stanford: Stanford University Press, 1962 ), S. 111–115.

    Google Scholar 

  • Shepherdson, J. C., Inner models for set theory, Journal of Symbolic Logic 16 (1951), 161–190; 17 (1952), 225–237; 18 (1953), 145–167.

    MathSciNet  MATH  Google Scholar 

  • Shoenfield, J. R., A relative consistency proof, Journal of Symbolic Logic 19 (1954), 21–28.

    Article  MathSciNet  MATH  Google Scholar 

  • Shoenfield, J. R., The indépendance of the axiom of choice (Abstract), Journal of Symbolic Logic 20 (1955), 202.

    Google Scholar 

  • Sierpihski, Waclaw, Cardinal and Ordinal Numbers (Warschau, 1958 ).

    Google Scholar 

  • Sierpihski, Waclaw, Une remarque sur la notion d’ordre, Fundamenta Mathematicae 2 (1921), 199 f.

    Google Scholar 

  • Sierpihski, Waclaw, L’hypothèse généralisée du continu et l’axiome du choix, Fundamenta Mathematicae 34 (1947), 1–5.

    MathSciNet  Google Scholar 

  • Skolem, Thoralf, Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre, Conférences au 5e. Congrès 1922 des Mathématiques Scandinaves (Helsingfors, 1923), S. 218–232. Engl. Übers, in van Heijenoort.

    Google Scholar 

  • Skolem, Thoralf, Über einige Grundlagenfragen der Mathematik, Skrifter Utgitt av Det Norske Videnskaps-Akademi i Oslo, Kl. I (1929) No. 4.

    Google Scholar 

  • Specker, Ernst, The axiom of choice in Quine’s New foundations for mathematical logic, Proceedings of the National Academy of Sciences 39 (1953), 972–975.

    Article  MathSciNet  MATH  Google Scholar 

  • Specker, Ernst, Dualität, Dialéctica 12 (1958), 451–465.

    Article  MathSciNet  MATH  Google Scholar 

  • Specker, Ernst, Typical ambiguity, in Logic, Methodology, and Philosophy of Sciences (Stanford: Stanford University Press, 1962), S. 116–124, hrsg. von E. Nagel u. a.

    Google Scholar 

  • van Heijenoort, J. (Hrsg.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 ( Cambridge, Mass.: Harvard University Press, 1967 ).

    MATH  Google Scholar 

  • Vaught, siehe Montague.

    Google Scholar 

  • von Neumann, siehe Neumann.

    Google Scholar 

  • Wang, Hao, A Survey of Mathematical Logic (Peking, 1962; Amsterdam: North-Holland, 1963 ).

    Google Scholar 

  • Wang, Hao, On Zermelo’s and von Neumann’s axioms for set theory, Proceedings of the National Academy of Sciences 35 (1949), 150–155.

    Article  MathSciNet  MATH  Google Scholar 

  • Wang, Hao, A formal system of logic, Journal of Symbolic Logic 15 (1950). 25–32.

    Article  MathSciNet  MATH  Google Scholar 

  • Wang, Hao, Arithmetic translations of axiom systems, Transactions of the American Mathematical Society 71 (1951), 283–293.

    Article  MathSciNet  MATH  Google Scholar 

  • Wang, Hao, The irreducibility of impredicative principles, Mathematische Annalen 125 (1952), 56–66.

    Article  MathSciNet  MATH  Google Scholar 

  • Wang, Hao, Truth definitions and consistency proofs, Transactions of the American Mathematical Society 73 (1952), 243–275; nachgedruckt in Wang, Survey.

    Article  MathSciNet  MATH  Google Scholar 

  • Wang, Hao, The axiomatization of arithmetic, Journal of Symbolic Logic 22 (1957), 145–158; nachgedruckt in Wang, Survey.

    Article  MathSciNet  MATH  Google Scholar 

  • Wang, Hao, Eighty years of foundational studies, Dialéctica 12 (1958), 466–497; nachgedruckt in Wang, Survey.

    Article  MATH  Google Scholar 

  • Wang, Hao, und R. McNaughton, Les Systèmes Axiomatiques de la Théorie des Ensembles ( Paris: Gauthier-Villars, 1953 ).

    Google Scholar 

  • Wang, Hao, Siehe auch Brown, Kreisel, Quine, Rosser.

    Google Scholar 

  • Weyl, Hermann, Das Kontinuum (Leipzig, 1918 ).

    Google Scholar 

  • Whitehead, A. N., The logic of relations, logical substitution groups, and cardinal numbers, American Journal of Mathematics 25 (1903), 157–178.

    Article  MathSciNet  MATH  Google Scholar 

  • Whitehead, A. N., und B. Russell Principia Mathematica (Cambridge, England: Bd. 1, 1910; Bd. 2, 1912; Bd. 3, 1913; 2. Auflage, 1925–1927; paperback bis *56: New York: Cambridge University Press, 1961 ).

    Google Scholar 

  • Wiener, Norbert, A simplification of the logic of relations, Proceedings of the Cambridge Philosophical Society 17 (1912–14), 387–390. Nachgedruckt in van Heijenoort.

    MATH  Google Scholar 

  • Zermelo, Ernst, Beweis, daß jede Menge wohlgeordnet werden kann, Mathematische Annalen 59 (1904), 514–516. Engl. Übers, in van Heijenoort.

    Article  MathSciNet  MATH  Google Scholar 

  • Zermelo, Ernst, Untersuchungen über die Grundlagen der Mengenlehre, Mathematische Annalen 65 (1908), 261–281. Eng. Übers, in van Heijenoort.

    Article  MathSciNet  MATH  Google Scholar 

  • Zermelo, Ernst, Sur les ensembles finis et le principe de l’induction complète, Acta Mathematica 32 (1909) 185–193.

    Article  MathSciNet  Google Scholar 

  • Zermelo, Ernst, Über Grenzzahlen und Mengenbereiche, Fundamenta Mathematicae 16 (1930), 29–47.

    MATH  Google Scholar 

  • Zorn, Max, A remark on method in transfinite algebra, Bulletin of the American Mathematical Society 41 (1935), 667–670.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Harvard University, USA

    Willard Van Orman Quine (Edgar Pierce Professor of Philosophy, Fellow of the American Philosophical Society and of the American Academy of Arts and Sciences Corresponding Fellow of the British Academy)

Authors
  1. Willard Van Orman Quine
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1973 Friedr. Vieweg + Sohn GmbH, Verlag, Braunschweig

About this chapter

Cite this chapter

Van Orman Quine, W. (1973). Bibliographie. In: Mengenlehre und ihre Logik. Logik und Grundlagen der Mathematik, vol 10. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-85943-3_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-85943-3_18

  • Publisher Name: Vieweg+Teubner Verlag, Wiesbaden

  • Print ISBN: 978-3-528-08294-9

  • Online ISBN: 978-3-322-85943-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation