Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II

Proceedings of the XIth International Congress of Philosophy 14:39-49 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

reprint Kreisel, G. (1953) "Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus". Journal of Symbolic Logic 18(2):180-181
reprint Kreisel, G. (1956) "Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II". Journal of Symbolic Logic 21(4):403-404

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

Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus II. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, und Éditions E. Nauwelaerts, Leuven 1953, S. 39–49. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):403-404.
Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus. Fundamenta mathematicae, vol. 37 , pp. 265–285. [REVIEW]Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):180-181.
On the Possibility to use the Subtractive Calculus for the Formalization of Constructive Theories.Ingebrigt Johansson - 1953 - Proceedings of the XIth International Congress of Philosophy 14:60-64.
Note sur la valeur ontologique du sentiment.Jaime Bofill - 1953 - Proceedings of the XIth International Congress of Philosophy 7:111-116.
The Apotheosis of History.Jacob Taubes - 1953 - Proceedings of the XIth International Congress of Philosophy 8:7-9.
Philosophy and Religion.Samuel Hugo Bergman - 1953 - Proceedings of the XIth International Congress of Philosophy 11:11-17.
Empiricism in Ethics.A. C. Ewing - 1953 - Proceedings of the XIth International Congress of Philosophy 10:78-82.

Analytics

Added to PP
2017-01-10

Downloads
25 (#881,849)

6 months
7 (#711,641)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical significance of consistency proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.
Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem.Gary Ebbs - 2015 - History and Philosophy of Logic 36 (4):346-366.

Add more citations

References found in this work

No references found.

Add more references