Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheir

&
Journal of Symbolic Logic 55 (1):342-343 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274975

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Luitzen Egbertus Jan Brouwer. On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 334–341. Addenda and corrigenda, English translation of XXIV 189 by Stefan Bauer-Mengelberg, Claske M. Berndes Franck, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 341–342. Further addenda and corrigenda. English translation of XXIV 189 by Stefan Bauer-Mengelberg, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 342–345. - Luitzen Egbertus Jan Brouwer. On the domains of definition of functions. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 446–463. English translation of §§1–3 of Über Definiti. [REVIEW]Joan Rand Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):332-333.
Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 1–5. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 1–5. - Gottlob Frege. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. English translation of 491 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 5–82. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 5–82. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (2):405-405.
Kurt Gödel. Einige metamathematische Resultate über Entscheidunasdefinitheit und Widerspruchsfreiheit . A reprint of 4181. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 140, 142. - Kurt Gödel. Some metamathematical results on completeness and consistency . A reprint of XXXVII 405 . Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 141, 143. - Kurt Gödel. Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I . A reprint of 4183. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):342-343.
Logical writings.Jacques Herbrand - 1971 - Dordrecht, Holland,: D. Reidel Pub. Co..
Jean van Heijenoort: Kaleidoscope. [REVIEW]Anita Burdman Feferman - 2012 - Logica Universalis 6 (3-4):277-291.
Anita Burdman Feferman. Politics, logic, and love. The life of Jean van Heijenoort. Jones and Bartlett Publishers, Boston and London, and A K Peters, Wellesley, Mass., 1993, xv + 415 pp. - Solomon Feferman. Jean van Heijenoort's scholarly work, 1948–1986. Therein, pp. 371–390. [REVIEW]H. B. Enderton - 1993 - Journal of Symbolic Logic 58 (4):1465-1466.
7. Einige Resultate der Untersuchungen über Erkenntniswahrheit.Josef Seifert - 2009 - In De Veritate - Über Die Wahrheit, Band 1+2, de Veritate - Über Die Wahrheit: 1: Wahrheit Und Person. 2: Der Streit Um Die Wahrheit. De Gruyter. pp. 244-247.
Editor’s Introduction to Jean van Heijenoort, Historical Development of Modern Logic.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):301-326.
van Heijenoort Jean. El desarrollo de la teoria de la cuantificación. Instituto de Investigaciones Filosóficas, Universidad Nacional Autonoma de México, Mexico City 1976, 57 pp. [REVIEW]José Ferrater Mora - 1980 - Journal of Symbolic Logic 45 (3):635-636.

Analytics

Added to PP
2015-02-05

Downloads
18 (#1,114,171)

6 months
6 (#862,561)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references