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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II.G. Kreisel - 1956 - Journal of Symbolic Logic 21 (4):403-404.
Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II. [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 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.
Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus. [REVIEW]Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):180-181.
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 on Arithmetic Models for Consistent Formulae of the Predicate Calculus.G. Kreisel - 1953 - Journal of Symbolic Logic 18 (2):180-181.
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.
Essentialismus.Gustav Kafka - 1953 - Proceedings of the XIth International Congress of Philosophy 1:154-160.

Analytics

Added to PP
2017-01-10

Downloads
17 (#866,139)

6 months
3 (#1,208,233)

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